IWACO 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
co-located with
SPLASH 2024
Toggle navigation
Attending
Venue: Hilton Pasadena
Program
IWACO Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
IWACO 2024 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
IWACO 2024
IWACO 2023
IWACO 2021
IWACO 2020
IWACO 2017
IWACO 2016
Sign in
Sign up
SPLASH 2024
(
series
) /
IWACO 2024 (
series
) /
Hilton Pasadena
/
Room information: Pacific B
Venue
Hilton Pasadena
Room name
Pacific B
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
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Session 1
IWACO'24
at
Pacific B
Chair(s):
Aleksander Boruch-Gruszecki
Charles University
09:00
5m
Other
Welcome and goals of IWACO 2024
IWACO'24
Aleksander Boruch-Gruszecki
Charles University
,
Tobias Wrigstad
Uppsala University
09:05
85m
Keynote
Offer-safe Trade of Mutable Objects
IWACO'24
Mark Miller
Agoric
Media Attached
11:00 - 12:30
Session 2
IWACO'24
at
Pacific B
Chair(s):
James Noble
Independent. Wellington, NZ
11:00
30m
Talk
Capabilities, Effects, Ownership, and Behaviors
IWACO'24
Colin Gordon
Drexel University
11:30
30m
Talk
Modular Borrowing Without Ownership or Linear Types
IWACO'24
Lionel Parreaux
HKUST (The Hong Kong University of Science and Technology)
Media Attached
File Attached
12:00
30m
Talk
Substructural Information Flow via Polymorphism
IWACO'24
Hemant Gouni
Carnegie Mellon University, Pittsburgh, Pennsylvania, United States
,
Jonathan Aldrich
Carnegie Mellon University
Media Attached
File Attached
14:00 - 15:30
Session 3
IWACO'24
at
Pacific B
Chair(s):
Aleksander Boruch-Gruszecki
Charles University
14:00
60m
Keynote
Visualizing and Explaining Rust's Ownership Model
IWACO'24
Will Crichton
Brown University
File Attached
15:00
30m
Talk
Ordered Types for Typestate
IWACO'24
Peter Thiemann
University of Freiburg, Germany
16:00 - 17:30
Session 4
IWACO'24
at
Pacific B
Chair(s):
Tobias Wrigstad
Uppsala University
16:00
30m
Talk
The First Six Years in the Development of Polonius, an Improved Borrow Checker
IWACO'24
Amanda Stjerna
Uppsala university
File Attached
16:30
30m
Talk
Data-Race Safety for the Masses
IWACO'24
Holly Borla
Apple, Inc,
17:00
30m
Talk
Linearity, Uniqueness, Ownership: An Entente Cordiale
IWACO'24
Danielle Marshall
University of Glasgow
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
NSAD: Session 1
NSAD
at
Pacific B
Chair(s):
Vincenzo Arceri
University of Parma, Italy
,
Michele Pasqua
University of Verona
09:00
5m
Opening
NSAD
Vincenzo Arceri
University of Parma, Italy
,
Michele Pasqua
University of Verona
09:05
55m
Keynote
Abstract Domains for Machine Learning Verification
Keynote
NSAD
Caterina Urban
Inria - École Normale Supérieure
DOI
10:00
30m
Full-paper
Towards a High Level Linter for Data Science
Full Paper
NSAD
Greta Dolcetti
Ca’ Foscari University of Venice
,
Agostino Cortesi
Ca’ Foscari University of Venice
,
Caterina Urban
Inria - École Normale Supérieure
,
Enea Zaffanella
University of Parma
DOI
14:00 - 15:30
NSAD: Session 2
NSAD
at
Pacific B
Chair(s):
Thomas P. Jensen
INRIA Rennes
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
DOI
14:30
30m
Full-paper
C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Full Paper
NSAD
Rebecca Ghidini
TU Munich
,
Julian Erhard
LMU Munich; TU Munich
,
Michael Schwarz
TU Munich
,
Helmut Seidl
TU Munich
DOI
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
Ca’ Foscari University of Venice
,
Enea Zaffanella
University of Parma
,
Agostino Cortesi
Ca’ Foscari University of Venice
DOI
16:00 - 17:30
NSAD: Session 3
NSAD
at
Pacific B
Chair(s):
Michael Schwarz
TU Munich
16:00
30m
Short-paper
WiP: Labeled Union-Find for Constraint Factorization
Short Paper
NSAD
Matthieu Lemerre
Université Paris-Saclay - CEA LIST
,
Dorian Lesbre
Université Paris-Saclay - CEA LIST
File Attached
16:30
30m
Full-paper
Abstracting Entanglement
Full Paper
NSAD
Nicola Assolini
University of Verona
,
Alessandra Di Pierro
University of Verona
,
Isabella Mastroeni
University of Verona
DOI
17:00
10m
Closing
NSAD
Vincenzo Arceri
University of Parma, Italy
,
Michele Pasqua
University of Verona
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 B
IWACO'24
Session 1
IWACO'24
Session 2
IWACO'24
Session 3
IWACO'24
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 B
NSAD
NSAD: Session 1
NSAD
NSAD
NSAD: Session 2
NSAD
NSAD: Session 3
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 B
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
Visualizing and Explaining Rust's Ownership Model
14:00 - 15:00
IWACO
Ordered Types for Typestate
15:00 - 15:30
IWACO
The First Six Years in the Development of Polonius, an Improved Borrow ...
16:00 - 16:30
IWACO
Data-Race Safety for the Masses
16:30 - 17:00
IWACO
Linearity, Uniqueness, Ownership: An Entente Cordiale
17:00 - 17:30
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
Pacific B
NSAD
Opening
09:00 - 09:05
NSAD
Keynote
Abstract Domains for Machine Learning Verification
09:05 - 10:00
NSAD
Full Paper
Towards a High Level Linter for Data Science
10:00 - 10: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: “These Are Not the Memory Ce ...
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 22 Dec 04:14