SPLASH 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
SPLASH 2024 (series) / Hilton Pasadena /

Room information: San Marino

VenueHilton Pasadena
Room nameSan Marino
Floor0
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

Tue 22 Oct

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

09:00 - 10:30
Session 1 on Code QualityGPCE at San Marino
Chair(s): Paul Maximilian Bittner Paderborn University
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 San Marino
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 NVIDIA, Tiark Rompf Purdue University
14:00 - 15:30
Session 3 on Code OptimizationsGPCE at San Marino
Chair(s): Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
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 San Marino
Chair(s): Jeff Smits Delft University of Technology
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)Reusable ArtifactAvailable Artifact
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

Tue 22 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
San Marino

GPCE

Session 1 on Code Quality

GPCE

Session 2 on Domain-Specific Languages

GPCE

Session 3 on Code Optimizations

GPCE

Session 4 on Typing and Its Applications

Tue 22 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
San Marino
GPCE
GPCE24 Opening
09:00 - 09:30
GPCE
Automated Generation of Code Contracts - Generative AI to the Rescue?
09:30 - 10:00
GPCE
An Extensible Feature-Oriented Approach for Fine-Grained Code Quality A ...
10:00 - 10:30
GPCE
Yin-Yang: Concealing the Deep Embedding of DSLs (Most Influential Paper)
11:00 - 11:30
GPCE
Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries
11:30 - 12:00
GPCE
Specializing Data Access in a Distributed File System (Generative Pearl)
12:00 - 12:30
GPCE
Type-Safe Code Generation With Algebraic Effects and Handlers
14:00 - 14:30
GPCE
Hot Call-Chain Inlining for the Glasgow Haskell Compiler
14:30 - 15:00
GPCE
Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapi ...
15:00 - 15:30
GPCE
Separate Compilation and Partial Linking: Modules for Datalog IR
16:00 - 16:30
GPCE
On the Soundness of Auto-Completion Services for Dynamically Typed Lang ...
16:30 - 17:00
GPCEReusable ArtifactAvailable Artifact
Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inferen ...
17:00 - 17:20
GPCE
GPCE24 Closing
17:20 - 17:30