GPCE 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
co-located with
SPLASH 2024
Toggle navigation
Attending
Venue: Hilton Pasadena
Program
GPCE Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
GPCE 2024 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
GPCE 2024
GPCE 2023
GPCE 2022
GPCE 2021
GPCE 2020
GPCE 2019
GPCE 2018
GPCE 2017
GPCE 2016
GPCE 2015
GPCE 2014
GPCE 2013
GPCE 2011
Sign in
Sign up
SPLASH 2024
(
series
) /
GPCE 2024 (
series
) /
Hilton Pasadena
/
Room information: San Marino
Venue
Hilton Pasadena
Room name
San Marino
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 Quality
GPCE 2024
at
San Marino
Chair(s):
Paul Maximilian Bittner
Paderborn University
09:00
30m
Day opening
GPCE24 Opening
GPCE 2024
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 2024
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
Link to publication
DOI
Pre-print
10:00
30m
Talk
An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
GPCE 2024
Karim Ghallab
RedFabriQ
,
Tewfik Ziadi
LIP6, Sorbonne Université
,
Zaak Chalal
RedFabriQ/Mobioos
11:00 - 12:30
Session 2 on Domain-Specific Languages
GPCE 2024
at
San Marino
Chair(s):
Oscar Nierstrasz
feenk.com
11:00
30m
Talk
Yin-Yang: Concealing the Deep Embedding of DSLs
Most Influential Paper Award
GPCE 2024
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 2024
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 2024
Pratyush Das
Purdue University
,
Anxhelo Xhebraj
NVIDIA
,
Tiark Rompf
Purdue University
14:00 - 15:30
Session 3 on Code Optimizations
GPCE 2024
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
Distinguished Research Paper Award
GPCE 2024
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 2024
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 2024
Amir Shaikhha
University of Edinburgh
16:00 - 17:30
Session 4 on Typing and Its Applications
GPCE 2024
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 2024
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 2024
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 2024
Cunyuan Gao
HKUST
,
Lionel Parreaux
HKUST (The Hong Kong University of Science and Technology)
17:20
10m
Day closing
GPCE24 Closing
GPCE 2024
Thomas Thüm
Paderborn University
,
Shigeru Chiba
University of Tokyo
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
San Marino
GPCE 2024
Session 1 on Code Quality
GPCE 2024
Session 2 on Domain-Specific Languages
GPCE 2024
Session 3 on Code Optimizations
GPCE 2024
Session 4 on Typing and Its Applications
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
Most Influential Paper Award
Yin-Yang: Concealing the Deep Embedding of DSLs
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
Distinguished Research Paper Award
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
GPCE
Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inferen ...
17:00 - 17:20
GPCE
GPCE24 Closing
17:20 - 17:30
x
Thu 21 Nov 13:16