Abstract is missing.
- The open verifier framework for foundational verifiersBor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula, Robert R. Schneck. 1-12 [doi]
- An open and shut typecaseDimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich. 13-24 [doi]
- Types for describing coordinated data structuresMichael F. Ringenburg, Dan Grossman. 25-36 [doi]
- Decidable subclassing-bounded quantificationJuan Chen. 37-46 [doi]
- Type inference for atomicityCormac Flanagan, Stephen N. Freund, Marina Lifshin. 47-58 [doi]
- Grammar-based analysis of string expressionsPeter Thiemann. 59-70 [doi]
- Strict bidirectional type checkingAdam J. Chlipala, Leaf Petersen, Robert Harper. 71-78 [doi]
- Automated and certified conformance to responsiveness policiesJoseph Vanderwaart, Karl Crary. 79-90 [doi]
- Type-based verification of assembly language for compiler debuggingBor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula, Robert R. Schneck. 91-102 [doi]
- Non-interference for a JVM-like languageGilles Barthe, Tamara Rezk. 103-112 [doi]