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
17EEPhil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon, Bratin Saha, Tatiana Shpeisman: Concurrent GC leveraging transactional memory. PPOPP 2008: 217-226
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]
2Steven Balensiefer [14]
3Doug Carmean [15]
4Wei-Yu Chen [16]
5Jesse Fang [15]
6Anwar M. Ghuloum [15]
7Dan Grossman [14]
8Ben Hertzberg [8] [11]
9Antony L. Hosking [12]
10Richard L. Hudson [8] [11] [12] [14] [15] [17]
11Quinn Jacobson [10]
12Christoforos E. Kozyrakis (Christos Kozyrakis) [7] [13]
13Brian T. Lewis [9]
14Phil McGachey [17]
15Vijay Menon [9] [12] [14] [15] [17]
16Chi Cao Minh [8]
17Stefan Monnier [3]
18Katherine F. Moore [14]
19J. Eliot B. Moss [12]
20Brian R. Murphy [9] [15]
21Yang Ni [12]
22Nikolaos Papaspyrou [4] [6]
23Leaf Petersen [15]
24Mohan Rajagopalan [15]
25Anwar Rohillah [15]
26Zhong Shao [1] [2] [3] [4] [5] [6]
27Tatiana Shpeisman [9] [12] [14] [15] [17]
28Eric Sprangle [15]
29Valery Trifonov [2] [4] [5] [6]
30Cheng Wang [16]
31Youfeng Wu [16]

Colors in the list of coauthors

Copyright © Thu Jun 5 07:42:39 2008 by Michael Ley (ley@uni-trier.de)