Abstract is missing.
- Automated Generation of Code Contracts: Generative AI to the Rescue?Sandra Greiner 0001, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, Timo Kehrer. 1-14 [doi]
- An Extensible Feature-Oriented Approach for Fine-Grained Code Quality AnalysisKarim Ghallab, Tewfik Ziadi, Zaak Chalal. 15-28 [doi]
- Applying a Self-Extension Mechanism to DSLs for Establishing Model LibrariesArkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe. 29-43 [doi]
- Specializing Data Access in a Distributed File System (Generative Pearl)Pratyush Das, Anxhelo Xhebraj, Tiark Rompf. 44-52 [doi]
- Type-Safe Code Generation with Algebraic Effects and HandlersKanaru Isoda, Ayato Yokoyama, Yukiyoshi Kameyama. 53-65 [doi]
- Hot Call-Chain Inlining for the Glasgow Haskell CompilerCeleste Hollenbeck, Michael F. P. O'Boyle. 66-79 [doi]
- Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing CompilersAmir Shaikhha. 80-93 [doi]
- Separate Compilation and Partial Linking: Modules for Datalog IRDavid Klopp, André Pacak, Sebastian Erdweg. 94-106 [doi]
- On the Soundness of Auto-completion Services for Dynamically Typed LanguagesDamian Frölich, L. Thomas van Binsbergen. 107-120 [doi]
- Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper)Cunyuan Gao, Lionel Parreaux. 121-127 [doi]