default search action

combined dblp search
author search
venue search
publication search

ask others

Bratin Saha

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2011
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/YanZGCWLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/YanZGCWLS11
Shoumeng Yan, Xiaocheng Zhou, Ying Gao, Hu Chen, Gansha Wu, Sai Luo, Bratin Saha:
Optimizing a shared virtual memory system for a heterogeneous CPU-accelerator platform. ACM SIGOPS Oper. Syst. Rev. 45(1): 92-100 (2011)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/thipeac/WelcS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/thipeac/WelcS11
Adam Welc, Bratin Saha:
Software Transactional Memory Validation - Time and Space Considerations. Trans. High Perform. Embed. Archit. Compil. 4: 254-273 (2011)
2008
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/MenonBSAHSW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/MenonBSAHSW08
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. ACM SIGPLAN Notices 43(5): 15-26 (2008)
2006
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/queue/Adl-TabatabaiKS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/queue/Adl-TabatabaiKS06
Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha:
Unlocking concurrency. ACM Queue 4(10): 24-33 (2006)
2005
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ShaoTSP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ShaoTSP05
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
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SahaTS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SahaTS03
Bratin Saha, Valery Trifonov, Zhong Shao:
Intensional analysis of quantified types. ACM Trans. Program. Lang. Syst. 25(2): 159-209 (2003)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2011
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/Saha11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Saha11
Bratin Saha:
CIRUS: a scalable modular architecture for reusable drivers. DAC 2011: 260-261
2009
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/hipc/YanZGCLZCRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipc/YanZGCLZCRS09
Shoumeng Yan, Xiaocheng Zhou, Ying Gao, Hu Chen, Sai Luo, Peinan Zhang, Naveen Cherukuri, Ronny Ronen, Bratin Saha:
Terascale chip multiprocessor memory hierarchy and programming model. HiPC 2009: 150-159
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/OLearyST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/OLearyST09
John W. O'Leary, Bratin Saha, Mark R. Tuttle:
Model Checking Transactional Memory with Spin. ICDCS 2009: 335-342
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SahaZCGYRFZRM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SahaZCGYRFZRM09
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
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/NiWABBCGKNOPSTT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/NiWABBCGKNOPSTT08
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
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/OLearyST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/OLearyST08
John W. O'Leary, Bratin Saha, Mark R. Tuttle:
Model checking transactional memory with spin. PODC 2008: 424
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/McGacheyAHMSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/McGacheyAHMSS08
Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon, Bratin Saha, Tatiana Shpeisman:
Concurrent GC leveraging transactional memory. PPoPP 2008: 217-226
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/YooNWSAL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/YooNWSAL08
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
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/WelcSA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/WelcSA08
Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai:
Irrevocable transactions and their applications. SPAA 2008: 285-296
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/MenonBSAHSW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/MenonBSAHSW08
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
2007
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/WangCWSA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/WangCWSA07
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
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/SahaAGRHPMMSSRCF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/SahaAGRHPMMSSRCF07
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
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ShpeismanMABGHMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ShpeismanMABGHMS07
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
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/NiMAHHMSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/NiMAHHMSS07
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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/Adl-TabatabaiKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/Adl-TabatabaiKS07
Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha:
Transactional programming in a multi-core environment. PPoPP 2007: 272
2006
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/hotchips/Saha06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotchips/Saha06
Bratin Saha:
Software transactional memory. Hot Chips Symposium 2006: 1-22
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iwmm/HudsonSAH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwmm/HudsonSAH06
Richard L. Hudson, Bratin Saha, Ali-Reza Adl-Tabatabai, Ben Hertzberg:
McRT-Malloc: a scalable transactional memory allocator. ISMM 2006: 74-83
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/SahaAJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/SahaAJ06
Bratin Saha, Ali-Reza Adl-Tabatabai, Quinn Jacobson:
Architectural Support for Software Transactional Memory. MICRO 2006: 185-196
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Adl-TabatabaiLMMSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Adl-TabatabaiLMMSS06
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
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/SahaAHMH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/SahaAHMH06
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
2002
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ShaoSTP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ShaoSTP02
Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou:
A type system for certified binaries. POPL 2002: 217-232
2001
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MonnierSS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MonnierSS01
Stefan Monnier, Bratin Saha, Zhong Shao:
Principled Scavenging. PLDI 2001: 81-91
2000
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/TrifonovSS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/TrifonovSS00
Valery Trifonov, Bratin Saha, Zhong Shao:
Fully reflexive intensional type analysis. ICFP 2000: 82-93
1998
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tic/SahaS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tic/SahaS98
Bratin Saha, Zhong Shao:
Optimal Type Lifting. Types in Compilation 1998: 156-177

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2009
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/icas/Adl-TabatabaiKS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/icas/Adl-TabatabaiKS09
Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha:
Optimizing Memory Transactions for Multicore Systems. Multicore Processors and Systems 2009: 145-172

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.