GPCE B

18 papers

YearTitle / Authors
2021A variational database management system.
Parisa Ataei, Fariba Khan, Eric Walkingshaw
2021Artifact and reference models for generative machine learning frameworks and build systems.
Abdallah Atouani, Jörg Christian Kirchhof, Evgeny Kusmenko, Bernhard Rumpe
2021Compiling pattern matching to in-place modifications.
Paul Iannetta, Laure Gonnord, Gabriel Radanne
2021Delta-based verification of software product families.
Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel
2021Extracting the power of dependent types.
Artjoms Sinkarovs, Jesper Cockx
2021GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021
Eli Tilevich, Coen De Roover
2021HACCLE: metaprogramming for secure multi-party computation.
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
2021Leveraging relational concept analysis for automated feature location in software product lines.
Nicolas Hlad, Bérénice Lemoine, Marianne Huchard, Abdelhak-Djamel Seriai
2021Lifted termination analysis by abstract interpretation and its applications.
Aleksandar S. Dimovski
2021Live programming and programming by example: better together (keynote).
Sorin Lerner
2021MADMAX: a DSL for explanatory decision making.
Martin Erwig, Prashant Kumar
2021Metaprogramming with combinators.
Mahshid Shahmohammadian, Geoffrey Mainland
2021Multi-stage programming with generative and analytical macros.
Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky
2021On-stack replacement for program generators and source-to-source compilers.
Grégory M. Essertel, Ruby Y. Tahboub, Tiark Rompf
2021The 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
2021Towards supporting SPL engineering in low-code platforms using a DSL approach.
Alexandre Bragança, Isabel Azevedo, Nuno Bettencourt, Carlos Morais, Diogo Teixeira, David Caetano
2021Type-safe generation of modules in applicative and generative styles.
Yuhi Sato, Yukiyoshi Kameyama
2021Understanding and improving model-driven IoT systems through accompanying digital twins.
Jörg Christian Kirchhof, Lukas Malcher, Bernhard Rumpe