| 2006 | Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. | Sumit Gulwani, Ashish Tiwari |
| 2006 | Polymorphic Type Inference for the JNI. | Michael Furr, Jeffrey S. Foster |
| 2006 | Type Safety of Generics for the .NET Common Language Runtime. | Nicu G. Fruja |
| 2006 | Linear Regions Are All You Need. | Matthew Fluet, Greg Morrisett, Amal J. Ahmed |
| 2006 | Types for Hierarchic Shapes. | Sophia Drossopoulou, David G. Clarke, James Noble |
| 2006 | Embedding Dynamic Dataflow in a Call-by-Value Language. | Gregory H. Cooper, Shriram Krishnamurthi |
| 2006 | Size-Change Termination Analysis in | Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey |
| 2006 | Inference of User-Defined Type Qualifiers and Qualifier Rules. | Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg |
| 2006 | A Basic Contract Language for Web Services. | Samuele Carpineti, Cosimo Laneve |
| 2006 | Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. | Niklas Broberg, David Sands |
| 2006 | Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. | Amal J. Ahmed |
| 2005 | Asserting Bytecode Safety. | Martin Wildmoser, Tobias Nipkow |
| 2005 | Streams with a Bottom in Functional Languages. | Hideki Tsuiki, Keiji Sugihara |
| 2005 | A Design for a Security-Typed Language with Certificate-Based Declassification. | Stephen Tse, Steve Zdancewic |
| 2005 | Towards a Type System for Analyzing JavaScript Programs. | Peter Thiemann |
| 2005 | Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. | Olin Shivers, Mitchell Wand |
| 2005 | Subtyping First-Class Polymorphic Components. | Joo Costa Seco, Lus Caires |
| 2005 | Denotational Semantics for Abadi and Leino's Logic of Objects. | Bernhard Reus, Jan Schwinghammer |
| 2005 | A New Foundation for Control-Dependence and Slicing for Modern Program Structures. | Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff |
| 2005 | Summaries for While Programs with Recursion. | Andreas Podelski, Ina Schaefer, Silke Wagner |
| 2005 | Complexity of Subtype Satisfiability over Posets. | Joachim Niehren, Tim Priesnitz, Zhendong Su |
| 2005 | A Type System Equivalent to a Model Checker. | Mayur Naik, Jens Palsberg |
| 2005 | Programming with Explicit Security Policies. | Andrew C. Myers |
| 2005 | Interprocedural Herbrand Equalities. | Markus Mller-Olm, Helmut Seidl, Bernhard Steffen |
| 2005 | Analysis of Modular Arithmetic. | Markus Mller-Olm, Helmut Seidl |