BOYAPATI, C., LEE, R., AND RINARD, M. C. Ownership types for safe programming: preventing data races and deadlocks. In Programming Systems, Languages, and Applications (Seattle, Washington, Nov.). ACM SIGPLAN Notices 37, 11 (Nov. 2002), pp. 211--230. 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, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Applications (OOPSLA), November 2002.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
Automatic Detection and Repair of Errors in Data - Structures Brian Demsky Self-citation (Rinard) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) Self-citation (Boyapati) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Applications (OOPSLA), November 2002.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
Preemption-Based Avoidance of Priority Inversion for Java - Welc, Hosking, Jagannathan (2004) (Correct)
No context found.
BOYAPATI, C., LEE, R., AND RINARD, M. C. Ownership types for safe programming: preventing data races and deadlocks. In Programming Systems, Languages, and Applications (Seattle, Washington, Nov.). ACM SIGPLAN Notices 37, 11 (Nov. 2002), pp. 211--230.
Transactional Monitors for Concurrent Objects - Adam Welc Suresh (Correct)
No context found.
BOYAPATI, C., LEE, R., AND RINARD, M. C. Ownership types for safe programming: preventing data races and deadlocks. In Proceedings of the ACM Conference on ObjectOriented Programming Systems, Languages, and Applications (Seattle, Washington, Nov.). ACM SIGPLAN Notices 37, 11 (Nov. 2002), pp. 211--230.
Safe Futures for Java - Welc, Jagannathan, Hosking (Correct)
No context found.
BOYAPATI, C., LEE, R., AND RINARD, M. C. Ownership types for safe programming: preventing data races and deadlocks. In Programming Systems, Languages, and Applications (Seattle, Washington, Nov.). ACM SIGPLAN Notices 37, 11 (Nov. 2002), pp. 211--230.
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership Types for Safe Programming: Preventing Data Races and Deadlocks. In Object-Oriented Programming Systems, Languages, and Applications, November 2002.
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: preventing data races and deadlocks. In Proceedings of the 17th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'02), pages 211--230. ACM Press, 2002.
Resources, Concurrency and Local Reasoning - O'Hearn (2005) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. OOPSLA, 2002.
Limited But Tractable Type Inference Against Races - Kenn Knowles Cormac (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In OOPSLA, November 2002.
Exceptions in Ownership Type Systems - Dietl, Müller (2004) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 211--230. ACM Press, 2002.
Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (2 citations) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: preventing data races and deadlocks. In Proc. Conf. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02), pages 211--230, Nov. 2002.
Transactions for Software Model Checking - Flanagan, Qadeer (2003) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: preventing data races and deadlocks. In OOPSLA 02: Object-Oriented Programming, Systems, Languages, and Applications, pages 211--230. ACM Press, 2002.
A Type and Effect System for Atomicity - Flanagan, Qadeer (2003) (4 citations) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: preventing data races and deadlocks. In Languages, and Applications, pages 211--230. ACM Press, 2002.
Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (2 citations) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: preventing data races and deadlocks. In Proc. Conf. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02), pages 211--230, Nov. 2002.
The Fugue protocol checker: Is your software Baroque? - DeLine, Fähndrich (2004) (1 citation) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Proceedings of the 17th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2002.
Race Checking by Context Inference - Henzinger, Jhala, Majumdar (2004) (3 citations) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: preventing data races and deadlocks. In OOPSLA 02: Object-Oriented Programming, Systems, Languages and Applications, pp. 211-230. ACM, 2002.
Technical Report - Number Computer Laboratory (1993) (2 citations) (Correct)
No context found.
Boyapati, C., Lee, R., and Rinard, M. Ownership types for safe programming: Preventing data races and deadlocks. In Proceedings of the 17th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA02) (Seattle, WA, November 2002), ACM Press.
RacerX: Effective, Static Detection of Race Conditions and.. - Engler, Ashcraft (2003) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA),November 2002.
Type-Safe Multithreading in Cyclone - Grossman (2003) (14 citations) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 211--230, Seattle, WA, Nov. 2002.
Guaranteed Optimization for Domain-Specific Programming - Veldhuizen (2003) (Correct)
No context found.
Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: preventing data races and deadlocks. In: Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications, ACM Press (2002) 211-230
Connecting Effects and Uniqueness with Adoption - Boyland (Correct)
No context found.
Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: preventing data races and deadlocks. In: OOPSLA'02 Conference Proceedings---ObjectOriented Programming Systems, Languages and Applications, New York, ACM Press (2002) 211--230
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