GPCE 2021

17 papers

1. A variational database management system · Parisa Ataei, Fariba Khan, Eric Walkingshaw
2. Artifact and reference models for generative machine learning frameworks and build systems · Abdallah Atouani, Jörg Christian Kirchhof, Evgeny Kusmenko, Bernhard Rumpe
3. Compiling pattern matching to in-place modifications · Paul Iannetta, Laure Gonnord, Gabriel Radanne
4. Delta-based verification of software product families · Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel
5. Extracting the power of dependent types · Artjoms Sinkarovs, Jesper Cockx
6. HACCLE: metaprogramming for secure multi-party computation · Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber + 14 more
7. Leveraging relational concept analysis for automated feature location in software product lines · Nicolas Hlad, Bérénice Lemoine, Marianne Huchard, Abdelhak-Djamel Seriai
8. Lifted termination analysis by abstract interpretation and its applications · Aleksandar S. Dimovski
9. Live programming and programming by example: better together (keynote) · Sorin Lerner
10. MADMAX: a DSL for explanatory decision making · Martin Erwig, Prashant Kumar
11. Metaprogramming with combinators · Mahshid Shahmohammadian, Geoffrey Mainland
12. Multi-stage programming with generative and analytical macros · Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky
13. On-stack replacement for program generators and source-to-source compilers · Grégory M. Essertel, Ruby Y. Tahboub, Tiark Rompf
14. The life cycle of features in highly-configurable software systems evolving in space and time · Gabriela Karoline Michelon, Wesley K. G. Assunção, David Obermann, Lukas Linsbauer, Paul Grünbacher, Alexander Egyed
15. Towards supporting SPL engineering in low-code platforms using a DSL approach · Alexandre Bragança, Isabel Azevedo, Nuno Bettencourt, Carlos Morais, Diogo Teixeira, David Caetano
16. Type-safe generation of modules in applicative and generative styles · Yuhi Sato, Yukiyoshi Kameyama
17. Understanding and improving model-driven IoT systems through accompanying digital twins · Jörg Christian Kirchhof, Lukas Malcher, Bernhard Rumpe