Bacon, D. F., Strom, R. E., and Tarafdar, A., "Guava: A Dialect of Java without Data Races", In OOPSLA 2000 Conference Proceedings, pp. 382-400, October 2000. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
External Uniqueness is Unique Enough - Clarke, Wrigstad (2002) (14 citations) (Correct)
External Uniqueness - Clarke, Wrigstad (2003) (3 citations) (Correct)
Efficient and Precise Datarace Detection for.. - Choi, Lee.. (2002) (11 citations) (Correct)
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)
A Type System for Preventing Data Races and Deadlocks.. - Chandrasekhar.. (2002) (2 citations) (Correct)
Safe Runtime Downcasts With Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
Safe Runtime Downcasts With Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
A Type System for Preventing Data Races and Deadlocks in.. - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
A Type System for Preventing Data Races and Deadlocks.. - Chandrasekhar.. (2002) (2 citations) (Correct)
Programming Dynamically Reconfigurable Open Systems with SALSA - Varela, Agha (2001) (Correct)
Simple Ownership Types for Object Containment - Clarke, Noble, Potter (2001) (40 citations) (Correct)
A Parameterized Type System for Race-Free Java Programs - Boyapati, Rinard (2001) (14 citations) (Correct)
Analysis of Multithreaded Programs - Rinard (2001) (13 citations) (Correct)
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) (Correct)
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004) (5 citations) (Correct)
Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (2 citations) (Correct)
Object Race Detection - von Praun, Gross (2001) (25 citations) (Correct)
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (2 citations) (Correct)
Finding Concurrency Bugs in Java - Hovemeyer, Pugh (2004) (Correct)
Compiler-Based Object Consistency - von Praun, Gross (2001) (Correct)
Analysis of Multithreaded Programs - Rinard (2001) (13 citations) (Correct)
Type-Safe Multithreading in Cyclone - Grossman (2003) (14 citations) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
Rigorous Concurrency Analysis of Multithreaded Programs - Yang, Gopalakrishnan.. (2003) (Correct)
ACM Conference on Object-Oriented Programming, Systems.. - Parameterized Type.. (Correct)
ACM Conference on Object-Oriented Programming, Systems.. - Parameterized Type.. (Correct)
Safe Runtime Downcasts With Ownership Types Chandrasekhar .. - Laboratory For Computer (Correct)
The Optimistic Readers Transformation - Robert Strom And (2001) (1 citation) Self-citation (Strom) (Correct)
Thin Locks - Bacon, Konuru, Murthy, Serrano Self-citation (Bacon) (Correct)
Bit-Level Object-Oriented Programming - Bacon (2000) Self-citation (Bacon) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC