Bratin Saha

	2009
25		John W. O'Leary, Bratin Saha, Mark R. Tuttle: Model Checking Transactional Memory with Spin. ICDCS 2009: 335-342
24		Bratin Saha, Xiaocheng Zhou, Hu Chen, Ying Gao, Shoumeng Yan, Mohan Rajagopalan, Jesse Fang, Peinan Zhang, Ronny Ronen, Avi Mendelson: Programming model for a heterogeneous x86 platform. PLDI 2009: 431-440
	2008
23		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		John W. O'Leary, Bratin Saha, Mark R. Tuttle: Model checking transactional memory with spin. PODC 2008: 424
21		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		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		Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai: Irrevocable transactions and their applications. SPAA 2008: 285-296
18		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		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		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		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		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		Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha: Transactional programming in a multi-core environment. PPOPP 2007: 272
12		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		Richard L. Hudson, Bratin Saha, Ali-Reza Adl-Tabatabai, Ben Hertzberg: McRT-Malloc: a scalable transactional memory allocator. ISMM 2006: 74-83
10		Bratin Saha, Ali-Reza Adl-Tabatabai, Quinn Jacobson: Architectural Support for Software Transactional Memory. MICRO 2006: 185-196
9		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		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		Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha: Unlocking concurrency. ACM Queue 4(10): 24-33 (2006)
	2005
6		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		Bratin Saha, Valery Trifonov, Zhong Shao: Intensional analysis of quantified types. ACM Trans. Program. Lang. Syst. 25(2): 159-209 (2003)
	2002
4		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		Valery Trifonov, Bratin Saha, Zhong Shao: Fully reflexive intensional type analysis. ICFP 2000: 82-93
	1998
1		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	Hu Chen	[24]
7	Wei-Yu Chen	[16]
8	James Cownie	[23]
9	Jesse Fang	[15] [24]
10	Ying Gao	[24]
11	Robert Geva	[23]
12	Anwar M. Ghuloum	[15]
13	Dan Grossman	[14]
14	Ben Hertzberg	[8] [11]
15	Antony L. Hosking	[12]
16	Richard L. Hudson	[8] [11] [12] [14] [15] [17] [18] [21]
17	Quinn Jacobson	[10]
18	Sergey Kozhukow	[23]
19	Christoforos E. Kozyrakis (Christos Kozyrakis)	[7] [13]
20	Hsien-Hsin S. Lee	[20]
21	Brian T. Lewis	[9]
22	Phil McGachey	[21]
23	Avi Mendelson	[24]
24	Vijay Menon	[9] [12] [14] [15] [17] [18] [21]
25	Chi Cao Minh	[8]
26	Stefan Monnier	[3]
27	Katherine F. Moore	[14]
28	J. Eliot B. Moss	[12]
29	Brian R. Murphy	[9] [15]
30	Ravi Narayanaswamy	[23]
31	Yang Ni	[12] [20] [23]
32	John W. O'Leary	[22] [25]
33	Jeffrey Olivier	[23]
34	Nikolaos Papaspyrou	[4] [6]
35	Leaf Petersen	[15]
36	Serguei Preis	[23]
37	Mohan Rajagopalan	[15] [24]
38	Anwar Rohillah	[15]
39	Ronny Ronen	[24]
40	Zhong Shao	[1] [2] [3] [4] [5] [6]
41	Tatiana Shpeisman	[9] [12] [14] [15] [17] [18] [21]
42	Eric Sprangle	[15]
43	Ady Tal	[23]
44	Xinmin Tian	[23]
45	Valery Trifonov	[2] [4] [5] [6]
46	Mark R. Tuttle	[22] [25]
47	Cheng Wang	[16]
48	Adam Welc	[17] [18] [19] [20] [23]
49	Youfeng Wu	[16]
50	Shoumeng Yan	[24]
51	Richard M. Yoo	[20]
52	Peinan Zhang	[24]
53	Xiaocheng Zhou	[24]

Colors in the list of coauthors