ISMM 2023
Sun 18 Jun 2023
Orlando, Florida, United States
co-located with
PLDI 2023
Toggle navigation
Attending
Venue: Orlando World Center Marriott
PLDI 2023
PLDI'23 Attendee's Guide
Registration
Code of Conduct
Sponsorship
Visa
Volunteers
Childcare
Program
ISMM Program
Your Program
Sun 18 Jun
Track/Call
Organization
ISMM 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2023
(
series
) /
ISMM 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
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+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+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
#soap-sat-magnolia18
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
DOI
09:30
30m
Talk
Static Analysis of Data Transformations in Jupyter Notebooks (Virtual)
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
DOI
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
DOI
10:30
30m
Talk
When Long Jumps Fall Short: Control-Flow Tracking and 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
DOI
Media Attached
11:20 - 12:30
SOAP: Session 2 - Dynamic Analysis
SOAP
at
Magnolia 18
#soap-sat-magnolia18
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
DOI
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
#soap-sat-magnolia18
14:00
40m
Keynote
Sound and Precise Static Analysis using a generalization of Static Single Assignment and Value Numbering (Virtual)
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
DOI
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
DOI
16:00 - 17:50
SOAP: Session 4 - Program Verification and Dynamic Analysis
SOAP
at
Magnolia 18
Chair(s):
Liana Hadarean
Amazon Web Services
#soap-sat-magnolia18
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
KU Leuven
,
Bart Jacobs
KU Leuven
DOI
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
DOI
17:25
25m
Talk
RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms (Virtual)
SOAP
Michael Wang
Massachusetts Institute of Technology
,
Shashank Srikant
MIT
,
Malavika Samak
CSAIL, MIT
,
Una-May O’Reilly
Massachusetts Institute of Technology
DOI
Sun 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 11:00
EGRAPHS: Optimization
EGRAPHS
at
Magnolia 18
#egraphs-sun-magnolia18
09: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
Pre-print
File Attached
10:00
20m
Talk
egglog In Practice: Automatically Improving Floating-point Error
EGRAPHS
Oliver Flatt
University of Washington
,
Yihong Zhang
University of Washington
10:20
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
Pre-print
File Attached
10:40
20m
Talk
Egg-smol Python: A Pythonic Library for E-graphs
EGRAPHS
Saul Shanabrook
Link to publication
Pre-print
11:20 - 12:30
EGRAPHS: Verification
EGRAPHS
at
Magnolia 18
#egraphs-sun-magnolia18
11:20
20m
Talk
KestRel: Relational Verification using E-Graphs for Program Alignment
EGRAPHS
Robert Dickerson
Purdue University
,
Benjamin Delaware
Purdue University
File Attached
11:40
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
Pre-print
File Attached
12:00
20m
Talk
Ensuring the termination of equality saturation for terminating term rewriting systems
EGRAPHS
Yihong Zhang
University of Washington
,
Oliver Flatt
University of Washington
Link to publication
Pre-print
File Attached
14:00 - 15:30
EGRAPHS: Invited Talks
EGRAPHS
at
Magnolia 18
#egraphs-sun-magnolia18
14:00
60m
Keynote
ægraphs: Acyclic E-graphs for Efficient Optimization in a Production Compiler
Invited Talk
EGRAPHS
Chris Fallin
Fastly
Media Attached
15:00
30m
Keynote
Building an SQL Optimizer with Egg
Invited Talk
Virtual
EGRAPHS
Runji Wang
RisingWave Labs
16:00 - 17:50
EGRAPHS: Binding & Extraction
EGRAPHS
at
Magnolia 18
#egraphs-sun-magnolia18
16:00
20m
Talk
Optimizing Beta-Reduction in E-Graphs
EGRAPHS
Emmanuel Anaya Gonzalez
UCSD
,
Cole Kurashige
UCSD
,
Aditya Giridharan
UCSD
,
Nadia Polikarpova
University of California at San Diego
File Attached
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
File Attached
16:40
20m
Talk
E-graph Extraction Using ZDDs
EGRAPHS
Eli Rosenthal
Google
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 Talks
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 (Virtual)
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 and Misuse Detection ...
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
Automating Constraint-Aware Datapath Optimization using E-Graphs
09:40 - 10:00
EGRAPHS
egglog In Practice: Automatically Improving Floating-point Error
10:00 - 10:20
EGRAPHS
Optimizing Stateful Dataflow with Local Rewrites
10:20 - 10:40
EGRAPHS
Egg-smol Python: A Pythonic Library for E-graphs
10:40 - 11:00
EGRAPHS
KestRel: Relational Verification using E-Graphs for Program Alignment
11:20 - 11:40
EGRAPHS
Partially Complete Quantifier Elimination
11:40 - 12:00
EGRAPHS
Ensuring the termination of equality saturation for terminating term re ...
12:00 - 12:20
EGRAPHS
Invited Talk
ægraphs: Acyclic E-graphs for Efficient Optimization in a Production Co ...
14:00 - 15:00
EGRAPHS
Invited Talk
Virtual
Building an SQL Optimizer with Egg
15:00 - 15:30
EGRAPHS
Optimizing Beta-Reduction in E-Graphs
16:00 - 16:20
EGRAPHS
Improving Term Extraction with Acyclic Constraints
16:20 - 16:40
EGRAPHS
E-graph Extraction Using ZDDs
16:40 - 17:00
x
Thu 21 Nov 13:19