SPLASH 2022 (series) / SAS 2022 (series) /
SAS 2022 Program
This is the SAS 2022 program - see the full program for SPLASH 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 5 DecDisplayed time zone: Auckland, Wellington change
Mon 5 Dec
Displayed time zone: Auckland, Wellington change
09:00 - 10:00 | Keynote 1SAS at AMRF Auditorium Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign, Caterina Urban Inria & École Normale Supérieure | Université PSL | ||
09:00 60mKeynote | Commercial-Grade Static Analyzers in DatalogIn PersonKeynote SAS Bernhard Scholz University of Sydney | ||
10:30 - 12:00 | |||
10:30 30mTalk | Parameterized Recursive Refinement Types for Automated Program Verification SAS Ryoya Mukai The University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ryosuke Sato University of Tokyo, Japan | ||
11:00 30mTalk | Efficient Modular SMT-Based Model Checking of Pointer ProgramsVirtual SAS Isabel Garcia-Contreras University of Waterloo, Arie Gurfinkel University of Waterloo, Jorge A. Navas Certora, inc. | ||
11:30 30mTalk | Case Study on Verification-Witness Validators: Where We Are and Where We Go SAS Link to publication DOI Media Attached | ||
13:30 - 15:00 | Numerical Static AnalysesSAS at AMRF Auditorium Chair(s): Isabella Mastroeni University of Verona, Italy | ||
13:30 30mTalk | CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial AttacksVirtual SAS Zhe Zhao ShanghaiTech University, Yedi Zhang ShanghaiTech University, Guangke Chen ShanghaiTech University, Fu Song ShanghaiTech University, Taolue Chen Birkbeck University of London, Jiaxiang Liu Shenzhen University | ||
14:00 30mTalk | Boosting Robustness Verification of Semantic Feature Neighborhoods SAS | ||
14:30 30mTalk | Lifting Numeric Relational Domains to Algebraic Data Types SAS Santiago Bautista Univ Rennes, Inria, CNRS, IRISA, Thomas P. Jensen INRIA Rennes, Benoît Montagu Inria Pre-print File Attached | ||
15:30 - 17:00 | Keynote 2, Radhia Cousot Award, PC Chairs ReportSAS at AMRF Auditorium Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign, Caterina Urban Inria & École Normale Supérieure | Université PSL | ||
15:30 60mKeynote | Logical Reasoning in Reinforcement Learning: A Boon or Bane? KeynoteVirtual SAS Suguman Bansal Rice University, USA | ||
16:30 10mAwards | Radhia Cousot Award SAS Caterina Urban Inria & École Normale Supérieure | Université PSL, Gagandeep Singh University of Illinois at Urbana-Champaign | ||
16:40 20mDay closing | PC Chairs Report SAS Caterina Urban Inria & École Normale Supérieure | Université PSL, Gagandeep Singh University of Illinois at Urbana-Champaign | ||
Tue 6 DecDisplayed time zone: Auckland, Wellington change
Tue 6 Dec
Displayed time zone: Auckland, Wellington change
09:00 - 10:00 | Keynote 3SAS at AMRF Auditorium Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign, Caterina Urban Inria & École Normale Supérieure | Université PSL | ||
09:00 60mKeynote | Towards Efficient Reasoning of Quantum ProgramsKeynote SAS Nengkun Yu Stony Brook University, USA | ||
10:30 - 12:00 | |||
10:30 30mTalk | SecWasm: Information Flow Control for WebAssemblyVirtual SAS Iulia Bastys Chalmers University of Technology, Maximilian Algehed Chalmers University of Technology, Sweden, Alexander Sjösten TU Wien, Andrei Sabelfeld Chalmers University of Technology | ||
11:00 30mTalk | Adversarial Logic SAS Julien Vanegue Bloomberg | ||
11:30 30mTalk | Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation SAS | ||
13:30 - 15:00 | |||
13:30 30mTalk | Invariant Inference With Provable Complexity From the Monotone Theory SAS | ||
14:00 30mTalk | Local Completeness Logic on Kleene Algebra with Tests SAS Marco Milanese Dipartimento di Matematica, University of Padova, Italy, Francesco Ranzato University of Padova | ||
14:30 30mTalk | Deciding program properties via complete abstractions on bounded domains SAS Roberto Bruni University of Pisa, Roberta Gori University of Pisa, Nicolas Manini IMDEA Software Institute | ||
15:30 - 17:00 | |||
15:30 30mTalk | Bootstrapping Library-Based Synthesis SAS | ||
16:00 30mTalk | Automated Synthesis of Asynchronizations SAS Sidi Mohamed Beillahi University of Toronto, Ahmed Bouajjani IRIF, Université Paris Diderot, Constantin Enea Ecole Polytechnique / LIX / CNRS, Shuvendu K. Lahiri Microsoft Research | ||
16:30 30mTalk | Solving Invariant Generation for Unsolvable Loops SAS Daneshvar Amrollahi Stanford University, Ezio Bartocci TU Wien, George Kenison TU Wien, Laura Kovács TU Wien, Marcel Moosbrugger TU Wien, Miroslav Stankovič TU Wien | ||
Wed 7 DecDisplayed time zone: Auckland, Wellington change
Wed 7 Dec
Displayed time zone: Auckland, Wellington change
10:30 - 12:00 | |||
10:30 30mTalk | Semantic Foundations for Cost Analysis of Pipeline-Optimized ProgramsVirtual SAS Solène Mirliaz ENS Rennes / IRISA / Inria, David Pichardie Meta, Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain, Adrien Koutsos INRIA Paris, Peter Schwabe Max Planck Institute for Security and Privacy | ||
11:00 30mTalk | Principles of Staged Static+Dynamic Partial Analysis SAS | ||
11:30 30mTalk | Fast and incremental computation of weak control closure SAS Abu Naser Masud Malardalen University | ||