GPCE 2025

8 papers

1. A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios · Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen
2. CoCoCoLa: Code Completion Control Language · Nhat, Vadim Zaytsev
3. Comparative Analysis of Pre-trained Code Language Models for Automated Program Repair via Code Infill Generation · Iman Hemati Moghadam, Oebele Lijzenga, Vadim Zaytsev
4. Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations · Aleksandar S. Dimovski
5. Integrating Static Optimization and Dynamic Nature in JavaScript · Tadashi Saito, Hideya Iwasaki
6. P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4 · Tommaso Pacciani, Damian Frölich, L. Thomas van Binsbergen, Chrysa Papagianni
7. Retrofitting a Virtual Instrument DSL with Programming Abstractions · Mathias Vatter, Sebastian Erdweg
8. Staged Gradual Typing · Hiroto Yaguchi, Yukiyoshi Kameyama