dblp.uni-trier.dewww.uni-trier.de

Bratin Saha

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
23EEYang 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
22EEJohn O'Leary, Bratin Saha, Mark R. Tuttle: Model checking transactional memory with spin. PODC 2008: 424
21EEPhil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon, Bratin Saha, Tatiana Shpeisman: Concurrent GC leveraging transactional memory. PPOPP 2008: 217-226
20EERichard 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
19EEAdam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai: Irrevocable transactions and their applications. SPAA 2008: 285-296
18EEVijay 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
17EEVijay 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
16EECheng 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
15EEBratin 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
14EETatiana 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
13EEAli-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha: Transactional programming in a multi-core environment. PPOPP 2007: 272
12EEYang 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
11EERichard L. Hudson, Bratin Saha, Ali-Reza Adl-Tabatabai, Ben Hertzberg: McRT-Malloc: a scalable transactional memory allocator. ISMM 2006: 74-83
10EEBratin Saha, Ali-Reza Adl-Tabatabai, Quinn Jacobson: Architectural Support for Software Transactional Memory. MICRO 2006: 185-196
9EEAli-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
8EEBratin 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
7EEAli-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha: Unlocking concurrency. ACM Queue 4(10): 24-33 (2006)
2005
6EEZhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou: A type system for certified binaries. ACM Trans. Program. Lang. Syst. 27(1): 1-45 (2005)
2003
5EEBratin Saha, Valery Trifonov, Zhong Shao: Intensional analysis of quantified types. ACM Trans. Program. Lang. Syst. 25(2): 159-209 (2003)
2002
4EEZhong 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
2EEValery Trifonov, Bratin Saha, Zhong Shao: Fully reflexive intensional type analysis. ICFP 2000: 82-93
1998
1EEBratin Saha, Zhong Shao: Optimal Type Lifting. Types in Compilation 1998: 156-177

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)