Bratin Saha

Publication Activity (10 Years)

Years Active: 1998-2011
Publications (10 Years): 0

Publications

Shoumeng Yan, Xiaocheng Zhou, Ying Gao, Hu Chen, Gansha Wu, Sai Luo, Bratin Saha
Optimizing a shared virtual memory system for a heterogeneous CPU-accelerator platform. ACM SIGOPS Oper. Syst. Rev. 45 (1) (2011)
Adam Welc, Bratin Saha
Software Transactional Memory Validation - Time and Space Considerations. Trans. High Perform. Embed. Archit. Compil. 4 (2011)
Bratin Saha
CIRUS: a scalable modular architecture for reusable drivers. DAC (2011)
Shoumeng Yan, Xiaocheng Zhou, Ying Gao, Hu Chen, Sai Luo, Peinan Zhang, Naveen Cherukuri, Ronny Ronen, Bratin Saha
Terascale chip multiprocessor memory hierarchy and programming model. HiPC (2009)
Bratin Saha, Xiaocheng Zhou, Hu Chen, Ying Gao, Shoumeng Yan, Mohan Rajagopalan, Jesse Fang, Peinan Zhang, Ronny Ronen, Avi Mendelson
Programming model for a heterogeneous x86 platform. PLDI (2009)
John W. O'Leary, Bratin Saha, Mark R. Tuttle
Model Checking Transactional Memory with Spin. ICDCS (2009)
Richard M. Yoo, Yang Ni, Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai, Hsien-Hsin S. Lee
Kicking the tires of software transactional memory: why the going gets tough. SPAA (2008)
Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon, Bratin Saha, Tatiana Shpeisman
Concurrent GC leveraging transactional memory. PPOPP (2008)
John W. O'Leary, Bratin Saha, Mark R. Tuttle
Model checking transactional memory with spin. PODC (2008)
Yang Ni, Adam Welc, Ali-Reza Adl-Tabatabai, Moshe Bach, Sion Berkowits, James Cownie, Robert Geva, Sergey Kozhukow, Ravi Narayanaswamy, Jeffrey Olivier, Serguei Preis, Bratin Saha, Ady Tal, Xinmin Tian
Design and implementation of transactional constructs for C/C++. OOPSLA (2008)
Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai
Irrevocable transactions and their applications. SPAA (2008)
Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc
Practical weak-atomicity semantics for java stm. SPAA (2008)
Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc
Single global lock semantics in a weakly atomic STM. ACM SIGPLAN Notices 43 (5) (2008)
Cheng Wang, Wei-Yu Chen, Youfeng Wu, Bratin Saha, Ali-Reza Adl-Tabatabai
Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language. CGO (2007)
Bratin Saha, Ali-Reza Adl-Tabatabai, Anwar M. Ghuloum, Mohan Rajagopalan, Richard L. Hudson, Leaf Petersen, Vijay Menon, Brian R. Murphy, Tatiana Shpeisman, Eric Sprangle, Anwar Rohillah, Doug Carmean, Jesse Fang
Enabling scalability and performance in a large scale CMP environment. EuroSys (2007)
Yang Ni, Vijay Menon, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, Tatiana Shpeisman
Open nesting in software transactional memory. PPOPP (2007)
Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha
Enforcing isolation and ordering in STM. PLDI (2007)
Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha
Transactional programming in a multi-core environment. PPOPP (2007)
Bratin Saha, Ali-Reza Adl-Tabatabai, Quinn Jacobson
Architectural Support for Software Transactional Memory. MICRO (2006)
Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon, Brian R. Murphy, Bratin Saha, Tatiana Shpeisman
Compiler and runtime support for efficient software transactional memory. PLDI (2006)
Richard L. Hudson, Bratin Saha, Ali-Reza Adl-Tabatabai, Ben Hertzberg
McRT-Malloc: a scalable transactional memory allocator. ISMM (2006)
Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha
Unlocking concurrency. ACM Queue 4 (10) (2006)
Bratin Saha
Software transactional memory. Hot Chips Symposium (2006)
Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, Ben Hertzberg
McRT-STM: a high performance software transactional memory system for a multi-core runtime. PPOPP (2006)
Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou
A type system for certified binaries. ACM Trans. Program. Lang. Syst. 27 (1) (2005)
Bratin Saha, Valery Trifonov, Zhong Shao
Intensional analysis of quantified types. ACM Trans. Program. Lang. Syst. 25 (2) (2003)
Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou
A type system for certified binaries. POPL (2002)
Stefan Monnier, Bratin Saha, Zhong Shao
Principled Scavenging. PLDI (2001)
Valery Trifonov, Bratin Saha, Zhong Shao
Fully reflexive intensional type analysis. ICFP (2000)
Bratin Saha, Zhong Shao
Optimal Type Lifting. Types in Compilation (1998)