BOYAPATI, C., AND RINARD, M. A parameterized type system for race-free Java programs. In OOPSLA'01 [17], pp. 56--69. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) Self-citation (Boyapati) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
Analysis of Multithreaded Programs - Rinard (2001) (13 citations) Self-citation (Rinard) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Proceedings of the 16th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Tampa Bay, FL, Oct. 2001.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) Self-citation (Boyapati) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
Ownership Types for Object Encapsulation - Boyapati, Liskov, Shrira (2003) (13 citations) Self-citation (Boyapati) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
Safe Runtime Downcasts With Ownership Types Chandrasekhar .. - Laboratory For Computer Self-citation (Boyapati Rinard) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
A Type System and Analysis for the Automatic Extraction and.. - Lam, Rinard (2003) (5 citations) Self-citation (Rinard) (Correct)
....within a single subsystem, or a single result for each method. Our implementation currently produces a separate result for each distinct instantiation of token variable and subsystem values. 6. 4 Ownership Types Ownership type systems are designed to enforce object encapsulation properties [10, 7, 6, 9, 2]. In this capacity, they can be used to ensure that objects from one instance of an abstraction are not used to inappropriately communicate with With the possible exception of timing channels. 25 other instances of the same abstraction [5, 2] For example, one might use ownership types in a ....
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. Tampa Bay, Florida, Oct. 2001.
Ownership Types for Safe Region-Based Memory.. - Boyapati.. (2003) (4 citations) Self-citation (Boyapati Rinard) (Correct)
....provide safe region based memory management for other real time languages as well. Our system makes several important technical contributions over previous type systems for region based memory management. For object oriented programs, it combines region types [16, 23, 34, 42] and ownership types [10, 11, 14, 18, 19] in a unified type system framework. Region types statically ensure that programs never follow dangling references. Ownership types statically enforce object encapsulation and enable modular reasoning about program correctness in object oriented programs. Consider, for example, a Stack object s ....
....garbage collector, then a realtime thread entering the region might have to wait for an unbounded amount of time. Our type system statically ensures that this priority inversion problem cannot happen. Finally, we note that ownership based type systems have also been used for preventing data races [14] and deadlocks [10] for supporting modular software upgrades in persistent object stores [13] for modular specification of e#ects clauses in the presence of subtyping [11, 14] so they can be used as an alternative to data groups [36] and for program understanding [3] We are currently ....
[Article contains additional citation context not shown here]
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) Self-citation (Boyapati) (Correct)
....functions to satisfy the conditions. If even triggers are insucient, we use versions but only in the few cases where they are needed. The upgrade system can statically determine whether transform functions are well behaved if the programming language is extended to support ownership types [11, 12, 14, 15, 24, 25]; we sketch such an extension in the appendix. Ownership types o er a promising approach for making objectoriented programs more reliable, and we think that they will become part of future object oriented languages. However, in the absence of ownership types, the system has to depend on either ....
....objects x encapsulates, then our system provides good semantics without using versions: E. TF(x) can only use x and objects that x encapsulates. Condition E can be checked by a compiler provided the programming language is extended to support ownership types and e ects clauses. Ownership types [11, 12, 14, 15, 24, 25] are used to declare dependencies: if an object x depends on y, x s class will declare that x owns y. The ownership type system will then guarantee that y cannot be accessed from outside of x, i.e. by objects that x doesn t own directly or transitively. E ects clauses [44] allow the compiler to ....
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
Safe Runtime Downcasts With Ownership Types - Boyapati, Lee, Rinard (2003) (2 citations) Self-citation (Boyapati Rinard) (Correct)
....Java, which is an extension to Java that uses ownership types to guarantee the absence of data races and deadlocks in well typed programs. Our approach is JVM compatible: our implementation translates programs to bytecodes that can be run on regular JVMs. 1 Introduction Ownership types [3, 4, 6, 10, 11] provide a statically enforceable way of specifying object encapsulation. The idea is that an object can own subobjects that it depends on, thus preventing them from being accessible outside. Object encapsulation enables local reasoning about program correctness in object oriented programs. ....
....The idea is that an object can own subobjects that it depends on, thus preventing them from being accessible outside. Object encapsulation enables local reasoning about program correctness in object oriented programs. Ownership based type systems have also been used for preventing data races [6] and deadlocks [3] in multithreaded programs, for preventing memory errors in programs that use region based memory management [7] for supporting modular software upgrades in persistent object stores [5] for modular speci cation of e ects clauses in the presence of subtyping [4, 6, 10] so they ....
[Article contains additional citation context not shown here]
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
Preemption-Based Avoidance of Priority Inversion for Java - Welc, Hosking, Jagannathan (2004) (Correct)
No context found.
BOYAPATI, C., AND RINARD, M. A parameterized type system for race-free Java programs. In OOPSLA'01 [17], pp. 56--69.
Transactional Monitors for Concurrent Objects - Adam Welc Suresh (Correct)
No context found.
BOYAPATI, C., AND RINARD, M. A parameterized type system for race-free Java programs. In OOPSLA'01 [33], pp. 56--69.
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Proceedings of the 16th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'01), pages 56--69, Tampa Bay, FL, 2001.
Decentralized Runtime Analysis of Multithreaded Applications - Sen, Vardhan, Agha, Rosu (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In 16th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'01), 2001.
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004) (5 citations) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Proceedings of the ACM Conference on Object- Oriented Programming, Systems, Languages and Applications, pages 56--69, 2001.
Transactions for Software Model Checking - Flanagan, Qadeer (2003) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In OOPSLA 01: Object-Oriented Programming, Systems, Languages, and Applications, pages 56--69. ACM Press, 2001.
Thread-modular Abstraction Refinement - Henzinger, Jhala, Majumdar, Qadeer (2003) (9 citations) (Correct)
No context found.
C. Boyapati, M. Rinard. A parameterized type system for race-free Java programs. In Proc. OOPSLA, pp. 56-69, 2001.
A Type and Effect System for Atomicity - Flanagan, Qadeer (2003) (4 citations) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In OOPSLA 01: Object-Oriented Programming, Systems, Languages, and Applications, pages 56--69. ACM Press, 2001.
Thread-modular Abstraction Refinement - Henzinger, Jhala, Majumdar, Qadeer (2003) (9 citations) (Correct)
No context found.
C. Boyapati, M. Rinard. A parameterized type system for race-free Java programs. In Proc. OOPSLA, pp. 56--69, 2001.
Checking Concise Specifications for Multithreaded Software - Freund, Qadeer (2003) (3 citations) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Proceedings of 16th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 56-69, October 2001.
Type-Safe Multithreading in Cyclone - Grossman (2003) (14 citations) (Correct)
No context found.
C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 56--69,
Optimistic Synchronization-Based State-Space Reduction - Stoller, Cohen (2003) (4 citations) (Correct)
No context found.
C. Boyapati and M. C. Rinard. A parameterized type system for race-free Java programs. In Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), volume 36(11) of SIGPLAN Notices, pages 56--69. ACM Press, November 2001.
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