Program - SPLASH 2024

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	Session 1 on Code QualityGPCE at IBR West

09:00 30m Day opening		GPCE24 Opening GPCE Thomas Thüm Paderborn University, Shigeru Chiba University of Tokyo
09:30 30m Talk		Automated Generation of Code Contracts - Generative AI to the Rescue? GPCE Sandra Greiner University of Southern Denmark, Noah Bühlmann University of Bern, Manuel Ohrndorf University of Bern, Christos Tsigkanos University of Athens, Greece, Oscar Nierstrasz feenk.com, Timo Kehrer University of Bern
10:00 30m Talk		An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis GPCE Karim Ghallab RedFabriQ, Tewfik Ziadi LIP6, Sorbonne Université, Zaak Chalal RedFabriQ/Mobioos

11:00 - 12:30	Session 2 on Domain-Specific LanguagesGPCE at IBR West Chair(s): Oscar Nierstrasz feenk.com

11:00 30m Talk		Yin-Yang: Concealing the Deep Embedding of DSLs (Most Influential Paper) GPCE Vojin Jovanovic Oracle Labs, Amir Shaikhha University of Edinburgh, Sandro Stucki Amazon, Vladimir Nikolaev , Christoph E. Koch EPFL, Martin Odersky EPFL
11:30 30m Talk		Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries GPCE Arkadii Gerasimov RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Judith Michael RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
12:00 30m Talk		Specializing Data Access in a Distributed File System (Generative Pearl) GPCE Pratyush Das Purdue University, Anxhelo Xhebraj Purdue University, Tiark Rompf Purdue University

14:00 - 15:30	Session 3 on Code OptimizationsGPCE at IBR West

14:00 30m Talk		Type-Safe Code Generation With Algebraic Effects and Handlers GPCE Kanaru Isoda University of Tsukuba, Ayato Yokoyama University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba
14:30 30m Talk		Hot Call-Chain Inlining for the Glasgow Haskell Compiler GPCE Celeste Hollenbeck University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh
15:00 30m Talk		Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers GPCE Amir Shaikhha University of Edinburgh

16:00 - 17:30	Session 4 on Typing and Its ApplicationsGPCE at IBR West

16:00 30m Talk		Separate Compilation and Partial Linking: Modules for Datalog IR GPCE David Klopp JGU Mainz, André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
16:30 30m Talk		On the Soundness of Auto-Completion Services for Dynamically Typed Languages GPCE Damian Frölich University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam DOI Pre-print
17:00 20m Talk		Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper) GPCE Cunyuan Gao HKUST, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
17:20 10m Day closing		GPCE24 Closing GPCE Thomas Thüm Paderborn University, Shigeru Chiba University of Tokyo

GPCE 2024 Program

This program is tentative and subject to change.

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

GPCE 2024 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change