3:38

[SAS23] Opening

ACM SIGPLAN

56:12

[SAS23] Goal-Directed Abstract Interpretation and Event-Driven Frameworks

ACM SIGPLAN

25:42

[SAS23] A Product of Shape and Sequence Abstractions (Radhia Cousot Young Researcher Best...

ACM SIGPLAN

24:57

[SAS23] How fitting is your abstract domain?

ACM SIGPLAN

32:59

[SAS23] Domain Precision in Galois Connection-less Abstract Interpretation

ACM SIGPLAN

22:21

[SAS23] A Formal Framework to Measure the Incompleteness of Abstract Interpretations

ACM SIGPLAN

21:58

[SAS23] Generalized Program Sketching by Abstract Interpretation and Logical Abduction

ACM SIGPLAN

25:33

[SAS23] Reverse Template Processing using Abstract Interpretation

ACM SIGPLAN

27:03

[SAS23] BREWasm: A General Static Binary Rewriting Framework for WebAssembly

ACM SIGPLAN

30:05

[SAS23] Quantum Constant Propagation

ACM SIGPLAN

29:37

[SAS23] Boosting Multi-Neuron Convex Relaxation for Neural Network Verification

ACM SIGPLAN

1:07:59

[SAS23] Abstract Interpretation in Industry - Experience and Lessons Learned

ACM SIGPLAN

22:53

[SAS23] Lifting On-Demand Analysis to Higher-Order Languages

ACM SIGPLAN

23:55

[SAS23] Symbolic transformation of expressions in modular arithmetic

ACM SIGPLAN

37:53

[SAS23] Polynomial Analysis of Modular Arithmetic

ACM SIGPLAN

26:43

[SAS23] Octagons Revisited - Elegant Proofs and Simplified Algorithms

ACM SIGPLAN

26:46

[SAS23] Error Invariants for Fault Localization via Abstract Interpretation

ACM SIGPLAN

27:03

[SAS23] Error Localization for Sequential Effect Systems

ACM SIGPLAN

32:19

[SAS23] Scaling up Roundoff Analysis of Functional Data Structure Programs

ACM SIGPLAN

58:06

[SAS23] Building Trust and Safety in Artificial Intelligence with Abstract Interpretation

ACM SIGPLAN

9:40

[SAS23] Radhia Cousot Award and PC report

ACM SIGPLAN

28:48

[SAS23] ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses

ACM SIGPLAN

29:49

[SAS23] Unconstrained Variable Oracles for Faster Static Analyses

ACM SIGPLAN

22:26

[SAS23] Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs

ACM SIGPLAN

1:04:50

[SAS23] Verifying Infinitely Many Programs at Once

ACM SIGPLAN

21:21

[SAS23] Mutual Refinements of Context-Free Language Reachability

ACM SIGPLAN