SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameRoom XV
Capacity100
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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
GPCE keynoteGPCE at Room XV
11:00
90m
Keynote
Keynote
GPCE

14:00 - 15:30
Session 1GPCE at Room XV
14:00
30m
Talk
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages
GPCE
Christoph Hochrainer Technical University of Vienna, 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 Poulsen Delft University of Technology, Aron Zwaan Delft University of Technology, Paul Hübner Delft University of Technology
15:00
30m
Talk
PC report
GPCE
Amir Shaikhha University of Edinburgh

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Session 2GPCE at Room XV
09: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
09:30
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
10:00
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
11:00 - 12:30
GPCE/SLE KeynoteGPCE at Room XV
11:00
90m
Talk
Keynote
GPCE

14:00 - 15:30
Session 3GPCE at Room XV
14:00
30m
Talk
Multi-Stage Vertex-Centric Programming for Agent-Based Simulations
GPCE
14:30
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
15:00
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
16:00 - 17:30
Session 4GPCE at Room XV
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

16:00 - 17:30
Beyond the LanguageDLS at Room XV
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

Wed 25 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Interactive IntroductionsSPLASH-E at Room XV
09:00
45m
Day opening
Just-In-Time Introductions
SPLASH-E

09:45
45m
Talk
Non-Archival Presentations
SPLASH-E

11:00 - 12:30
Papers & Group DiscussionSPLASH-E at Room XV
11:00
30m
Talk
Teaching Programming with Graphics: Pitfalls and a Solution
SPLASH-E
Luca Chiodini USI Lugano, Juha Sorva Aalto University, Matthias Hauswirth USI Lugano
11:30
30m
Talk
KOGI: A Seamless Integration of ChatGPT into Jupyter Environments for Programming Education
SPLASH-E
Kimio Kuramitsu Japan Women's University, Yui Obara Japan Women's University, Miyu Sato Japan Women's University, Momoka Obara Japan Women's University
12:00
30m
Talk
A Framework for the Localization of Programming Languages
SPLASH-E
Alaaeddin Swidan Open University of the Netherlands, The Netherlands, Felienne Hermans Vrije Universiteit Amsterdam
14:00 - 15:30
Re-Introductions & PapersSPLASH-E at Room XV
14:00
30m
Day opening
Just-In-Time Introductions
SPLASH-E

14:30
30m
Talk
Composing Turing Machines in FSM
SPLASH-E
Marco T Morazan Seton Hall University
15:00
30m
Talk
Witter: A Library for White-Box Testing of Introductory Programming Algorithms
SPLASH-E
Afonso Caniço Iscte - Instituto Universitário de Lisboa, André L. Santos University Institute of Lisbon, Portugal
16:00 - 17:30
Papers & Future DiscussionSPLASH-E at Room XV
16:00
30m
Talk
Centering Humans in the Programming Languages Classroom: Building a Text for the Next GenerationRemote
SPLASH-E
Rose Bohrer Worcester Polytechnic Institute
16:30
30m
Talk
Exploring Engagement and Self-Efficacy in an Introductory Computer Science CourseRemote
SPLASH-E
Rory Kelly University of British Columbia, Meghan Allen University of British Columbia
17:00
30m
Day closing
Past, Present & Future of SPLASH-E Discussion
SPLASH-E

Sun 22 Oct

Displayed time zone: Lisbon change

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

Mon 23 Oct

Displayed time zone: Lisbon change

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

Tue 24 Oct

Displayed time zone: Lisbon change

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

Wed 25 Oct

Displayed time zone: Lisbon change

Sun 22 Oct

Displayed time zone: Lisbon change