GPCE 2023
22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2023)

Title Page

Article: gpce23foreword-fm000-p doi:

Welcome from the Chairs

Article: gpce23foreword-fm001-p doi:

Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance
Matteo Basso, Daniele Bonetta, and Walter Binder
(USI, Switzerland; Oracle Labs, Netherlands)

Publisher's Version Article: gpce23main-p1-p doi:10.1145/3624007.3624050

A Monadic Framework for Name Resolution in Multi-phased Type Checkers
Casper Bach Poulsen, Aron Zwaan, and Paul Hübner
(Delft University of Technology, Netherlands)

Publisher's Version Published Artifact Artifacts Available Article: gpce23main-p18-p doi:10.1145/3624007.3624051

A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages
Christoph Hochrainer and Andreas Krall
(TU Wien, Austria)

Publisher's Version Article: gpce23main-p32-p doi:10.1145/3624007.3624052

C2TACO: Lifting Tensor Code to TACO
José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, and Michael F. P. O'Boyle
(University of Edinburgh, UK)

Publisher's Version Article: gpce23main-p36-p doi:10.1145/3624007.3624053

Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers
Oscar Eriksson, Viktor Palmkvist, and David Broman
(KTH Royal Institute of Technology, Sweden; Stanford University, USA)

Publisher's Version Published Artifact Artifacts Available Article: gpce23main-p50-p doi:10.1145/3624007.3624054

Crossover: Towards Compiler-Enabled COBOL-C Interoperability
Mart van Assen, Manzi Aimé Ntagengerwa, Ömer Faruk Sayilir, and Vadim Zaytsev
(University of Twente, Netherlands)

Publisher's Version Article: gpce23main-p61-p doi:10.1145/3624007.3624055

Generating Conforming Programs with Xsmith
William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, and Eric Eide
(University of Utah, USA; University of Washington, USA)

Publisher's Version Article: gpce23main-p66-p doi:10.1145/3624007.3624056

Multi-Stage Vertex-Centric Programming for Agent-Based Simulations
Zilu Tian
(EPFL, Switzerland)

Publisher's Version Article: gpce23main-p73-p doi:10.1145/3624007.3624057

Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead
Raul Medeiros, Oscar Díaz, and David Benavides
(University of the Basque Country, San Sebastián, Spain; University of Seville, Seville, Spain)

Publisher's Version Article: gpce23main-p75-p doi:10.1145/3624007.3624058

Virtual Domain Specific Languages via Embedded Projectional Editing
Niklas Korz and Artur Andrzejak
(Alugha, Germany; Heidelberg University, Germany)

Publisher's Version Article: gpce23main-p85-p doi:10.1145/3624007.3624059

Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach
Camilo Correa Restrepo, Jacques Robin, and Raul Mazo
(University of Paris 1 Pantheon-Sorbonne, Paris, France; ESIEA, Paris, France; ENSTA Bretagne, Brest, France)

Publisher's Version Article: gpce23main-p99-p doi:10.1145/3624007.3624060