| 2016 | BiGUL: a formally verified core language for putback-based bidirectional programming. | Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu |
| 2016 | Practical, general parser combinators. | Anastasia Izmaylova, Ali Afroozeh, Tijs van der Storm |
| 2016 | Staging beyond terms: prospects and challenges. | Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama |
| 2016 | Removing runtime overhead for optimized object queries. | Jon Brandvein, Yanhong A. Liu |
| 2016 | Toward introducing binding-time analysis to MetaOCaml. | Kenichi Asai |
| 2016 | A constraint language for static semantic analysis based on scope graphs. | Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth |
| 2016 | Operator precedence for data-dependent grammars. | Ali Afroozeh, Anastasia Izmaylova |
| 2015 | Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources. | Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori |
| 2015 | Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. | Hidde Verstoep, Jurriaan Hage |
| 2015 | Imperative Polymorphism by Store-Based Types as Abstract Interpretations. | Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini |
| 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. | Bjrn Lisper, Abu Naser Masud, Husni Khanfar |
| 2015 | Threads as Resource for Concurrency Verification. | Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
| 2015 | Desugaring in Practice: Opportunities and Challenges. | Shriram Krishnamurthi |
| 2015 | Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. | Ruud Koot, Jurriaan Hage |
| 2015 | Constraint Specialisation in Horn Clause Verification. | Bishoksan Kafle, John P. Gallagher |
| 2015 | Object-sensitive Type Analysis of PHP. | Henk Erik Van der Hoek, Jurriaan Hage |
| 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 | Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain. | Patrick Bahr, Emil Axelsson |
| 2015 | Verifying Relational Properties of Functional Programs by First-Order Refinement. | Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi |
| 2014 | Semantic bidirectionalization revisited. | Meng Wang, Shayan Najd |
| 2014 | Partial evaluation as universal compiler tool: experiences from the SAC Eco system. | Sven-Bodo Scholz |
| 2014 | An operational semantics for android activities. | tienne Payet, Fausto Spoto |