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

Title Page

Welcome from the Chairs

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


@InProceedings{GPCE23p1, author = {Matteo Basso and Daniele Bonetta and Walter Binder}, title = {Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3624007.3624050}, year = {2023}, } Publisher's Version

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)


@InProceedings{GPCE23p17, author = {Casper Bach Poulsen and Aron Zwaan and Paul Hübner}, title = {A Monadic Framework for Name Resolution in Multi-phased Type Checkers}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3624007.3624051}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

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


@InProceedings{GPCE23p33, author = {Christoph Hochrainer and Andreas Krall}, title = {A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3624007.3624052}, year = {2023}, } Publisher's Version

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)


@InProceedings{GPCE23p49, author = {José Wesley de Souza Magalhães and Jackson Woodruff and Elizabeth Polgreen and Michael F. P. O'Boyle}, title = {C2TACO: Lifting Tensor Code to TACO}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3624007.3624053}, year = {2023}, } Publisher's Version

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)


@InProceedings{GPCE23p65, author = {Oscar Eriksson and Viktor Palmkvist and David Broman}, title = {Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {65-64}, doi = {10.1145/3624007.3624054}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

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


@InProceedings{GPCE23p81, author = {Mart van Assen and Manzi Aimé Ntagengerwa and Ömer Faruk Sayilir and Vadim Zaytsev}, title = {Crossover: Towards Compiler-Enabled COBOL-C Interoperability}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3624007.3624055}, year = {2023}, } Publisher's Version

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)


@InProceedings{GPCE23p97, author = {William Gallard Hatch and Pierce Darragh and Sorawee Porncharoenwase and Guy Watson and Eric Eide}, title = {Generating Conforming Programs with Xsmith}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {97-96}, doi = {10.1145/3624007.3624056}, year = {2023}, } Publisher's Version

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


@InProceedings{GPCE23p113, author = {Zilu Tian}, title = {Multi-Stage Vertex-Centric Programming for Agent-Based Simulations}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {113-112}, doi = {10.1145/3624007.3624057}, year = {2023}, } Publisher's Version

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)


@InProceedings{GPCE23p129, author = {Raul Medeiros and Oscar Díaz and David Benavides}, title = {Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3624007.3624058}, year = {2023}, } Publisher's Version

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


@InProceedings{GPCE23p145, author = {Niklas Korz and Artur Andrzejak}, title = {Virtual Domain Specific Languages via Embedded Projectional Editing}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {145-144}, doi = {10.1145/3624007.3624059}, year = {2023}, } Publisher's Version

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)


@InProceedings{GPCE23p161, author = {Camilo Correa Restrepo and Jacques Robin and Raul Mazo}, title = {Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {161-160}, doi = {10.1145/3624007.3624060}, year = {2023}, } Publisher's Version