Search results for "Bratin Saha"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Adam Welc, Bratin Saha	Software Transactional Memory Validation - Time and Space Considerations.	T. HiPEAC	2011	DBLP DOI BibTeX RDF
1	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.	Operating Systems Review	2011	DBLP DOI BibTeX RDF
1	Bratin Saha	CIRUS: a scalable modular architecture for reusable drivers.	DAC	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	programming model, heterogeneous platforms
1	John W. O'Leary, Bratin Saha, Mark R. Tuttle	Model Checking Transactional Memory with Spin.	ICDCS	2009	DBLP DOI BibTeX RDF
1	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.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	Java
1	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	DBLP DOI BibTeX RDF	performance, compiler, measurement, software transactional memory, runtime, c/c++
1	Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai	Irrevocable transactions and their applications.	SPAA	2008	DBLP DOI BibTeX RDF	performance, virtual machines, concurrent programming, software transactional memory
1	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	DBLP DOI BibTeX RDF	weak atomicity, java, transactional memory, memory models, programming language semantics
1	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	DBLP DOI BibTeX RDF	transactional memory, C/C++
1	John W. O'Leary, Bratin Saha, Mark R. Tuttle	Model checking transactional memory with spin.	PODC	2008	DBLP DOI BibTeX RDF
1	Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon, Bratin Saha, Tatiana Shpeisman	Concurrent GC leveraging transactional memory.	PPOPP	2008	DBLP DOI BibTeX RDF	transactional integrity, virtual machines, transactional memory, compiler optimizations, concurrent garbage collection, strong atomicity
1	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	DBLP DOI BibTeX RDF	weak atomicity, virtual machines, code generation, transactional memory, compiler optimizations, isolation, ordering, escape analysis, strong atomicity
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	runtime design, scheduler design, sequestered mode, parallel programming, memory management, transactional memory, multi-core processors, synchronization primitives
1	Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha	Transactional programming in a multi-core environment.	PPOPP	2007	DBLP DOI BibTeX RDF	parallel programming, transactional memory, atomicity, hardware architecture
1	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	DBLP DOI BibTeX RDF	abstract locks, open nesting, transactional memory, nested transactions
1	Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha	Unlocking concurrency.	ACM Queue	2006	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	synchronization, virtual machines, code generation, transactional memory, compiler optimizations, locking
1	Bratin Saha, Ali-Reza Adl-Tabatabai, Quinn Jacobson	Architectural Support for Software Transactional Memory.	MICRO	2006	DBLP DOI BibTeX RDF
1	Richard L. Hudson, Bratin Saha, Ali-Reza Adl-Tabatabai, Ben Hertzberg	McRT-Malloc: a scalable transactional memory allocator.	ISMM	2006	DBLP DOI BibTeX RDF	synchronization, memory management, transactional memory, runtimes
1	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	DBLP DOI BibTeX RDF	atomic constructs, two-phase locking and read-versioning, software transactional memory, runtime environment
1	Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou	A type system for certified binaries.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	proof-preserving compilation, typed intermediate languages, Certified code
1	Bratin Saha, Valery Trifonov, Zhong Shao	Intensional analysis of quantified types.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	intensional type analysis, runtime type dispatch, typed intermediate languages, Certified code
1	Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou	A type system for certified binaries.	POPL	2002	DBLP DOI BibTeX RDF
1	Stefan Monnier, Bratin Saha, Zhong Shao	Principled Scavenging.	PLDI	2001	DBLP DOI BibTeX RDF
1	Valery Trifonov, Bratin Saha, Zhong Shao	Fully reflexive intensional type analysis.	ICFP	2000	DBLP DOI BibTeX RDF	runtime type dispatch, typed intermediate language, certified code
1	Bratin Saha, Zhong Shao	Optimal Type Lifting.	Types in Compilation	1998	DBLP DOI BibTeX RDF

Publications of "Bratin Saha" ( http://dblp.L3S.de/Authors/Bratin_Saha )