SPLASH Workshop/Symposium Events 2024
2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2024)
Powered by
Conference Publishing Consulting
23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2024), October 21–22, 2024, Pasadena, CA, USA

GPCE 2024 – Proceedings

 Contents - Abstracts - Authors

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

Frontmatter

Title Page
Article: splashws24gpceforeword-fm000-p doi:
Welcome from the Chairs
Article: splashws24gpceforeword-fm001-p doi:
GPCE 2024 Organization
Article: splashws24gpceforeword-fm002-p doi:

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 Article: splashws24gpcemain-p75-p doi:10.1145/3689484.3690738
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 Article: splashws24gpcemain-p66-p doi:10.1145/3689484.3690735

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 Article: splashws24gpcemain-p25-p doi:10.1145/3689484.3690732
Specializing Data Access in a Distributed File System (Generative Pearl)
Pratyush Das, Anxhelo Xhebraj, and Tiark Rompf
(Purdue University, USA)
Publisher's Version Article: splashws24gpcemain-p70-p doi:10.1145/3689484.3690736

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 Article: splashws24gpcemain-p23-p doi:10.1145/3689484.3690731
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 Article: splashws24gpcemain-p2-p doi:10.1145/3689484.3690730
Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers
Amir Shaikhha
(University of Edinburgh, United Kingdom)
Publisher's Version Article: splashws24gpcemain-p88-p doi:10.1145/3689484.3690739

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 Article: splashws24gpcemain-p72-p doi:10.1145/3689484.3690737
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 Article: splashws24gpcemain-p62-p doi:10.1145/3689484.3690734
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 Article: splashws24gpcemain-p41-p doi:10.1145/3689484.3690733

proc time: 0.05