GPCE 2024 – Proceedings

23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2024)

Frontmatter

Code Quality

Automated Generation of Code Contracts: Generative AI to the Rescue?
Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, and Timo Kehrer
(University of Southern Denmark, Denmark; University of Bern, Switzerland; University of Athens, Greece; Feenk, Switzerland)

Publisher's Version

An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
Karim Ghallab, Tewfik Ziadi, and Zaak Chalal
(Mobioos, France; LIP6, France; Sorbonne Université, France)

Publisher's Version

Domain-Specific Languages

Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries
Arkadii Gerasimov, Nico Jansen, Judith Michael, and Bernhard Rumpe
(RWTH Aachen University, Germany)

Publisher's Version

Specializing Data Access in a Distributed File System (Generative Pearl)
Pratyush Das, Anxhelo Xhebraj, and Tiark Rompf
(Purdue University, USA)

Publisher's Version

Code Optimizations

Type-Safe Code Generation with Algebraic Effects and Handlers
Kanaru Isoda, Ayato Yokoyama, and Yukiyoshi Kameyama
(University of Tsukuba, Japan)

Publisher's Version

Hot Call-Chain Inlining for the Glasgow Haskell Compiler
Celeste Hollenbeck and Michael F. P. O’Boyle
(University of Edinburgh, United Kingdom)

Publisher's Version

Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers
Amir Shaikhha
(University of Edinburgh, United Kingdom)

Publisher's Version

Typing and Its Applications

Separate Compilation and Partial Linking: Modules for Datalog IR
David Klopp, André Pacak, and Sebastian Erdweg
(JGU Mainz, Germany)

Publisher's Version

On the Soundness of Auto-completion Services for Dynamically Typed Languages
Damian Frölich and L. Thomas van Binsbergen
(University of Amsterdam, Netherlands)

Publisher's Version

Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper)
Cunyuan Gao and Lionel Parreaux
(Hong Kong University of Science and Technology, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

proc time: 2.68