36 citations found. Retrieving documents...
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   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents

External Uniqueness is Unique Enough - Clarke, Wrigstad (2002)   (14 citations)  (Correct)

....[16] and our proposal by using nullification or scope restrictions, and in Alias Burying [9] by invalidating all borrowings if a unique is read while borrowed. Checking the constraints underlying alias burying modularly leads to an interdependence between uniqueness and read e#ects [10] Guava [3] also uses lent parameters to avoid capturing of objects. Some noteworthy remarks regarding Table 2 follow. a) PRFJ [8] permits object graphs which violates deep ownership, but it uses an e#ects system to prevent access through the o#ending references. The result is e#ectively deep ownership. In ....

David F. Bacon, Robert E. Strom, and Ashis Tarafdar. Guava: a dialect of Java without data races. In OOPSLA Proceedings, pages 382--400, 2000.


External Uniqueness - Clarke, Wrigstad (2003)   (3 citations)  (Correct)

....a) Islands only allow read only borrowing. b) Boyland s Alias Burying [9] eliminates the need for destructive reads with a clever static analysis. Using this technique here could have been possible, at the cost of complicating our semantics, since an e ects system is required. c) Guava [3] has an interesting combination of features. So called value objects are passed by moving or copying and thus remain uniquely referred to (but not externally so) The con nement of objects (which are disjoint from value objects) is thread based, and while borrowing is possible, it applies only to ....

.... p p Ownership Types [14, 12, 13] None Deep Ownership Types [12, 11] None Shallow Flexible Alias Protection [29] Free Deep Islands [21] a Conventional Full Limited OOFX Alias Burying [9, 19] b Conventional None Limited , Ei el [27] Conventional None Limited Guava [3] Conventional Thread AliasJava [1] d Conventional Shallow Limited PRFJ [7] e Conventional E ectively Deep Limited Universes [28] f None Deep Balloons [2] g Conventional Full Limited p Virginity [26] Free None Limited Pivot Uniqueness [25] h ....

David F. Bacon, Robert E. Strom, and Ashis Tarafdar. Guava: a dialect of Java without data races. In OOPSLA Proceedings, pages 382-400, 2000.


Efficient and Precise Datarace Detection for.. - Choi, Lee.. (2002)   (11 citations)  (Correct)

....might occur in any one of them. Flanagan and Freund s datarace detection tool is a static tool for Java [15] which tracks synchronization using extended type inference and checking. Guava is a dialect of Java that statically disallows dataraces by preventing concurrent accesses to shared data [3]. Only instances of classes belonging to the class category called monitor can be shared by multiple threads. By serializing all accesses to fields or methods of the same shared data, Guava can prevent dataraces. Boyapati and Rinard propose a system of type annotations for Java that ensures a ....

D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of java without data races. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 2000.


The Optimistic Readers Transformation - Robert Strom And (2001)   (1 citation)  Self-citation (Strom)   (Correct)

No context found.

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.


Thin Locks - Bacon, Konuru, Murthy, Serrano   Self-citation (Bacon)   (Correct)

....this is an appropriate programming model for a general purpose high level programming language. We have explored the possibility of defining a Java like language in which all access to shared objects is mediated by true monitors, which encapsulate sharable data and thereby prevent data races [4]. Related work [5, 6] has taken a different approach, retaining a shared memory model but requiring annotations that allow a program to be provably race free at compile time. 4. CONCLUSIONS Java s surprisingly rapid acceptance, fueled by the explosive growth of the internet, introduced a number ....

BACON, D. F., STROM, R. E., AND TARAFDAR, A. Guava: A dialect of Java without data races. In ACM Conference on Object-Oriented Systems, Languages, and Applications (Oct. 2000). SIGPLAN Notices, 35, 10, 382--400.


Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002)   (Correct)

No context found.

David F. Bacon, Robert E. Strom, and Ashis Tarafdar. Guava: a dialect of Java without data races. In OOPSLA Proceedings, pages 382--400, 2000.


SafeJava: A Unified Type System for Safe Programming - Boyapati (2004)   (2 citations)  (Correct)

No context found.

David F. Bacon, Robert E. Strom, and Ashis Tarafdar. Guava: A dialect of Java without data races. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2000.


Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002)   (2 citations)  (Correct)

No context found.

D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2000.


Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002)   (21 citations)  (Correct)

No context found.

D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2000.


Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004)   (5 citations)  (Correct)

No context found.

D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Proceedings of the ACM Conference on ObjectOriented Programming, Systems, Languages and Applications, pages 382--400, 2001.


Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003)   (2 citations)  (Correct)

No context found.

D. Bacon, R. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Proc. Conf. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'00), pages 382--400, Oct. 2000.


Object Race Detection - von Praun, Gross (2001)   (25 citations)  (Correct)

No context found.

D. Bacon, R. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Proc. of the ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2000.


Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002)   (2 citations)  (Correct)

No context found.

D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2000.


Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003)   (2 citations)  (Correct)

No context found.

D. Bacon, R. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Proc. Conf. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'00), pages 382--400, Oct. 2000.


Finding Concurrency Bugs in Java - Hovemeyer, Pugh (2004)   (Correct)

No context found.

David F. Bacon, Robert E. Strom, and Ashis Tarafdar. Guava: a dialect of Java without data races. In Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 382--400. ACM Press, 2000.


Compiler-Based Object Consistency - von Praun, Gross (2001)   (Correct)

No context found.

D. Bacon, R. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Proc. of the ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2000.


Analysis of Multithreaded Programs - Rinard (2001)   (13 citations)  (Correct)

No context found.

D. Bacon, R. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Proceedings of the 15th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Portland, OR, Oct. 2000.


Type-Safe Multithreading in Cyclone - Grossman (2003)   (14 citations)  (Correct)

No context found.

D. Bacon, R. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 382--400, Minneapolis, MN, Oct. 2000.


Safe Programming at the C Level of Abstraction - Grossman (2003)   (Correct)

No context found.

David Bacon, Robert Strom, and Ashis Tarafdar. Guava: A dialect of Java without data races. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 382--400, Minneapolis, MN, October 2000.


SafeJava: A Unified Type System for Safe Programming - Boyapati (2004)   (2 citations)  (Correct)

No context found.

David F. Bacon, Robert E. Strom, and Ashis Tarafdar. Guava: A dialect of Java without data races. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2000.


SafeJava: A Unified Type System for Safe Programming - Boyapati (2004)   (2 citations)  (Correct)

No context found.

David F. Bacon, Robert E. Strom, and Ashis Tarafdar. Guava: A dialect of Java without data races. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2000.


Rigorous Concurrency Analysis of Multithreaded Programs - Yang, Gopalakrishnan.. (2003)   (Correct)

No context found.

David F. Bacon, Robert E. Strom, and Ashis Tarafdar. Guava: a dialect of Java without data races. In Proceedings of Object-Oriented Programming Systems, Lanuages, and Applications, 2000.


ACM Conference on Object-Oriented Programming, Systems.. - Parameterized Type..   (Correct)

No context found.

D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2000.


ACM Conference on Object-Oriented Programming, Systems.. - Parameterized Type..   (Correct)

No context found.

D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2000.


Safe Runtime Downcasts With Ownership Types Chandrasekhar .. - Laboratory For Computer   (Correct)

No context found.

D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2000.

First 50 documents

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