SPLASH 2023 (series) / SAS 2023 (series) /
SAS 2023 Program
This is the SAS 2023 program - see the full program for SPLASH 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 22 OctDisplayed time zone: Lisbon change
Sun 22 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | Session 1SAS 2023 at Room I Chair(s): Caterina Urban Inria & École Normale Supérieure | Université PSL | ||
09:00 5m | Opening SAS 2023 Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute, José Morales IMDEA Software Institute Pre-print | ||
09:05 60mKeynote | Goal-Directed Abstract Interpretation and Event-Driven FrameworksKeynote SAS 2023 Pre-print | ||
10:05 30mTalk | A Product of Shape and Sequence Abstractions (Radhia Cousot Young Researcher Best Paper Award) SAS 2023 Josselin Giet Ecole Normale Supérieure, Félix Ridoux Univ Rennes / IMDEA Software Institute, Xavier Rival Inria; ENS; CNRS; PSL University Pre-print | ||
11:00 - 12:30 | Domain precisionSAS 2023 at Room I Chair(s): Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon | ||
11:00 30mTalk | How fitting is your abstract domain? SAS 2023 Roberto Giacobazzi University of Arizona, Isabella Mastroeni University of Verona, Italy, Elia Perantoni University of Verona Pre-print | ||
11:30 30mTalk | Domain Precision in Galois Connection-less Abstract Interpretation SAS 2023 Pre-print | ||
12:00 30mTalk | A Formal Framework to Measure the Incompleteness of Abstract Interpretations SAS 2023 Marco Campion INRIA & École Normale Supérieure | Université PSL, Caterina Urban Inria & École Normale Supérieure | Université PSL, Mila Dalla Preda University of Verona, Roberto Giacobazzi University of Arizona Pre-print | ||
14:00 - 15:30 | |||
14:00 30mTalk | Generalized Program Sketching by Abstract Interpretation and Logical Abduction SAS 2023 Aleksandar S. Dimovski Mother Teresa University, Skopje Pre-print File Attached | ||
14:30 30mTalk | Reverse Template Processing using Abstract Interpretation SAS 2023 Matthieu Lemerre Université Paris-Saclay - CEA LIST Pre-print | ||
15:00 30mTalk | BREWasm: A General Static Binary Rewriting Framework for WebAssemblyRemote SAS 2023 Shangtong Cao Beijing University of Posts and Telecommunications, Ningyu He Peking University, Yao Guo Peking University, Haoyu Wang Huazhong University of Science and Technology Pre-print | ||
16:00 - 17:30 | |||
16:00 30mTalk | Quantum Constant Propagation SAS 2023 Yanbin Chen TUM School of Computation, Information and Technology, Technical University of Munich, Yannick Stade TUM School of Computation, Information and Technology, Technical University of Munich Pre-print | ||
16:30 30mTalk | Boosting Multi-Neuron Convex Relaxation for Neural Network Verification SAS 2023 Pre-print | ||
Mon 23 OctDisplayed time zone: Lisbon change
Mon 23 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 60mKeynote | Abstract Interpretation in Industry - Experience and Lessons LearnedKeynote SAS 2023 Pre-print | ||
10:00 30mTalk | Lifting On-Demand Analysis to Higher-Order Languages SAS 2023 Daniel Schoepe Amazon, David Seekatz Unaffiliated, Ilina Stoilkovska Amazon, Sandro Stucki Amazon, Daniel Tattersall Amazon, Pauline Bolignano Amazon, Franco Raimondi Amazon, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon Link to publication Pre-print | ||
11:00 - 12:30 | |||
11:00 30mTalk | Symbolic transformation of expressions in modular arithmetic SAS 2023 Pre-print | ||
11:30 30mTalk | Polynomial Analysis of Modular Arithmetic SAS 2023 Pre-print | ||
12:00 30mTalk | Octagons Revisited - Elegant Proofs and Simplified Algorithms SAS 2023 Pre-print | ||
14:00 - 15:30 | |||
14:00 30mTalk | Error Invariants for Fault Localization via Abstract Interpretation SAS 2023 Aleksandar S. Dimovski Mother Teresa University, Skopje Pre-print File Attached | ||
14:30 30mTalk | Error Localization for Sequential Effect Systems SAS 2023 Link to publication Pre-print | ||
15:00 30mTalk | Scaling up Roundoff Analysis of Functional Data Structure Programs SAS 2023 Pre-print | ||
16:00 - 17:30 | Session 8SAS 2023 at Room I Chair(s): José Morales IMDEA Software Institute, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute | ||
16:00 60mKeynote | Building Trust and Safety in Artificial Intelligence with Abstract InterpretationRemoteKeynote SAS 2023 Pre-print | ||
17:00 30mAwards | Radhia Cousot Award and PC report SAS 2023 C: Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute, C: José Morales IMDEA Software Institute | ||
Tue 24 OctDisplayed time zone: Lisbon change
Tue 24 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | Cost/precision trade-offs and accelerationSAS 2023 at Room I Chair(s): Xavier Rival Inria; ENS; CNRS; PSL University | ||
09:00 30mTalk | ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses SAS 2023 Pre-print | ||
09:30 30mTalk | Unconstrained Variable Oracles for Faster Static Analyses SAS 2023 Vincenzo Arceri University of Parma, Italy, Greta Dolcetti University of Parma - Department of Mathematical, Physical, and Computer Sciences, Enea Zaffanella University of Parma, Italy Pre-print | ||
10:00 30mTalk | Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs SAS 2023 Pre-print | ||
11:00 - 12:30 | |||
11:00 60mKeynote | Verifying Infinitely Many Programs at OnceKeynote SAS 2023 Pre-print | ||
12:00 30mTalk | Mutual Refinements of Context-Free Language Reachability SAS 2023 Pre-print | ||