SLE 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
co-located with
SPLASH 2024
Toggle navigation
Attending
Venue: Hilton Pasadena
Program
Complete Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
SLE 2024 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
SLE 2024
SLE 2023
SLE 2022
SLE 2021
SLE 2020
SLE 2019
SLE 2018
SLE 2017
SLE 2016
SLE 2015
SLE 2013
Sign in
Sign up
SPLASH 2024
(
series
) /
SLE 2024 (
series
) /
Hilton Pasadena
/
Room information: Pacific C
Venue
Hilton Pasadena
Room name
Pacific C
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
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
Sun 20 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Session 1 - (JIT) Compilers
VMIL
at
Pacific C
09:00
10m
Day opening
Opening Remarks
VMIL
09:15
30m
Research paper
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
VMIL
Yen-Fu Chen
National Cheng Kung University
,
Meng-Hung Chen
National Cheng Kung University
,
Ching-Chun Huang
National Cheng Kung University
,
Chia-Heng Tu
National Cheng Kung University
09:45
30m
Research paper
An Analysis of Compiled Code Reusability in Dynamic Compilation
VMIL
Andrej Pečimúth
Oracle Labs; Charles University
,
David Leopoldseder
Oracle Labs
,
Petr Tuma
Charles University
10:15
15m
Experience report
Inlined Code Generation for Smalltalk
VMIL
Dave Mason
Toronto Metropolitan University (formerly Ryerson University)
,
Daniel Franklin
Toronto Metropolitan University
11:00 - 12:30
Keynote Session
VMIL
at
Pacific C
11:00
60m
Keynote
A tour of CPython's runtime
VMIL
K:
Brandt Bucher
Microsoft
14:00 - 15:30
Session 2 - Language Implementation
VMIL
at
Pacific C
14:00
30m
Research paper
Smarter Contract Upgrades with Orthogonal Persistence
VMIL
Luc Bläser
DFINITY Foundation
,
Claudio Russo
Dfinity
,
Gabor Greif
DFINITY
,
Ryan Vandersmith
DFINITY Foundation
,
Jason Ibrahim
DFINITY Foundation
14:30
30m
Research paper
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
VMIL
Xiaowen Hu
The University of Sydney
,
David Zhao
RelationalAI
,
Bernhard Scholz
University of Sydney
DOI
15:00
15m
Short-paper
The Fuzion Intermediate Representation
VMIL
Fridtjof Siebert
Tokiwa Software GmbH
,
Michael Lill
Tokiwa Software GmbH
15:15
15m
Short-paper
An Effectively Ω(c) Language and Runtime
VMIL
Mark Marron
University of Kentucky
Pre-print
16:00 - 17:30
Session 3 - Performance Tuning
VMIL
at
Pacific C
16:00
30m
Research paper
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
VMIL
Christoph Pichler
Johannes Kepler University Linz
,
Paley Li
Oracle
,
Roland Schatz
Oracle Labs
,
Hanspeter Mössenböck
JKU Linz
DOI
Pre-print
16:30
30m
Research paper
Performant Bounds Checking for 64-Bit WebAssembly
VMIL
Lukas Döllerer
TU Munich
,
Alexis Engelke
TU Munich
17:00
30m
Research paper
Reducing Feedback Pollution
VMIL
Michal Stepanek
Czech Technical University
,
Sebastián Krynski
Czech Technical University in Prague
,
Filip Riha
Czech Technical University
,
Filip Křikava
Czech Technical University in Prague
,
Jan Vitek
Northeastern University
DOI
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Session 1
IWACO
at
Pacific C
Chair(s):
Aleksander Boruch-Gruszecki
EPFL
09:00
5m
Other
Welcome and goals of IWACO 2024
IWACO
Aleksander Boruch-Gruszecki
EPFL
,
Tobias Wrigstad
Uppsala University
09:05
85m
Keynote
Offer-safe Trade of Mutable Objects
IWACO
Mark Miller
Agoric
11:00 - 12:30
Session 2
IWACO
at
Pacific C
Chair(s):
James Noble
Independent. Wellington, NZ
11:00
30m
Talk
Capabilities, Effects, Ownership, and Behaviors
IWACO
Colin Gordon
Drexel University
11:30
30m
Talk
Modular Borrowing Without Ownership or Linear Types
IWACO
Lionel Parreaux
HKUST (The Hong Kong University of Science and Technology)
12:00
30m
Talk
Substructural Information Flow via Polymorphism
IWACO
Hemant Gouni
Carnegie Mellon University, Pittsburgh, Pennsylvania, United States
,
Jonathan Aldrich
Carnegie Mellon University
14:00 - 15:30
Session 3
IWACO
at
Pacific C
14:00
30m
Talk
Ordered Types for Typestate
IWACO
Peter Thiemann
University of Freiburg, Germany
14:30
30m
Talk
Data-Race Safety for the Masses
IWACO
Holly Borla
Apple, Inc,
15:00
30m
Talk
Linearity, Uniqueness, Ownership: An Entente Cordiale
IWACO
Danielle Marshall
University of Glasgow
16:00 - 17:30
Session 4
IWACO
at
Pacific C
Chair(s):
Tobias Wrigstad
Uppsala University
16:00
30m
Talk
The First Six Years in the Development of Polonius, an Improved Borrow Checker
IWACO
Amanda Stjerna
Uppsala university
16:30
60m
Keynote
Visualizing and Explaining Rust's Ownership Model
IWACO
Will Crichton
Brown University
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
11:00 - 12:30
NSAD: Session 1
NSAD
at
Pacific C
11:00
5m
Opening
NSAD
Vincenzo Arceri
University of Parma, Italy
,
Michele Pasqua
University of Verona
11:05
55m
Keynote
Abstract Domains for Machine Learning Verification
NSAD
Caterina Urban
Inria & École Normale Supérieure | Université PSL
12:00
30m
Full-paper
Towards a High Level Linter for Data Science
Full Paper
NSAD
Greta Dolcetti
Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and Statistics
,
Agostino Cortesi
Università Ca' Foscari Venezia
,
Caterina Urban
Inria & École Normale Supérieure | Université PSL
,
Enea Zaffanella
University of Parma, Italy
14:00 - 15:30
NSAD: Session 2
NSAD
at
Pacific C
14:00
30m
Full-paper
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
Full Paper
NSAD
Anthony Dario
University of Oregon
,
Samuel D. Pollard
Sandia National Laboratories
14:30
30m
Full-paper
C-2PO: A Weakly Relational Pointer Domain
Full Paper
NSAD
Rebecca Ghidini
Technical University of Munich
,
Julian Erhard
Technical University of Munich
,
Michael Schwarz
Technische Universität München
,
Helmut Seidl
Technische Universität München
15:00
30m
Full-paper
Stability: an Abstract Domain for the Trend of Variation of Numerical Variables
Full Paper
NSAD
Luca Negrini
Ca’ Foscari University of Venice
,
Sofia Presotto
Ca' Foscari University of Venice
,
Pietro Ferrara
Università Ca' Foscari, Venezia, Italy
,
Enea Zaffanella
University of Parma, Italy
,
Agostino Cortesi
Università Ca' Foscari Venezia
16:00 - 17:30
NSAD: Session 3
NSAD
at
Pacific C
16:00
30m
Short-paper
WiP: Labeled Union-Find for Constraint Factorization
Short Paper
NSAD
Matthieu Lemerre
Université Paris-Saclay - CEA LIST
,
Dorian Lesbre
CEA List
16:30
30m
Full-paper
Abstracting Entanglement
Full Paper
NSAD
Nicola Assolini
Università degli Studi di Verona
,
Alessandra Di Pierro
University of Verona, Italy
,
Isabella Mastroeni
University of Verona, Italy
17:00
10m
Closing
NSAD
Vincenzo Arceri
University of Parma, Italy
,
Michele Pasqua
University of Verona
Sun 20 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
Pacific C
VMIL
Session 1 - (JIT) Compilers
VMIL
Keynote Session
SPLASH DEI Activities
VMIL
Session 2 - Language Implementation
VMIL
Session 3 - Performance Tuning
Mon 21 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
Pacific C
IWACO
Session 1
IWACO
Session 2
SPLASH DEI Activities
IWACO
Session 3
IWACO
Session 4
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
Pacific C
NSAD
NSAD
NSAD: Session 1
SPLASH DEI Activities
NSAD
NSAD: Session 2
NSAD
NSAD: Session 3
Sun 20 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
Pacific C
VMIL
Opening Remarks
09:00 - 09:10
VMIL
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
09:15 - 09:45
VMIL
An Analysis of Compiled Code Reusability in Dynamic Compilation
09:45 - 10:15
VMIL
Inlined Code Generation for Smalltalk
10:15 - 10:30
VMIL
A tour of CPython's runtime
11:00 - 12:00
VMIL
Smarter Contract Upgrades with Orthogonal Persistence
14:00 - 14:30
VMIL
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
14:30 - 15:00
VMIL
The Fuzion Intermediate Representation
15:00 - 15:15
VMIL
An Effectively Ω(c) Language and Runtime
15:15 - 15:30
VMIL
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compil ...
16:00 - 16:30
VMIL
Performant Bounds Checking for 64-Bit WebAssembly
16:30 - 17:00
VMIL
Reducing Feedback Pollution
17:00 - 17:30
Mon 21 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
Pacific C
IWACO
Welcome and goals of IWACO 2024
09:00 - 09:05
IWACO
Offer-safe Trade of Mutable Objects
09:05 - 10:30
IWACO
Capabilities, Effects, Ownership, and Behaviors
11:00 - 11:30
IWACO
Modular Borrowing Without Ownership or Linear Types
11:30 - 12:00
IWACO
Substructural Information Flow via Polymorphism
12:00 - 12:30
IWACO
Ordered Types for Typestate
14:00 - 14:30
IWACO
Data-Race Safety for the Masses
14:30 - 15:00
IWACO
Linearity, Uniqueness, Ownership: An Entente Cordiale
15:00 - 15:30
IWACO
The First Six Years in the Development of Polonius, an Improved Borrow ...
16:00 - 16:30
IWACO
Visualizing and Explaining Rust's Ownership Model
16:30 - 17:30
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
Pacific C
NSAD
Opening
11:00 - 11:05
NSAD
Abstract Domains for Machine Learning Verification
11:05 - 12:00
NSAD
Full Paper
Towards a High Level Linter for Data Science
12:00 - 12:30
NSAD
Full Paper
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
14:00 - 14:30
NSAD
Full Paper
C-2PO: A Weakly Relational Pointer Domain
14:30 - 15:00
NSAD
Full Paper
Stability: an Abstract Domain for the Trend of Variation of Numerical V ...
15:00 - 15:30
NSAD
Short Paper
WiP: Labeled Union-Find for Constraint Factorization
16:00 - 16:30
NSAD
Full Paper
Abstracting Entanglement
16:30 - 17:00
NSAD
Closing
17:00 - 17:10
x
Sun 6 Oct 10:06