Bratin Saha

2008
23	EE	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: 195-212
22	EE	John O'Leary, Bratin Saha, Mark R. Tuttle: Model checking transactional memory with spin. PODC 2008: 424
21	EE	Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon, Bratin Saha, Tatiana Shpeisman: Concurrent GC leveraging transactional memory. PPOPP 2008: 217-226
20	EE	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: 265-274
19	EE	Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai: Irrevocable transactions and their applications. SPAA 2008: 285-296
18	EE	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: 314-325
17	EE	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. SIGPLAN Notices 43(5): 15-26 (2008)
2007
16	EE	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: 34-48
15	EE	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: 73-86
14	EE	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: 78-88
13	EE	Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha: Transactional programming in a multi-core environment. PPOPP 2007: 272
12	EE	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: 68-78
2006
11	EE	Richard L. Hudson, Bratin Saha, Ali-Reza Adl-Tabatabai, Ben Hertzberg: McRT-Malloc: a scalable transactional memory allocator. ISMM 2006: 74-83
10	EE	Bratin Saha, Ali-Reza Adl-Tabatabai, Quinn Jacobson: Architectural Support for Software Transactional Memory. MICRO 2006: 185-196
9	EE	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: 26-37
8	EE	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: 187-197
7	EE	Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha: Unlocking concurrency. ACM Queue 4(10): 24-33 (2006)
2005
6	EE	Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou: A type system for certified binaries. ACM Trans. Program. Lang. Syst. 27(1): 1-45 (2005)
2003
5	EE	Bratin Saha, Valery Trifonov, Zhong Shao: Intensional analysis of quantified types. ACM Trans. Program. Lang. Syst. 25(2): 159-209 (2003)
2002
4	EE	Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou: A type system for certified binaries. POPL 2002: 217-232
2001
3		Stefan Monnier, Bratin Saha, Zhong Shao: Principled Scavenging. PLDI 2001: 81-91
2000
2	EE	Valery Trifonov, Bratin Saha, Zhong Shao: Fully reflexive intensional type analysis. ICFP 2000: 82-93
1998
1	EE	Bratin Saha, Zhong Shao: Optimal Type Lifting. Types in Compilation 1998: 156-177

Coauthor Index

1	Ali-Reza Adl-Tabatabai	[7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [23]
2	Moshe Bach	[23]
3	Steven Balensiefer	[14] [17] [18]
4	Sion Berkowits	[23]
5	Doug Carmean	[15]
6	Wei-Yu Chen	[16]
7	James Cownie	[23]
8	Jesse Fang	[15]
9	Robert Geva	[23]
10	Anwar M. Ghuloum	[15]
11	Dan Grossman	[14]
12	Ben Hertzberg	[8] [11]
13	Antony L. Hosking	[12]
14	Richard L. Hudson	[8] [11] [12] [14] [15] [17] [18] [21]
15	Quinn Jacobson	[10]
16	Sergey Kozhukow	[23]
17	Christoforos E. Kozyrakis (Christos Kozyrakis)	[7] [13]
18	Hsien-Hsin S. Lee	[20]
19	Brian T. Lewis	[9]
20	Phil McGachey	[21]
21	Vijay Menon	[9] [12] [14] [15] [17] [18] [21]
22	Chi Cao Minh	[8]
23	Stefan Monnier	[3]
24	Katherine F. Moore	[14]
25	J. Eliot B. Moss	[12]
26	Brian R. Murphy	[9] [15]
27	Ravi Narayanaswamy	[23]
28	Yang Ni	[12] [20] [23]
29	John O'Leary	[22]
30	Jeffrey Olivier	[23]
31	Nikolaos Papaspyrou	[4] [6]
32	Leaf Petersen	[15]
33	Serguei Preis	[23]
34	Mohan Rajagopalan	[15]
35	Anwar Rohillah	[15]
36	Zhong Shao	[1] [2] [3] [4] [5] [6]
37	Tatiana Shpeisman	[9] [12] [14] [15] [17] [18] [21]
38	Eric Sprangle	[15]
39	Ady Tal	[23]
40	Xinmin Tian	[23]
41	Valery Trifonov	[2] [4] [5] [6]
42	Mark R. Tuttle	[22]
43	Cheng Wang	[16]
44	Adam Welc	[17] [18] [19] [20] [23]
45	Youfeng Wu	[16]
46	Richard M. Yoo	[20]

Colors in the list of coauthors