Active Bibliography

328 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
486 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
153 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
562 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
205 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
715 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
579 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
596 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997