Bratin Saha

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Software Transactional Memory Validation - Time and Space Considerations.
Trans. High Perform. Embed. Archit. Compil., 2011

Optimizing a shared virtual memory system for a heterogeneous CPU-accelerator platform.
ACM SIGOPS Oper. Syst. Rev., 2011

CIRUS: a scalable modular architecture for reusable drivers.
Proceedings of the 48th Design Automation Conference, 2011

2009
Optimizing Memory Transactions for Multicore Systems.
Proceedings of the Multicore Processors and Systems, 2009

Programming model for a heterogeneous x86 platform.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Model Checking Transactional Memory with Spin.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Terascale chip multiprocessor memory hierarchy and programming model.
Proceedings of the 16th International Conference on High Performance Computing, 2009

2008
Single global lock semantics in a weakly atomic STM.
ACM SIGPLAN Notices, 2008

Kicking the tires of software transactional memory: why the going gets tough.
Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Irrevocable transactions and their applications.
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.
Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Concurrent GC leveraging transactional memory.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Design and implementation of transactional constructs for C/C++.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007
Open nesting in software transactional memory.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Transactional programming in a multi-core environment.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Enforcing isolation and ordering in STM.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Enabling scalability and performance in a large scale CMP environment.
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.
Proceedings of the Fifth International Symposium on Code Generation and Optimization (CGO 2007), 2007

2006
Unlocking concurrency.
ACM Queue, 2006

McRT-STM: a high performance software transactional memory system for a multi-core runtime.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Compiler and runtime support for efficient software transactional memory.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Architectural Support for Software Transactional Memory.
Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 2006

McRT-Malloc: a scalable transactional memory allocator.
Proceedings of the 5th International Symposium on Memory Management, 2006

Software transactional memory.
Proceedings of the 2006 IEEE Hot Chips 18 Symposium (HCS), 2006

2005
A type system for certified binaries.
ACM Trans. Program. Lang. Syst., 2005

2003
Intensional analysis of quantified types.
ACM Trans. Program. Lang. Syst., 2003

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

2000
Fully reflexive intensional type analysis.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1998
Optimal Type Lifting.
Proceedings of the Types in Compilation, Second International Workshop, 1998


  Loading...