GPCE 2024

10 papers

1. An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis · Karim Ghallab, Tewfik Ziadi, Zaak Chalal
2. Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries · Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe
3. Automated Generation of Code Contracts: Generative AI to the Rescue? · Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, Timo Kehrer
4. Hot Call-Chain Inlining for the Glasgow Haskell Compiler · Celeste Hollenbeck, Michael F. P. O'Boyle
5. On the Soundness of Auto-completion Services for Dynamically Typed Languages · Damian Frölich, L. Thomas van Binsbergen
6. Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers · Amir Shaikhha
7. Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper) · Cunyuan Gao, Lionel Parreaux
8. Separate Compilation and Partial Linking: Modules for Datalog IR · David Klopp, André Pacak, Sebastian Erdweg
9. Specializing Data Access in a Distributed File System (Generative Pearl) · Pratyush Das, Anxhelo Xhebraj, Tiark Rompf
10. Type-Safe Code Generation with Algebraic Effects and Handlers · Kanaru Isoda, Ayato Yokoyama, Yukiyoshi Kameyama