GPCE 2020

11 papers

1. A domain-specific language for filtering in application-level gateways · Hampus Balldin, Christoph Reichenbach
2. Automated variability injection for graphical modelling languages · Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, Juan de Lara
3. Correctness-by-construction for feature-oriented software product lines · Tabea Bordis, Tobias Runge, Ina Schaefer
4. Fluid quotes: metaprogramming across abstraction boundaries with dependent types · Shadaj Laddad, Koushik Sen
5. Manipulating GUI structures declaratively · Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
6. Modeling black-box components with probabilistic synthesis · Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
7. Multi-stage programming in the large with staged classes · Lionel Parreaux, Amir Shaikhha
8. PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report · Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck
9. Reorganizing queries with grouping · Rui Okura, Yukiyoshi Kameyama
10. VarSem: declarative expression and automated inference of variable usage semantics · Yin Liu, Eli Tilevich
11. eFLINT: a domain-specific language for executable norm specifications · L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom M. van Engers