Powered by
22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2023), October 22–23, 2023,
Cascais, Portugal
Frontmatter
Papers
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
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)
@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
Article: gpce23main-p18-p doi:10.1145/3624007.3624051
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
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)
@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
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)
@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
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)
@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
Article: gpce23main-p66-p doi:10.1145/3624007.3624056
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
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)
@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
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)
@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
Article: gpce23main-p99-p doi:10.1145/3624007.3624060
proc time: 71.69