talks
Talks
These talk pages were extracted from the answers.ods registration spreadsheet. Entries with only a preliminary title are marked as abstract to be confirmed.
Abstracts
- Patrick Cousot, “Design of Semantics by Abstract Interpretation or Trace-Based Abstract Interpretation”
- David Monniaux, “Alternatives to Iterations with Widening: Policy Iteration and Others”
- Antoine Miné, “Experience Designing Static Analyzers by Abstract Interpretation”
- Caterina Urban, “Termination Resilience Static Analysis”
- Anastasia Isychev, “Who Guards the Guards? Testing Program Analyzers”
- Florian Zuleger, “Automating Amortised Resource Analysis of Self-Adjusting and Probabilistic Data Structures”
- Javier Esparza, “Interactive Proof Systems for Automated Reasoning”
- Markus Müller-Olm, “Automata and Logics for Asynchronous Hyperproperties”
- Bernd Finkbeiner, “Hyper Hyper”
- Vincenzo Arceri, “A Journey through LiSA and its Frontends”
- Pietro Ferrara, “JLiSA at SV-COMP 2026”
- Yanbin Chen, “Quantum Compilation as Urban Planning”
- Rebecca Ghidini, “Incremental Static Analysis for Biological Models”
- Andrea Flexeder, “Industrial Talk, TBA”