VenueOrlando World Center Marriott
Room nameMagnolia 18
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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 AnalysisSOAP 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 AnalysisSOAP 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 RustInvited Talk
SOAP
Ranjit Jhala University of California at San Diego
14:00 - 15:30
SOAP: Session 3 - Scalable AnalysisSOAP 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 NumberingInvited 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 AnalysisSOAP at Magnolia 18
Chair(s): Liana Hadarean Amazon Web Services
16:00
35m
Keynote
Applications of Symbolic ExecutionInvited 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: OptimizationEGRAPHS 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
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: VerificationEGRAPHS 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
16:00 - 17:50
EGRAPHS: Binding & ExtractionEGRAPHS at Magnolia 18
16:00
20m
Talk
E-graph Extraction Using ZDDs
EGRAPHS
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

Sun 18 Jun

Displayed time zone: Eastern Time (US & Canada) change