Type-based race detection for Java

Cached

Download Links

by Cormac Flanagan , Stephen N. Freund
Venue:IN PROCEEDINGS OF THE SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
Citations:244 - 23 self

Active Bibliography

66 Types for safe locking: Static race detection for Java – Martin Abadi, Cormac Flanagan, Stephen N. Freund - 2006
58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
42 Detecting Race Conditions in Large Programs – Cormac Flanagan, Stephen N. Freund - 2001
1 Formalising the Safety of Java, the Java Virtual Machine and Java Card – Pieter H. Hartel, Luc Moreau
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
113 Types for safe locking – Cormac Flanagan - 1999
74 Safe futures for Java – Adam Welc, Suresh Jagannathan, Antony Hosking - 2005
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
135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
42 Type inference against races – Cormac Flanagan, Stephen N. Freund - 2004
16 A Type System for Preventing Data Races and Deadlocks in Java Programs – Chandrasekhar Boyapati , Robert Lee, Martin Rinard - 2002
305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
42 A Formal Framework for the Java Bytecode Language and Verifier – Stephen N. Freund, John C. Mitchell - 1999
90 Simple Ownership Types for Object Containment – David G. Clarke, James Noble, John M. Potter - 2001
TABLE OF CONTENTS – Adam Welc - 2006
1 Targeting the Java Virtual Machine with Genericity, Multiple Inheritance, Assertions and Expanded Types – Dominique Colnet, Olivier Zendra
Featherweight Java – Minimal Core Calculus, Atsushi Igarashi, Benjamin Pierce, Philip Wadler - 1999
2 Detecting Read-Only Methods in Java – Jeff Bogda - 2000