Types for safe locking: Static race detection for Java (2006)

by Martin Abadi , Cormac Flanagan , Stephen N. Freund
Venue:ACM Transactions on Programming Languages and Systems
Citations:65 - 8 self

Active Bibliography

58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
16 A Type System for Preventing Data Races and Deadlocks in Java Programs – Chandrasekhar Boyapati , Robert Lee, Martin Rinard - 2002
147 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
1 On the role of static analysis in operating system checking and runtime verification – Abhishek Rai - 2005
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
96 Type-safe multithreading in Cyclone – Dan Grossman - 2003
1 Formalising the Safety of Java, the Java Virtual Machine and Java Card – Pieter H. Hartel, Luc Moreau
Ownership Types for Safe Region-Based . . . – Chandrasekhar Boyapati, Alexandru Sălcianu, William Beebee, Jr., Martin Rinard - 2003
111 Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions – Radu Rugina, Martin Rinard - 2000
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
215 A type and effect system for atomicity – Cormac Flanagan, Shaz Qadeer - 2003
200 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004
42 Detecting Race Conditions in Large Programs – Cormac Flanagan, Stephen N. Freund - 2001
7 Effects for cooperable and serializable threads – Jaeheon Yi, Cormac Flanagan - 2010
2 Dynamic datarace detection for object-oriented programs – Manu Sridharan, C. Rinard - 2002
92 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
Programs Title for Potential Programming Errors – Ali H. Doğru, Veli Biçer, Cover Design, Kristin Klinger, Julia Mosemann, Lindsay Johnston, Erika Carter, Joel Gamon, Jamie Snavely, Keith Glazewski, Natalie Pronio, Nick Newcomer, Qichang Chen, Liqiang Wang, Ping Guo
39 Checking concise specifications for multithreaded software – Stephen N. Freund, Shaz Qadeer - 2004