| 2018 | A practical unification of multi-stage programming and macros. | Nicolas Stucki, Aggelos Biboudis, Martin Odersky |
| 2018 | Exploring feature interactions without specifications: a controlled experiment. | Larissa Rocha Soares, Jens Meinicke, Sarah Nadi, Christian Kstner, Eduardo Santana de Almeida |
| 2018 | A domain-specific language for exploratory data visualization. | Karl Smeltzer, Martin Erwig |
| 2018 | Measuring effectiveness of sample-based product-line testing. | Sebastian Ruland, Lars Luthmann, Johannes Brdek, Sascha Lity, Thomas Thm, Malte Lochau, Mrcio Ribeiro |
| 2018 | Regenerate: a language generator for extended regular expressions. | Gabriel Radanne, Peter Thiemann |
| 2018 | Model-based security analysis of feature-oriented software product lines. | Sven Peldszus, Daniel Strber, Jan Jrjens |
| 2018 | Anomaly analyses for feature-model evolution. | Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thm, Ingrid Chieh Yu, Felix Franzke |
| 2018 | RT-trust: automated refactoring for trusted execution under real-time constraints. | Yin Liu, Kijin An, Eli Tilevich |
| 2018 | Inferring ownership domains from refinements. | Ebrahim Khalaj, Marwan Abi-Antoun |
| 2018 | Rash: from reckless interactions to reliable programs. | William Gallard Hatch, Matthew Flatt |
| 2018 | Explaining spreadsheets with spreadsheets (short paper). | Jcome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, Alex Grejuc |
| 2018 | Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs. | Laurent Christophe, Coen De Roover, Elisa Gonzalez Boix, Wolfgang De Meuter |
| 2018 | Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper). | L. Thomas van Binsbergen |
| 2018 | Verification of high-level transformations with inductive refinement types. | Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski |
| 2017 | Parser generation by example for legacy pattern languages. | Vadim Zaytsev |
| 2017 | Towards compositional and generative tensor optimizations. | Adilla Susungi, Norman A. Rink, Jernimo Castrilln, Immo Huismann, Albert Cohen, Claude Tadonki, Jrg Stiller, Jochen Frhlich |
| 2017 | Accurate reification of complete supertype information for dynamic analysis on the JVM. | Andrea Ros, Eduardo Rosales, Walter Binder |
| 2017 | RaTrace: simple and efficient abstractions for BVH ray traversal algorithms. | Arsne Prard-Gayot, Martin Weier, Richard Membarth, Philipp Slusallek, Roland Leia, Sebastian Hack |
| 2017 | Rewriting for sound and complete union, intersection and negation types. | David J. Pearce |
| 2017 | Quoted staged rewriting: a practical approach to library-defined optimizations. | Lionel Parreaux, Amir Shaikhha, Christoph E. Koch |
| 2017 | Staging with control: type-safe multi-stage programming with control operators. | Junpei Oishi, Yukiyoshi Kameyama |
| 2017 | Staging for generic programming in space and time. | Georg Ofenbeck, Tiark Rompf, Markus Pschel |
| 2017 | Silverchain: a fluent API generator. | Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, Shigeru Chiba |
| 2017 | Automatic generation of virtual learning spaces driven by CaVa | Ricardo Giuliani Martini, Pedro Rangel Henriques |
| 2017 | A Haskell compiler for signal transforms. | Geoffrey Mainland, Jeremy Johnson |