Active Bibliography

305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
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
11 Designing an algorithm for role analysis – Viktor Kuncak - 2001
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
36 Modular Data Structure Verification – Martin C. Rinard - 2007
7 Annotations on Java types JSR 308 working document – Michael D. Ernst - 2007
66 Types for safe locking: Static race detection for Java – Martin Abadi, Cormac Flanagan, Stephen N. Freund - 2006
39 Safe concurrency for aggregate objects with invariants: Soundness proof – Bart Jacobs, K. Rustan M. Leino, Frank Piessens, Wolfram Schulte - 2005
1 Glass Box Software Model Checking – Michael E. Roberson - 2011
32 Automatic Testing of Software with Structurally Complex Inputs – Darko Marinov - 2005
Ownership Types for Safe Region-Based . . . – Chandrasekhar Boyapati, Alexandru Sălcianu, William Beebee, Jr., Martin Rinard - 2003
Les langues de specification – M. Demuynck, et al.
125 Object Invariants in Dynamic Contexts – K. Rustan M. Leino, Peter Müller
2 An effect system and language for DETERMINISTIC-BY-DEFAULT PARALLEL PROGRAMMING – Robert L. Bocchino - 2010
80 A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector – David L. Heine, Monica S. Lam - 2003
1 On the role of static analysis in operating system checking and runtime verification – Abhishek Rai - 2005
8 Efficient Software Model Checking of Soundness of Type Systems – Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati - 2008
50 Using data groups to specify and check side effects – K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou - 2002