![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Bratin Saha
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
- [j6]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]Adam Welc, Bratin Saha:
Software Transactional Memory Validation - Time and Space Considerations. Trans. High Perform. Embed. Archit. Compil. 4: 254-273 (2011) - [c24]Bratin Saha:
CIRUS: a scalable modular architecture for reusable drivers. DAC 2011: 260-261
2000 – 2009
- 2009
- [c23]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]John W. O'Leary, Bratin Saha, Mark R. Tuttle:
Model Checking Transactional Memory with Spin. ICDCS 2009: 335-342 - [c21]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 - [p1]Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha:
Optimizing Memory Transactions for Multicore Systems. Multicore Processors and Systems 2009: 145-172 - 2008
- [j4]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) - [c20]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]John W. O'Leary, Bratin Saha, Mark R. Tuttle:
Model checking transactional memory with spin. PODC 2008: 424 - [c18]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]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]Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai:
Irrevocable transactions and their applications. SPAA 2008: 285-296 - [c15]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]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]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]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]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]Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha:
Transactional programming in a multi-core environment. PPoPP 2007: 272 - 2006
- [j3]Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha:
Unlocking concurrency. ACM Queue 4(10): 24-33 (2006) - [c9]Bratin Saha:
Software transactional memory. Hot Chips Symposium 2006: 1-22 - [c8]Richard L. Hudson, Bratin Saha, Ali-Reza Adl-Tabatabai, Ben Hertzberg:
McRT-Malloc: a scalable transactional memory allocator. ISMM 2006: 74-83 - [c7]Bratin Saha, Ali-Reza Adl-Tabatabai, Quinn Jacobson:
Architectural Support for Software Transactional Memory. MICRO 2006: 185-196 - [c6]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]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 - 2005
- [j2]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]Bratin Saha, Valery Trifonov, Zhong Shao
:
Intensional analysis of quantified types. ACM Trans. Program. Lang. Syst. 25(2): 159-209 (2003) - 2002
- [c4]Zhong Shao
, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou
:
A type system for certified binaries. POPL 2002: 217-232 - 2001
- [c3]Stefan Monnier, Bratin Saha, Zhong Shao
:
Principled Scavenging. PLDI 2001: 81-91 - 2000
- [c2]Valery Trifonov, Bratin Saha, Zhong Shao
:
Fully reflexive intensional type analysis. ICFP 2000: 82-93
1990 – 1999
- 1998
- [c1]Bratin Saha, Zhong Shao
:
Optimal Type Lifting. Types in Compilation 1998: 156-177
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint