Bratin Saha

According to our database, Bratin Saha authored at least 29 papers between 1998 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

Software Transactional Memory Validation - Time and Space Considerations.

Adam Welc, Bratin Saha

Trans. High Perform. Embed. Archit. Compil., 2011

Optimizing a shared virtual memory system for a heterogeneous CPU-accelerator platform.

Shoumeng Yan, Xiaocheng Zhou, Ying Gao, Hu Chen, Gansha Wu, Sai Luo, Bratin Saha

ACM SIGOPS Oper. Syst. Rev., 2011

CIRUS: a scalable modular architecture for reusable drivers.

Bratin Saha

Proceedings of the 48th Design Automation Conference, 2011

2009

Optimizing Memory Transactions for Multicore Systems.

Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha

Proceedings of the Multicore Processors and Systems, 2009

Programming model for a heterogeneous x86 platform.

Bratin Saha, Xiaocheng Zhou, Hu Chen, Ying Gao, Shoumeng Yan, Mohan Rajagopalan, Jesse Fang, Peinan Zhang, Ronny Ronen, Avi Mendelson

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Model Checking Transactional Memory with Spin.

John W. O'Leary, Bratin Saha, Mark R. Tuttle

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Terascale chip multiprocessor memory hierarchy and programming model.

Shoumeng Yan, Xiaocheng Zhou, Ying Gao, Hu Chen, Sai Luo, Peinan Zhang, Naveen Cherukuri, Ronny Ronen, Bratin Saha

Proceedings of the 16th International Conference on High Performance Computing, 2009

2008

Single global lock semantics in a weakly atomic STM.

Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc

ACM SIGPLAN Notices, 2008

Kicking the tires of software transactional memory: why the going gets tough.

Richard M. Yoo, Yang Ni, Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai, Hsien-Hsin S. Lee

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Irrevocable transactions and their applications.

Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Practical weak-atomicity semantics for java stm.

Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Concurrent GC leveraging transactional memory.

Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon, Bratin Saha, Tatiana Shpeisman

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Design and implementation of transactional constructs for C/C++.

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

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

Open nesting in software transactional memory.

Yang Ni, Vijay Menon, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, Tatiana Shpeisman

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Transactional programming in a multi-core environment.

Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Enforcing isolation and ordering in STM.

Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Enabling scalability and performance in a large scale CMP environment.

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

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language.

Cheng Wang, Wei-Yu Chen, Youfeng Wu, Bratin Saha, Ali-Reza Adl-Tabatabai

Proceedings of the Fifth International Symposium on Code Generation and Optimization (CGO 2007), 2007

2006

Unlocking concurrency.

Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha

ACM Queue, 2006

McRT-STM: a high performance software transactional memory system for a multi-core runtime.

Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, Ben Hertzberg

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Compiler and runtime support for efficient software transactional memory.

Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon, Brian R. Murphy, Bratin Saha, Tatiana Shpeisman

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Architectural Support for Software Transactional Memory.

Bratin Saha, Ali-Reza Adl-Tabatabai, Quinn Jacobson

Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 2006

McRT-Malloc: a scalable transactional memory allocator.

Richard L. Hudson, Bratin Saha, Ali-Reza Adl-Tabatabai, Ben Hertzberg

Proceedings of the 5th International Symposium on Memory Management, 2006

Software transactional memory.

Bratin Saha

Proceedings of the 2006 IEEE Hot Chips 18 Symposium (HCS), 2006

2005

A type system for certified binaries.

Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou

ACM Trans. Program. Lang. Syst., 2005

2003

Intensional analysis of quantified types.

Bratin Saha, Valery Trifonov, Zhong Shao

ACM Trans. Program. Lang. Syst., 2003

2001

Principled Scavenging.

Stefan Monnier, Bratin Saha, Zhong Shao

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000

Fully reflexive intensional type analysis.

Valery Trifonov, Bratin Saha, Zhong Shao

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1998

Optimal Type Lifting.

Bratin Saha, Zhong Shao

Proceedings of the Types in Compilation, Second International Workshop, 1998