Abstract is missing.
- CoCoCoLa: Code Completion Control LanguageNhat, Vadim Zaytsev. 1-12 [doi]
- Comparative Analysis of Pre-trained Code Language Models for Automated Program Repair via Code Infill GenerationIman Hemati Moghadam, Oebele Lijzenga, Vadim Zaytsev. 13-26 [doi]
- Imperative Program Synthesis by Abstract Static Analysis and SMT MutationsAleksandar S. Dimovski. 27-40 [doi]
- Integrating Static Optimization and Dynamic Nature in JavaScriptTadashi Saito, Hideya Iwasaki. 41-53 [doi]
- P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4Tommaso Pacciani, Damian Frölich, L. Thomas van Binsbergen, Chrysa Papagianni. 54-66 [doi]
- Retrofitting a Virtual Instrument DSL with Programming AbstractionsMathias Vatter, Sebastian Erdweg. 67-79 [doi]
- A Stable Model Semantics for eFLINT Norm Specifications and Model Checking ScenariosChristopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen. 80-93 [doi]
- Staged Gradual TypingHiroto Yaguchi, Yukiyoshi Kameyama. 94-104 [doi]