| 2012 | Decision Procedures over Sophisticated Fractional Permissions. | Xuan Bach Le, Cristian Gherghina, Aquinas Hobor |
| 2012 | Lazy v. Yield: Incremental, Linear Pretty-Printing. | Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry |
| 2012 | Succour to the Confused Deputy - Types for Capabilities. | Radha Jagadeesan, Corin Pitcher, James Riely |
| 2012 | Vinter: A Vampire-Based Tool for Interpolation. | Krystof Hoder, Andreas Holzer, Laura Kovcs, Andrei Voronkov |
| 2012 | Modular Verification of Concurrent Thread Management. | Yu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi |
| 2012 | A Case for Behavior-Preserving Actions in Separation Logic. | David Costanzo, Zhong Shao |
| 2012 | Linear Approximation of Continuous Systems with Trapezoid Step Functions. | Giulia Costantini, Pietro Ferrara, Agostino Cortesi |
| 2012 | Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints. | Alos Brunel, Antoine Madet |
| 2012 | A Generic Cyclic Theorem Prover. | James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen |
| 2012 | Inference of Necessary Field Conditions with Abstract Interpretation. | Mehdi Bouaziz, Francesco Logozzo, Manuel Fhndrich |
| 2012 | End-to-end Multilevel Hybrid Information Flow Control. | Lennart Beringer |
| 2012 | A New Order-Theoretic Characterisation of the Polytime Computable Functions. | Martin Avanzini, Naohi Eguchi, Georg Moser |
| 2012 | A Functional View of Imperative Information Flow. | Thomas H. Austin, Cormac Flanagan, Martn Abadi |
| 2012 | Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. | Kalmer Apinis, Helmut Seidl, Vesal Vojdani |
| 2012 | Dynamic Software Update for Message Passing Programs. | Gabrielle Anderson, Julian Rathke |
| 2012 | Ownership Types for Object Synchronisation. | Yi Lu, John Potter, Jingling Xue |
| 2011 | Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. | Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow |
| 2011 | SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA. | Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew |
| 2011 | Computation-by-Interaction with Effects. | Ulrich Schpp |
| 2011 | A Deductive Database with Datalog and SQL Query Languages. | Fernando Senz-Prez, Rafael Caballero, Yolanda Garca-Ruiz |
| 2011 | Access-Based Localization with Bypassing. | Hakjoo Oh, Kwangkeun Yi |
| 2011 | Algebra, Logic, Locality, Concurrency. | Peter W. O'Hearn |
| 2011 | Program Analysis and Machine Learning: A Win-Win Deal. | Aditya V. Nori, Sriram K. Rajamani |
| 2011 | A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. | Keiko Nakata, Tarmo Uustalu, Marc Bezem |
| 2011 | Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism. | Akimasa Morihata |