PLDI 2023
Sat 17 - Wed 21 June 2023
Orlando, Florida, United States
Toggle navigation
Attending
Venue: Orlando World Center Marriott
Registration
Code of Conduct
Sponsorship
Visa
Volunteers
Childcare
Program
Complete Program
Your Program
Sat 17 Jun
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Tracks
PLDI 2023
PLDI Research Papers
Research Artifacts
Tutorials
Workshops and Tutorials
SRC
Volunteering
W@PLDI
SIGPLAN
Co-hosted Conferences
ISMM
LCTES
Workshops
ARRAY
ASA
CSC
CTSTA
DRAGSTERS
EGRAPHS
Infer
PLARCH
PLMW@PLDI
SOAP
Organization
PLDI 2023 Committees
Organizing Committee
Track Committees
PLDI Research Papers
Research Artifacts
Workshops and Tutorials
SRC
Volunteering
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
ASA
Organizing Committee
CSC
Organizing Committee
Program Committee
CTSTA
Organizing Committee
Program Committee
DRAGSTERS
Organizing Committee
Program Committee
EGRAPHS
Organizing Committee
Program Committee
Infer
Organizing Committee
Program Committee
PLARCH
Organizing Committee
Program Committee
PLMW@PLDI
Organizing Committee
SOAP
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2023
(
series
) /
Orlando World Center Marriott
/
Room information: Magnolia 18
Venue
Orlando World Center Marriott
Room name
Magnolia 18
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-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern 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-06: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-04: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+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Sat 17 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 11:00
SOAP: Session 1 - Static Analysis
SOAP
at
Magnolia 18
Chair(s):
Vincenzo Arceri
University of Parma, Italy
09:00
30m
Talk
Combining E-Graphs with Abstract Interpretation
SOAP
Samuel Coward
Imperial College London, UK / Intel Corporation
,
George A. Constantinides
Imperial College London, UK
,
Theo Drane
Intel Corporation, USA
09:30
30m
Talk
Static Analysis of Data Transformations in Jupyter Notebooks
SOAP
Luca Negrini
Ca’ Foscari University of Venice, Corvallis S.r.l.
,
Guruprerana Shabadi
École Polytechnique, Institut Polytechnique de Paris
,
Caterina Urban
INRIA & École Normale Supérieure | Université PSL
10:00
30m
Talk
Speeding up Static Analysis with the Split Operator
SOAP
Vincenzo Arceri
University of Parma, Italy
,
Greta Dolcetti
University of Parma - Department of Mathematical, Physical, and Computer Sciences
,
Enea Zaffanella
University of Parma, Italy
10:30
30m
Talk
When Long Jumps Fall Short - Control-Flow Tracking & Misuse Detection for Non-Local Jumps in C
SOAP
Michael Schwarz
Technische Universität München
,
Julian Erhard
Technical University of Munich
,
Vesal Vojdani
University of Tartu
,
Simmo Saan
University of Tartu, Estonia
,
Helmut Seidl
Technische Universität München
11:20 - 12:30
SOAP: Session 2 - Dynamic Analysis
SOAP
at
Magnolia 18
11:20
25m
Talk
HWASanIO: Detecting C/C++ Intra-Object Overflows with Memory Shading
SOAP
Konrad Hohentanner
Fraunhofer AISEC
,
Florian Kasten
Fraunhofer AISEC
,
Lukas Auer
Fraunhofer AISEC
11:45
45m
Keynote
Flux: Refinement types for Rust
Invited Talk
SOAP
Ranjit Jhala
University of California at San Diego
14:00 - 15:30
SOAP: Session 3 - Scalable Analysis
SOAP
at
Magnolia 18
Chair(s):
Pietro Ferrara
Università Ca' Foscari, Venezia, Italy
14:00
40m
Keynote
Sound and Precise Static Analysis using a generalization of Static Single Assignment and Value Numbering
Invited Talk
SOAP
Tucker Taft
AdaCore, United States
14:40
25m
Talk
Extensible and Scalable Architecture for Hybrid Analysis
SOAP
Marc Miltenberger
Fraunhofer SIT | ATHENE
,
Steven Arzt
Fraunhofer SIT; ATHENE
15:05
25m
Talk
User-assisted Code Query Optimization
SOAP
Ben Liblit
Amazon
,
Yingjun Lyu
Amazon
,
Rajdeep Mukherjee
Amazon
,
Omer Tripp
Amazon
,
Yanjun Wang
Amazon Web Services, USA
16:00 - 17:50
SOAP: Session 4 - Program Verification and Dynamic Analysis
SOAP
at
Magnolia 18
Chair(s):
Liana Hadarean
Amazon Web Services
16:00
35m
Keynote
Applications of Symbolic Execution
Invited Talk
SOAP
William Hallahan
Binghamton
16:35
25m
Talk
Completeness Thresholds for Memory Safety of Array Traversing Programs
SOAP
Tobias Reinhard
KU Leuven
,
Justus Fasse
Université Grenoble-Alpes; KU Leuven
,
Bart Jacobs
KU Leuven
17:00
25m
Talk
Crosys: Cross Architectural Dynamic Analysis
SOAP
Sangrok Lee
The Affiliated Institute of ETRI
,
Jieun Lee
The Affiliated Institute of ETRI
,
Jaeyong Ko
The Affiliated Institute of ETRI
,
Jaewoo Shim
The Affiliated Institute of ETRI
17:25
25m
Talk
RaceInjector: Injecting Races To Evaluate And Learn Dynamic Race Detection Algorithms
SOAP
Michael Wang
Massachusetts Institute of Technology
,
Shashank Srikant
MIT
,
Malavika Samak
CSAIL, MIT
,
Una-May O’Reilly
Massachusetts Institute of Technology
Sun 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 11:00
EGRAPHS: Optimization
EGRAPHS
at
Magnolia 18
09:40
20m
Talk
Optimizing Stateful Dataflow with Local Rewrites
EGRAPHS
Shadaj Laddad
University of California at Berkeley
,
Conor Power
University of California at Berkeley
,
Tyler Hou
University of California, Berkeley
,
Alvin Cheung
University of California at Berkeley
,
Joseph M. Hellerstein
University of California, Berkeley
10:00
20m
Talk
Egg-smol Python: A Pythonic Library for E-graphs
EGRAPHS
Saul Shanabrook
Pre-print
10:20
20m
Talk
egglog In Practice: Automatically Improving Floating-point Error
EGRAPHS
Oliver Flatt
University of Washington
,
Yihong Zhang
University of Washington
10:40
20m
Talk
Automating Constraint-Aware Datapath Optimization using E-Graphs
EGRAPHS
Samuel Coward
Imperial College London, UK / Intel Corporation
,
George A. Constantinides
Imperial College London, UK
,
Theo Drane
Intel Corporation, USA
11:20 - 12:30
EGRAPHS: Verification
EGRAPHS
at
Magnolia 18
11:20
20m
Talk
KestRel: Relational Verification using E-Graphs for Program Alignment
EGRAPHS
Robert Dickerson
Purdue University
,
Benjamin Delaware
Purdue University
11:40
20m
Talk
Ensuring the termination of equality saturation for terminating term rewriting systems
EGRAPHS
Yihong Zhang
University of Washington
,
Oliver Flatt
University of Washington
12:00
20m
Talk
Partially Complete Quantifier Elimination
EGRAPHS
Isabel Garcia-Contreras
University of Waterloo
,
Hari Govind V K
University of Waterloo
,
Sharon Shoham
Tel Aviv University
,
Arie Gurfinkel
University of Waterloo
14:00 - 15:30
EGRAPHS: Invited Talk
EGRAPHS
at
Magnolia 18
14:00
60m
Keynote
ægraphs: Acyclic E-graphs for Efficient Optimization in a Production Compiler
Invited Talk
EGRAPHS
Chris Fallin
Fastly
16:00 - 17:50
EGRAPHS: Binding & Extraction
EGRAPHS
at
Magnolia 18
16:00
20m
Talk
E-graph Extraction Using ZDDs
EGRAPHS
Eli Rosenthal
Google
16:20
20m
Talk
Improving Term Extraction with Acyclic Constraints
EGRAPHS
Deyuan (Mike) He
Princeton University
,
Haichen Dong
Princeton University
,
Sharad Malik
Princeton University
,
Aarti Gupta
Princeton University
16:40
20m
Talk
Optimizing bindings in e-graphs
EGRAPHS
Emmanuel Anaya-Gonzalez
UCSD
,
Cole Kurashige
UCSD
,
Aditya Giridharan
UCSD
,
Nadia Polikarpova
University of California at San Diego
Sat 17 Jun
Displayed time zone:
Eastern 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
Magnolia 18
SOAP
SOAP: Session 1 - Static Analysis
SOAP
SOAP: Session 2 - Dynamic Analysis
SOAP
SOAP: Session 3 - Scalable Analysis
SOAP
SOAP: Session 4 - Program Verification and Dynamic Analysis
Sun 18 Jun
Displayed time zone:
Eastern 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
Magnolia 18
EGRAPHS
EGRAPHS: Optimization
EGRAPHS
EGRAPHS: Verification
EGRAPHS
EGRAPHS: Invited Talk
EGRAPHS
EGRAPHS: Binding & Extraction
Sat 17 Jun
Displayed time zone:
Eastern 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
Magnolia 18
SOAP
Combining E-Graphs with Abstract Interpretation
09:00 - 09:30
SOAP
Static Analysis of Data Transformations in Jupyter Notebooks
09:30 - 10:00
SOAP
Speeding up Static Analysis with the Split Operator
10:00 - 10:30
SOAP
When Long Jumps Fall Short - Control-Flow Tracking & Misuse Detection f ...
10:30 - 11:00
SOAP
HWASanIO: Detecting C/C++ Intra-Object Overflows with Memory Shading
11:20 - 11:45
SOAP
Invited Talk
Flux: Refinement types for Rust
11:45 - 12:30
SOAP
Invited Talk
Sound and Precise Static Analysis using a generalization of Static Sing ...
14:00 - 14:40
SOAP
Extensible and Scalable Architecture for Hybrid Analysis
14:40 - 15:05
SOAP
User-assisted Code Query Optimization
15:05 - 15:30
SOAP
Invited Talk
Applications of Symbolic Execution
16:00 - 16:35
SOAP
Completeness Thresholds for Memory Safety of Array Traversing Programs
16:35 - 17:00
SOAP
Crosys: Cross Architectural Dynamic Analysis
17:00 - 17:25
SOAP
RaceInjector: Injecting Races To Evaluate And Learn Dynamic Race Detect ...
17:25 - 17:50
Sun 18 Jun
Displayed time zone:
Eastern 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
Magnolia 18
EGRAPHS
Optimizing Stateful Dataflow with Local Rewrites
09:40 - 10:00
EGRAPHS
Egg-smol Python: A Pythonic Library for E-graphs
10:00 - 10:20
EGRAPHS
egglog In Practice: Automatically Improving Floating-point Error
10:20 - 10:40
EGRAPHS
Automating Constraint-Aware Datapath Optimization using E-Graphs
10:40 - 11:00
EGRAPHS
KestRel: Relational Verification using E-Graphs for Program Alignment
11:20 - 11:40
EGRAPHS
Ensuring the termination of equality saturation for terminating term re ...
11:40 - 12:00
EGRAPHS
Partially Complete Quantifier Elimination
12:00 - 12:20
EGRAPHS
Invited Talk
ægraphs: Acyclic E-graphs for Efficient Optimization in a Production Co ...
14:00 - 15:00
EGRAPHS
E-graph Extraction Using ZDDs
16:00 - 16:20
EGRAPHS
Improving Term Extraction with Acyclic Constraints
16:20 - 16:40
EGRAPHS
Optimizing bindings in e-graphs
16:40 - 17:00
x
Tue 30 May 06:00