| 2015 | Constraint Specialisation in Horn Clause Verification. Bishoksan Kafle, John P. Gallagher |
| 2015 | Desugaring in Practice: Opportunities and Challenges. Shriram Krishnamurthi |
| 2015 | Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain. Patrick Bahr, Emil Axelsson |
| 2015 | Imperative Polymorphism by Store-Based Types as Abstract Interpretations. Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini |
| 2015 | Incremental Evaluation of Higher Order Attributes. Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra |
| 2015 | Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra |
| 2015 | Object-sensitive Type Analysis of PHP. Henk Erik Van der Hoek, Jurriaan Hage |
| 2015 | Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. Hidde Verstoep, Jurriaan Hage |
| 2015 | Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015 Kenichi Asai, Kostis Sagonas |
| 2015 | SWIN: Towards Type-Safe Java Program Adaptation between APIs. Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu |
| 2015 | Safe Concurrency Introduction through Slicing. Huiqing Li, Simon J. Thompson |
| 2015 | Static Backward Demand-Driven Slicing. Björn Lisper, Abu Naser Masud, Husni Khanfar |
| 2015 | Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources. Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori |
| 2015 | Threads as Resource for Concurrency Verification. Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
| 2015 | Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. Ruud Koot, Jurriaan Hage |
| 2015 | Verifying Relational Properties of Functional Programs by First-Order Refinement. Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi |