Active Bibliography

27 Type Qualifiers: Lightweight Specifications to Improve Software Quality – Jeffrey Scott Foster - 2002
79 Effective typestate verification in the presence of aliasing – Stephen Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay - 2006
43 Checking and Inferring Local Non-Aliasing – Alex Aiken, John Kodumal, Jeffrey S. Foster, Tachio Terauchi - 2003
Type Systems: Advances and Applications – n.n.
1 On the role of static analysis in operating system checking and runtime verification – Abhishek Rai - 2005
96 Type-safe multithreading in Cyclone – Dan Grossman - 2003
1 Debugging concurrent programs with sequential analysis – Shaz Qadeer
105 KISS: Keep It Simple and Sequential – Shaz Qadeer, Dinghao Wu - 2004
141 Thorough Static Analysis of Device Drivers – Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner - 2006
36 Modular Data Structure Verification – Martin C. Rinard - 2007
111 Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions – Radu Rugina, Martin Rinard - 2000
8 Efficient Software Model Checking of Soundness of Type Systems – Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati - 2008
23 Generalized typestate checking using set interfaces and pluggable analyses – Patrick Lam, Viktor Kuncak, Martin Rinard - 2004
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
1 Glass Box Software Model Checking – Michael E. Roberson - 2011
59 Model Checking Large Network Protocol Implementations – Madanlal Musuvathi, Dawson R. Engler - 2004
12 Incorporating Domain-Specific Information into the Compilation Process – Samuel Zev Guyer - 2003
2 Towards scalable modular checking of user-defined properties – Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Thomas Ball