- Safe Concurrency Introduction through Slicing by Huiqing Li (University of Kent) and Simon Thompson (University of Kent)
- SWIN: Towards Type-Safe Java Program Adaptation between APIs by Jun Li (Peking University), Chenglong Wang (Peking University), Yingfei Xiong (Peking University), and Zhenjiang Hu (National Institute of Informatics)
- Object-sensitive type analysis of PHP by Henk Erik Van der Hoek (Utrecht University) and Jurriaan Hage (Utrecht University)
- Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages by Hidde Verstoep (Utrecht University) and Jurriaan Hage (Utrecht University)
- Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources by Venkatesh Vinayakarao (Indraprastha Institute of Information Technology Delhi), Rahul Purandare (Indraprastha Institute of Information Technology Delhi), and Aditya Nori (Microsoft Research)
- Static Backward Demand-Driven Slicing by Björn Lisper (Mälardalen University), Abu Naser Masud (Mälardalen University), and Husni Khanfar (Mälardalen University)
- Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain by Patrick Bahr (University of Copenhagen) and Emil Axelsson (Chalmers University of Technology)
- Threads as Resource for Concurrency Verification by Duy-Khanh Le (National University of Singapore), Wei-Ngan Chin (National University of Singapore), and Yong Meng Teo (National University of Singapore)
- Incremental Evaluation of Higher Order Attributes by Jeroen Bransen (Utrecht University), Atze Dijkstra (Utrecht University), and S. Doaitse Swierstra (Utrecht University)
- Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics by Ruud Koot (Utrecht University) and Jurriaan Hage (Utrecht University)
- Linear Ordered Attribute Grammars - with augmenting dependency selection by L. Thomas van Binsbergen (Utrecht University), Jeroen Bransen (Utrecht University), and Atze Dijkstra (Utrecht University)
- Constraint Specialisation in Horn Clause Verification by Bishoksan Kafle (Roskilde University) and John P. Gallagher (Roskilde University)
- Imperative Polymorphism by Store-Based Types as Abstract Interpretations by Casper Bach Poulsen (Swansea University), Peter D. Mosses (Swansea University), and Paolo Torrini (Swansea University)
- Verifying Relational Properties of Functional Programs by First-Order Refinement by Kazuyuki Asada (University of Tokyo), Ryosuke Sato (University of Tokyo), and Naoki Kobayashi (University of Tokyo)