SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
SPLASH 2023 (series) / Hotel Cascais Miragem /

Room information: Room XV

VenueHotel Cascais Miragem
Room nameRoom XV
Capacity100
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 22 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
Session 1GPCE at Room XV
Chair(s): Amir Shaikhha University of Edinburgh
11:00
30m
Talk
GPCE Welcome by Chairs
GPCE
Amir Shaikhha University of Edinburgh, Coen De Roover Vrije Universiteit Brussel
11:30
30m
Talk
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
30m
Talk
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
30m
Talk
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages
GPCE
Christoph Hochrainer TU Wien, Andreas Krall Vienna University of Technology, Austria
14:30
30m
Talk
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
30m
Talk
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
40m
Talk
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
40m
Talk
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 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
GPCE TutorialGPCE at Room XV
Chair(s): Sebastian Erdweg JGU Mainz
09:00
90m
Tutorial
GPCE Tutorial - Compile-time generative programming for OCaml: flexible, safe and efficient
GPCE
Jeremy Yallop University of Cambridge
11:00 - 12:30
GPCE/SLE KeynoteGPCE at Room XV
11:00
90m
Talk
Coccinelle: Impact and Internals
GPCE
Julia Lawall Inria
14:00 - 15:30
Session 3GPCE at Room XV
Chair(s): Zilu Tian EPFL
14:00
30m
Talk
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
30m
Talk
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
30m
Talk
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
Session 4GPCE at Room XV
Chair(s): Casper Bach Delft University of Technology
16:00
30m
Talk
Virtual Domain Specific Languages via Embedded Projectional Editing
GPCE
Niklas Korz Alugha GmbH, Artur Andrzejak Heidelberg University
16:30
30m
Talk
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
30m
Talk
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

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Looking OutwardDLS at Room XV
Chair(s): Stefan Marr University of Kent
09:00
30m
Talk
Is Polyglot Programming Really a Thing?
DLS
Walter Cazzola Università degli Studi di Milano
09:30
30m
Talk
The importance of facing outwards: why dynamic languages can and should address the world
DLS
Stephen Kell King's College London
10:00
30m
Talk
Going Static, Gradually: Semantic Soundness and Telling the Truth at Scale
DLS
Maxwell Heiber Meta
11:00 - 12:30
Looking InwardDLS at Room XV
Chair(s): Manuel Serrano Inria; University of Côte d'Azur
11:00
30m
Talk
All Languages are Dynamic
DLS
James Noble Research & Programming
11:30
30m
Talk
Are we Heading Towards a Dynamic Language Winter?
DLS
Maxime Chevalier-Boisvert Shopify
12:00
30m
Talk
Prof. Strangelove or: How I Learned to Stop Worrying and Love Dynamic Languages
DLS
Jan Vitek Northeastern University
14:00 - 15:30
The Future of RuntimesDLS at Room XV
Chair(s): Juan Fumero University of Manchester
14:00
30m
Talk
JITs are Nice, but Why Aren’t We Using Them?
DLS
Kevin Menard Shopify
14:30
30m
Talk
Keeping the asm in Wasm – Running high-level languages on a low-level VM
DLS
Andreas Rossberg Independent
15:00
30m
Talk
Language Runtimes for the New Cloud Era
DLS
Rodrigo Bruno INESC-ID - IST-ULisboa
16:00 - 17:30
Beyond the LanguageDLS at Room XV
Chair(s): Stefan Marr University of Kent
16:00
30m
Talk
Programming Languages for AI Programing Agents
DLS
Mark Marron University of Kentucky
16:30
30m
Talk
The Bright Future of Debuggers: Challenges and Opportunities
DLS
Christophe Scholliers Universiteit Gent, Belgium
17:00
5m
Awards
Most Notable Paper Award
DLS
Stefan Marr University of Kent

Sun 22 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XV

GPCE

GPCE

Session 1

GPCE

Session 2

GPCE

GPCE 2022/23 Most Influential Papers

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XV

GPCE

GPCE Tutorial

GPCE

GPCE/SLE Keynote

GPCE

Session 3

GPCE

Session 4

Tue 24 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XV

DLS

Looking Outward

DLS

Looking Inward

DLS

The Future of Runtimes

DLS

Beyond the Language

Sun 22 Oct

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XV
GPCE
GPCE Welcome by Chairs
11:00 - 11:30
GPCE
Generating Conforming Programs With Xsmith
11:30 - 12:00
GPCE
Multi-Stage Vertex-Centric Programming for Agent-Based Simulations
12:00 - 12:30
GPCE
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture ...
14:00 - 14:30
GPCE
A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
14:30 - 15:00
GPCE
C2TACO: Lifting Tensor Code to TACO
15:00 - 15:30
GPCE
GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific ...
16:00 - 16:40
GPCE
GPCE 2023 Most Influential Paper - Don’t Underestimate the Importance o ...
16:40 - 17:20

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XV
GPCE
GPCE Tutorial - Compile-time generative programming for OCaml: flexible ...
09:00 - 10:30
GPCE
Coccinelle: Impact and Internals
11:00 - 12:30
GPCE
Crossover: Towards Compiler-enabled COBOL-C Interoperability
14:00 - 14:30
GPCE
Partial Evaluation of Automatic Differentiation for Differential-Algebr ...
14:30 - 15:00
GPCE
Generating Constraint Programs for Variability Model Reasoning: A DSL a ...
15:00 - 15:30
GPCE
Virtual Domain Specific Languages via Embedded Projectional Editing
16:00 - 16:30
GPCE
Unleashing the Power of Implicit Feedback in Software Product Lines: Be ...
16:30 - 17:00
GPCE
Automatically Generated Supernodes for AST Interpreters Improve Virtual ...
17:00 - 17:30

Tue 24 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XV
DLS
Is Polyglot Programming Really a Thing?
09:00 - 09:30
DLS
The importance of facing outwards: why dynamic languages can and should ...
09:30 - 10:00
DLS
Going Static, Gradually: Semantic Soundness and Telling the Truth at Scale
10:00 - 10:30
DLS
All Languages are Dynamic
11:00 - 11:30
DLS
Are we Heading Towards a Dynamic Language Winter?
11:30 - 12:00
DLS
Prof. Strangelove or: How I Learned to Stop Worrying and Love Dynamic L ...
12:00 - 12:30
DLS
JITs are Nice, but Why Aren’t We Using Them?
14:00 - 14:30
DLS
Keeping the asm in Wasm – Running high-level languages on a low-level VM
14:30 - 15:00
DLS
Language Runtimes for the New Cloud Era
15:00 - 15:30
DLS
Programming Languages for AI Programing Agents
16:00 - 16:30
DLS
The Bright Future of Debuggers: Challenges and Opportunities
16:30 - 17:00
DLS
Most Notable Paper Award
17:00 - 17:05