ICFP/SPLASH 2025 (series) / SPLASH 2025 (series) / SAS 2025 (series) /
SAS 2025 Program
This is the SAS 2025 program - see the full program for SPLASH 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 13 OctDisplayed time zone: Perth change
Mon 13 Oct
Displayed time zone: Perth change
10:50 - 12:05 | |||
10:50 10mDay opening | Opening SAS | ||
11:05 60mKeynote | On a simple problem due to Yves Bertot SAS Olivier Danvy National University of Singapore File Attached | ||
13:40 - 15:20 | |||
13:40 60mKeynote | Multi-Modal Verification of Distributed Systems in Lean SAS Ilya Sergey National University of Singapore | ||
14:40 20mTalk | Verifying Neural Networks with PyRAT SAS Tristan Le Gall CEA LIST, Augustin Lemesle CEA, LIST, France, Julien Lehmann CEA, LIST, France, Zakaria Chihani CEA, LIST, France | ||
15:00 20mTalk | Enhancing Neural Network Robustness via Synthesis of Repair Programs SAS | ||
16:00 - 17:40 | Abstraction and ProofsSAS at Orchid East Chair(s): Xavier Rival Inria - CNRS - Ecole Normale Superieure de Paris - PSL University | ||
16:00 20mTalk | Relating Distances and Abstractions: An Abstract Interpretation Perspective SAS Marco Campion Sorbonne Université, Isabella Mastroeni University of Verona, Caterina Urban Inria & ENS | PSL | ||
16:20 20mTalk | Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty SAS Zixin Huang University of Illinois at Urbana-Champaign, USA, Jacob Laurel Georgia Institute of Technology, Saikat Dutta University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign | ||
16:40 20mTalk | Specifying and Verifying Future Conditions SAS Yahui Song Standard Chartered Bank, Darius Foo National University of Singapore, Wei-Ngan Chin National University of Singapore | ||
17:00 20mTalk | Contextual Equality Saturation SAS | ||
17:20 20mTalk | Abstracting Concolic Execution for Soft Contract Verification SAS Bram Vandenbogaerde Software Languages Lab, Vrije Universiteit Brussel, Quentin Stiévenart Université du Québec à Montréal, Coen De Roover Vrije Universiteit Brussel Pre-print | ||
Tue 14 OctDisplayed time zone: Perth change
Tue 14 Oct
Displayed time zone: Perth change
10:50 - 12:05 | |||
10:50 55mKeynote | From Within: Compiler Testing and Validation via Compilers SAS Qirun Zhang Georgia Institute of Technology | ||
11:45 20mTalk | Ductape: Optimizing Dynamically Typed Programs using Ahead-of-Time Compilation and Data-Flow Analysis SAS | ||
13:40 - 15:20 | |||
13:40 60mKeynote | Towards static analyses and abstract domains for hyperproperties SAS Xavier Rival Inria - CNRS - Ecole Normale Superieure de Paris - PSL University | ||
14:40 20mTalk | Comparing the Precision of Abstract Operators in the eBPF Verifier using Differential Synthesis SAS Matan Shachnai , Harishankar Vishwanathan , Srinivas Narayana Rutgers University, Santosh Nagarakatte Rutgers University Link to publication Pre-print | ||
15:00 20mTalk | A Programming Language for Feasible Solutions SAS Weijun Chen Shanghai Jiao Tong University, China, Yuxi Fu Shanghai Jiao Tong University, China, Huan Long Shanghai Jiao Tong University | ||