Bratin Saha

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