Ownership Types for Safe Programming: Preventing Data Races and Deadlocks (2002)

by Chandrasekhar Boyapati , Robert Lee , Martin Rinard
Citations:305 - 13 self

Active Bibliography

58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
147 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
16 A Type System for Preventing Data Races and Deadlocks in Java Programs – Chandrasekhar Boyapati , Robert Lee, Martin Rinard - 2002
66 Types for safe locking: Static race detection for Java – Martin Abadi, Cormac Flanagan, Stephen N. Freund - 2006
Ownership Types for Safe Region-Based . . . – Chandrasekhar Boyapati, Alexandru S─âlcianu, William Beebee, Jr., Martin Rinard - 2003
13 Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
131 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
96 Type-safe multithreading in Cyclone – Dan Grossman - 2003
27 Type Qualifiers: Lightweight Specifications to Improve Software Quality – Jeffrey Scott Foster - 2002
92 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
1 On the role of static analysis in operating system checking and runtime verification – Abhishek Rai - 2005
External Uniqueness – Tobias Wrigstad A, Dave Clarke B
11 Designing an algorithm for role analysis – Viktor Kuncak - 2001
28 Safe Runtime Downcasts With Ownership Types – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
5 A Type System for Preventing Data Races and Deadlocks in the Java Virtual Machine Language – Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati
360 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
50 Lazy Modular Upgrades in Persistent Object Stores – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman - 2003
111 Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions – Radu Rugina, Martin Rinard - 2000