SAS2018 - Abstract Interpretation of CTL Properties (by Peter Müller)
Abstract Interpretation of CTL Properties - Peter Müller
"Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng
Abstract Interpretation With Professor Patrick Cousot | Lecture Series on AI #11 | J.P. Morgan
[POPL'22] Property-Directed Reachability as Abstract Interpretation in the Monotone Theory
Stable Relations and Abstract Interpretation of Higher-Order Programs (ICFP 2020)
[OOPSLA'25] Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
VINTA: Combining Model Checking and Abstract Interpretation
[SAS 2021] Static Analysis of Endian Portability by Abstract Interpretation
Abstract Interpretation 3 (Abstract Domains) - Master Course Compilation & Program Analysis
Theories, Solvers and Static Analysis by Abstract Interpretation
Concerto: A Framework for Combined Concrete and Abstract Interpretation
[COVID] Stable relations and abstract interpretation of higher-order programs
Making Abstract Interpretation Less Abstract in Cthulhu.jl | Simeon | JuliaCon 2022
[SAS] Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation
[POPL'22] Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in
Partial (In)Completeness in Abstract Interpretation (Teaser)
Improving Thread-Modular Abstract Interpretation
Day 4 - Abstract Interpretation - Program Analysis and Verification - Prof. KV Raghavan
A²I: Abstract² Interpretation
![[POPL'22] Property-Directed Reachability as Abstract Interpretation in the Monotone Theory](https://img.youtube.com/vi/96ggX3Y1Sho/0.jpg)
![[OOPSLA'25] Abstract Interpretation of Temporal Safety Effects of Higher Order Programs](https://img.youtube.com/vi/SzZXk95zzwY/0.jpg)
![[SAS 2021] Static Analysis of Endian Portability by Abstract Interpretation](https://img.youtube.com/vi/4p_khn4QaW4/0.jpg)
![[COVID] Stable relations and abstract interpretation of higher-order programs](https://img.youtube.com/vi/S2u-b4o6dxk/0.jpg)
![[SAS] Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation](https://img.youtube.com/vi/K0ucSnNJrbg/0.jpg)
![[POPL'22] Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in](https://img.youtube.com/vi/hQWnxBpvTeY/0.jpg)
