SPLASH 2023 (series) / GPCE 2023 (series) /
GPCE 2023 Program
This is the GPCE 2023 program - see the full program for SPLASH 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 22 OctDisplayed time zone: Lisbon change
Sun 22 Oct
Displayed time zone: Lisbon change
11:00 - 12:30 | |||
11:00 30mTalk | GPCE Welcome by Chairs GPCE | ||
11:30 30mTalk | Generating Conforming Programs With Xsmith GPCE William G Hatch University of Utah, Pierce Darragh University of Utah, Sorawee Porncharoenwase University of Washington, Guy Watson University of Utah, Eric Eide University of Utah | ||
12:00 30mTalk | Multi-Stage Vertex-Centric Programming for Agent-Based Simulations GPCE Zilu Tian EPFL | ||
14:00 - 15:30 | Session 2GPCE at Room XV Chair(s): Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota, USA | ||
14:00 30mTalk | A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages GPCE | ||
14:30 30mTalk | A Monadic Framework for Name Resolution in Multi-Phased Type Checkers GPCE Casper Bach Delft University of Technology, Aron Zwaan Delft University of Technology, Paul Hübner Delft University of Technology Link to publication DOI Pre-print | ||
15:00 30mTalk | C2TACO: Lifting Tensor Code to TACO GPCE José Wesley De Souza Magalhães University of Edinburgh, Jackson Woodruff University of Edinburgh, Elizabeth Polgreen University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh | ||
16:00 - 17:30 | GPCE 2022/23 Most Influential PapersGPCE at Room XV Chair(s): Coen De Roover Vrije Universiteit Brussel | ||
16:00 40mTalk | GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java GPCE Sven Efftinge Gitpod GmbH, Moritz Eysholdt Gitpod GmbH, Jan Köhnlein Gitpod GmbH, Sebastian Zarnekow , Wilhelm Hasselbring Kiel University, Michael Hanus Kiel University | ||
16:40 40mTalk | GPCE 2023 Most Influential Paper - Don’t Underestimate the Importance of Experiments: The Case of Preprocessor Annotations GPCE Sandro Schulze Anhalt University of Applied Sciences, Jörg Liebig , Janet Siegmund Chemnitz University of Technology, Sven Apel Saarland University | ||
Mon 23 OctDisplayed time zone: Lisbon change
Mon 23 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 90mTutorial | GPCE Tutorial - Compile-time generative programming for OCaml: flexible, safe and efficient GPCE Jeremy Yallop University of Cambridge | ||
11:00 - 12:30 | |||
11:00 90mTalk | Coccinelle: Impact and Internals GPCE Julia Lawall Inria | ||
14:00 - 15:30 | |||
14:00 30mTalk | Crossover: Towards Compiler-enabled COBOL-C Interoperability GPCE Mart van Assen University of Twente, Manzi Aimé Ntagengerwa University of Twente, Ömer Faruk Sayilir University of Twente, Vadim Zaytsev University of Twente, Netherlands | ||
14:30 30mTalk | Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers GPCE Oscar Eriksson KTH Royal Institute of Technology, Viktor Palmkvist KTH Royal Institute of Technology, David Broman KTH Royal Institute of Technology | ||
15:00 30mTalk | Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach GPCE Camilo Correa Restrepo University of Paris 1 Pantheon-Sorbonne, Paris, France, Jacques Robin ESIEA, Paris, France, Raúl Mazo ENSTA Bretagne | ||
16:00 - 17:30 | |||
16:00 30mTalk | Virtual Domain Specific Languages via Embedded Projectional Editing GPCE | ||
16:30 30mTalk | Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits ahead GPCE Raul Medeiros University of the Basque Country (UPV/EHU), Oscar Diaz University of the Basque Country, Spain, David Benavides Universidad de Sevilla | ||
17:00 30mTalk | Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine Performance GPCE Matteo Basso Università della Svizzera italiana (USI), Switzerland, Daniele Bonetta Oracle Labs, Walter Binder USI Lugano | ||