ASA 2023
co-located with PLDI 2023
VenueOrlando World Center Marriott
Room nameMagnolia 18
Room InformationNo extra information available
Program

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

#soap-sat-magnolia18 Discord icon small YouTube icon small

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 AnalysisSOAP at Magnolia 18

#soap-sat-magnolia18 Discord icon small YouTube icon small

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 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

#soap-sat-magnolia18 Discord icon small YouTube icon small

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 AnalysisSOAP at Magnolia 18
Chair(s): Liana Hadarean Amazon Web Services

#soap-sat-magnolia18 Discord icon small YouTube icon small

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 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
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
Link to publication Pre-print
16:00 - 17:50
EGRAPHS: Binding & ExtractionEGRAPHS at Magnolia 18

#egraphs-sun-magnolia18 Discord icon small YouTube icon small

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

Sun 18 Jun

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