Search results for "Tatiana Shpeisman"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman	Safe nondeterminism in a deterministic-by-default parallel language.	POPL	2011	DBLP DOI BibTeX RDF
1	Adam Welc, Richard L. Hudson, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai	Generic workers: towards unified distributed and parallel JavaScript programming model.	PSI EtA	2010	DBLP DOI BibTeX RDF
1	Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc	Towards transactional memory semantics for C++.	SPAA	2009	DBLP DOI BibTeX RDF	synchronization, c++, transactional memory, atomicity, serializability
1	Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy	NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy	NePalTM: design and implementation of nested parallelism for transactional memory systems.	PPOPP	2009	DBLP DOI BibTeX RDF	concurrency, transactional memory, nested-parallelism
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	Brian R. Murphy, Vijay Menon, Florian T. Schneider, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai	Fault-safe code motion for type-safe languages.	CGO	2008	DBLP DOI BibTeX RDF	safe code motion, safety dependences, speculative code motion, scheduling, code motion, partial redundancy elimination, intermediate representations
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	Florian T. Schneider, Vijay Menon, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai	Dynamic optimization for efficient strong atomicity.	OOPSLA	2008	DBLP DOI BibTeX RDF	virtual machines, code generation, transactional memory, compiler optimizations, dynamic optimizations, strong atomicity
1	Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan	A Uniform Transactional Execution Environment for Java.	ECOOP	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	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	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, 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	Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen	A verifiable SSA program representation for aggressive compiler optimization.	POPL	2006	DBLP DOI BibTeX RDF	SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages
1	Tatiana Shpeisman, Guei-Yuan Lueh, Ali-Reza Adl-Tabatabai	Just-In-Time Java? Compilation for the Itanium® Processor.	IEEE PACT	2002	DBLP DOI BibTeX RDF
1	William Pugh, Tatiana Shpeisman	SIPR: A New Framework for Generating Efficient Code for Sparse Matrix Computations.	LCPC	1998	DBLP DOI BibTeX RDF
1	John Irwin, Jean-Marc Loingtier, John R. Gilbert, Gregor Kiczales, John Lamping, Anurag Mendhekar, Tatiana Shpeisman	Aspect-Oriented Programming of Sparse Matrix Code.	ISCOPE	1997	DBLP DOI BibTeX RDF
1	Wayne Kelly, William Pugh, Evan Rosser, Tatiana Shpeisman	Transitive Closure of Infinite Graphs and its Applications.	International Journal of Parallel Programming	1996	DBLP BibTeX RDF
1	William Pugh, Evan Rosser, Tatiana Shpeisman	Exploiting Monotone Convergence Functions in Parallel Programs.	LCPC	1996	DBLP DOI BibTeX RDF
1	Wayne Kelly, William Pugh, Evan Rosser, Tatiana Shpeisman	Transitive Closure of Infinite Graphs and Its Applications.	LCPC	1995	DBLP DOI BibTeX RDF

Publications of "Tatiana Shpeisman" ( http://dblp.L3S.de/Authors/Tatiana_Shpeisman )