VMIL 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
co-located with
SPLASH 2024
Toggle navigation
Attending
Venue: Hilton Pasadena
Program
VMIL Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
VMIL 2024 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
VMIL 2024
VMIL 2023
VMIL 2022
VMIL 2021
VMIL 2020
VMIL 2019
VMIL 2018
VMIL 2017
VMIL 2016
VMIL 2012
VMIL 2011
Sign in
Sign up
SPLASH 2024
(
series
) /
VMIL 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
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
Link to publication
DOI
Pre-print
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 Languages
GPCE
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
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 Optimizations
GPCE
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
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 Applications
GPCE
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)
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
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
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
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 14:51