| 2025 | A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios. Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen |
| 2025 | CoCoCoLa: Code Completion Control Language. Nhat, Vadim Zaytsev |
| 2025 | Comparative Analysis of Pre-trained Code Language Models for Automated Program Repair via Code Infill Generation. Iman Hemati Moghadam, Oebele Lijzenga, Vadim Zaytsev |
| 2025 | Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations. Aleksandar S. Dimovski |
| 2025 | Integrating Static Optimization and Dynamic Nature in JavaScript. Tadashi Saito, Hideya Iwasaki |
| 2025 | P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4. Tommaso Pacciani, Damian Frölich, L. Thomas van Binsbergen, Chrysa Papagianni |
| 2025 | Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2025, Bergen, Norway, July 3-4, 2025 Amir Shaikhha, Sebastian Erdweg, Nada Amin |
| 2025 | Retrofitting a Virtual Instrument DSL with Programming Abstractions. Mathias Vatter, Sebastian Erdweg |
| 2025 | Staged Gradual Typing. Hiroto Yaguchi, Yukiyoshi Kameyama |