Bratin Saha - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Optimizing a shared virtual memory system for a heterogeneous CPU-accelerator platformShoumeng Yan, Xiaocheng Zhou, Ying Gao, Hu Chen, Gansha Wu, Sai Luo, Bratin Saha. sigops, 45(1):92-100, 2011. [doi]

2009

2008

Model checking transactional memory with spinJohn O Leary, Bratin Saha, Mark R. Tuttle. podc 2008: 424 [doi]

Concurrent GC leveraging transactional memoryPhil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon, Bratin Saha, Tatiana Shpeisman. ppopp 2008: 217-226 [doi]

Single global lock semantics in a weakly atomic STMVijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc. SIGPLAN, 43(5):15-26, 2008. [doi]

Practical weak-atomicity semantics for java stmVijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc. spaa 2008: 314-325 [doi]

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. OOPSLA 2008: 195-212 [doi]

Irrevocable transactions and their applicationsAdam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai. spaa 2008: 285-296 [doi]

Kicking the tires of software transactional memory: why the going gets toughRichard M. Yoo, Yang Ni, Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai, Hsien-Hsin S. Lee. spaa 2008: 265-274 [doi]

2007

Transactional programming in a multi-core environmentAli-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha. ppopp 2007: 272 [doi]

Open nesting in software transactional memoryYang Ni, Vijay Menon, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, Tatiana Shpeisman. ppopp 2007: 68-78 [doi]

Enabling scalability and performance in a large scale CMP environmentBratin 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. eurosys 2007: 73-86 [doi]

Enforcing isolation and ordering in STMTatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha. PLDI 2007: 78-88 [doi]

Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged LanguageCheng Wang, Wei-Yu Chen, Youfeng Wu, Bratin Saha, Ali-Reza Adl-Tabatabai. CGO 2007: 34-48 [doi]

2006

2005

A type system for certified binariesZhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou. TOPLAS, 27(1):1-45, 2005. [doi]

2003

Intensional analysis of quantified typesBratin Saha, Valery Trifonov, Zhong Shao. TOPLAS, 25(2):159-209, 2003. [doi]

2002

A type system for certified binariesZhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou. POPL 2002: 217-232 [doi]

2001

Principled ScavengingStefan Monnier, Bratin Saha, Zhong Shao. PLDI 2001: 81-91

2000

Fully reflexive intensional type analysisValery Trifonov, Bratin Saha, Zhong Shao. ICFP 2000: 82-93 [doi]

1998

Optimal Type LiftingBratin Saha, Zhong Shao. tic 1998: 156-177 [doi]