GPCE 2023

11 papers

1. A Monadic Framework for Name Resolution in Multi-phased Type Checkers · Casper Bach Poulsen, Aron Zwaan, Paul Hübner
2. A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages · Christoph Hochrainer, Andreas Krall
3. Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance · Matteo Basso, Daniele Bonetta, Walter Binder
4. C2TACO: Lifting Tensor Code to TACO · José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle
5. Crossover: Towards Compiler-Enabled COBOL-C Interoperability · Mart van Assen, Manzi Aimé Ntagengerwa, Ömer Sayilir, Vadim Zaytsev
6. Generating Conforming Programs with Xsmith · William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, Eric Eide
7. Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach · Camilo Correa-Restrepo, Jacques Robin, Raúl Mazo
8. Multi-Stage Vertex-Centric Programming for Agent-Based Simulations · Zilu Tian
9. Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers · Oscar Eriksson, Viktor Palmkvist, David Broman
10. Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead · Raul Medeiros, Oscar Díaz, David Benavides
11. Virtual Domain Specific Languages via Embedded Projectional Editing · Niklas Korz, Artur Andrzejak