kirancodes.me
To Proof Maintenance & Beyond!
Venues / GPCE /

GPCE 2022

16 papers

  1. A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players · Evgeny Kusmenko, Maximilian Münker, Matthias Nadenau, Bernhard Rumpe
  2. A Modern C++ Point of View of Programming in Image Processing · Michaël Roynard, Edwin Carlinet, Thierry Géraud
  3. Composable Sequence Macros for Fast Iteration · Anna Bolotina, Ryan Culpepper
  4. Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming · Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca
  5. Deep Fusion for Efficient Nested Recursive Computations · Amir Shaikhha
  6. Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing · Miguel Campusano, Ulrik Pagh Schultz Lundquist
  7. Generic Solution-Space Sampling for Multi-domain Product Lines · Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer
  8. Incremental Processing of Structured Data in Datalog · André Pacak, Tamás Szabó, Sebastian Erdweg
  9. Language Design Meets Verifying Compilers (Keynote) · David J. Pearce
  10. Language Support for Refactorability Decay Prevention · Dov Fraivert, David H. Lorenz
  11. Language-Integrated Query for Temporal Data · Simon Fowler, Vashti Galpin, James Cheney
  12. Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices · Arvid Butting, Jörg Christian Kirchhof, Anno Kleiss, Judith Michael, Radoslav Orlov, Bernhard Rumpe
  13. Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems · Sofia Ananieva, Thomas Kühn, Ralf Reussner
  14. SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API · Filippo Schiavio, Andrea Rosà, Walter Binder
  15. The Cost of Dynamism in Static Languages for Image Processing · Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna
  16. Type System for Four Delimited Control Operators · Chiaki Ishio, Kenichi Asai