Detecting Race Conditions in Large Programs (2001)

by Cormac Flanagan , Stephen N. Freund
Venue:PASTE'01
Citations:42 - 5 self

Active Bibliography

66 Types for safe locking: Static race detection for Java – Martin Abadi, Cormac Flanagan, Stephen N. Freund - 2006
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
113 Types for safe locking – Cormac Flanagan - 1999
1 Formalising the Safety of Java, the Java Virtual Machine and Java Card – Pieter H. Hartel, Luc Moreau
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs – Radu Rugina, Radu Rugina - 1990
8 Pointer Analysis for Structured Parallel Programs – Radu Rugina, Martin C. Rinard - 2003
200 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004
31 Exploiting purity for atomicity – Cormac Flanagan, Stephen N. Freund, Shaz Qadeer - 2004
24 reservation: Java locks can mostly do without atomic operations – Kiyokuni Kawachiya, Akira Koseki, Tamiya Onodera
2 Detecting Read-Only Methods in Java – Jeff Bogda - 2000
20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
100 Points-to Analysis for Java Using Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2001
74 Safe futures for Java – Adam Welc, Suresh Jagannathan, Antony Hosking - 2005
67 Static Conflict Analysis for Multi-Threaded Object-Oriented Programs – Christoph von Praun, Thomas R. Gross - 2003
20 Write Barrier Removal by Static Analysis – Karen Zee, Martin Rinard - 2002
42 Type inference against races – Cormac Flanagan, Stephen N. Freund - 2004