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

Bratin Saha Vis

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

*2009
25EEJohn W. O'Leary, Bratin Saha, Mark R. Tuttle: Model Checking Transactional Memory with Spin. ICDCS 2009: 335-342
24EEBratin 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
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 W. 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]
6Hu Chen [24]
7Wei-Yu Chen [16]
8James Cownie [23]
9Jesse Fang [15] [24]
10Ying Gao [24]
11Robert Geva [23]
12Anwar M. Ghuloum [15]
13Dan Grossman [14]
14Ben Hertzberg [8] [11]
15Antony L. Hosking [12]
16Richard L. Hudson [8] [11] [12] [14] [15] [17] [18] [21]
17Quinn Jacobson [10]
18Sergey Kozhukow [23]
19Christoforos E. Kozyrakis (Christos Kozyrakis) [7] [13]
20Hsien-Hsin S. Lee [20]
21Brian T. Lewis [9]
22Phil McGachey [21]
23Avi Mendelson [24]
24Vijay Menon [9] [12] [14] [15] [17] [18] [21]
25Chi Cao Minh [8]
26Stefan Monnier [3]
27Katherine F. Moore [14]
28J. Eliot B. Moss [12]
29Brian R. Murphy [9] [15]
30Ravi Narayanaswamy [23]
31Yang Ni [12] [20] [23]
32John W. O'Leary [22] [25]
33Jeffrey Olivier [23]
34Nikolaos Papaspyrou [4] [6]
35Leaf Petersen [15]
36Serguei Preis [23]
37Mohan Rajagopalan [15] [24]
38Anwar Rohillah [15]
39Ronny Ronen [24]
40Zhong Shao [1] [2] [3] [4] [5] [6]
41Tatiana Shpeisman [9] [12] [14] [15] [17] [18] [21]
42Eric Sprangle [15]
43Ady Tal [23]
44Xinmin Tian [23]
45Valery Trifonov [2] [4] [5] [6]
46Mark R. Tuttle [22] [25]
47Cheng Wang [16]
48Adam Welc [17] [18] [19] [20] [23]
49Youfeng Wu [16]
50Shoumeng Yan [24]
51Richard M. Yoo [20]
52Peinan Zhang [24]
53Xiaocheng Zhou [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)