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
Static Type Analysis by Abstract Interpretation of Python Programs
[POPL'22] Property-Directed Reachability as Abstract Interpretation in the Monotone Theory
[OOPSLA'25] Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Stable Relations and Abstract Interpretation of Higher-Order Programs (ICFP 2020)
[SAS 2021] Static Analysis of Endian Portability by Abstract Interpretation
Abstract Interpretation 3 (Abstract Domains) - Master Course Compilation & Program Analysis
Abstract Interpretation With Professor Patrick Cousot | Lecture Series on AI #11 | J.P. Morgan
[SAS] Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation
Theories, Solvers and Static Analysis by Abstract Interpretation
VINTA: Combining Model Checking and Abstract Interpretation
PPA 6/10: Ingredients of Program Analysis [program analysis crash course]
Making Abstract Interpretation Less Abstract in Cthulhu.jl | Simeon | JuliaCon 2022
Improving Thread-Modular Abstract Interpretation
[COVID] Stable relations and abstract interpretation of higher-order programs
Concerto: A Framework for Combined Concrete and Abstract Interpretation
[POPL'22] Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in
Abstract Interpretation Repair
![[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)
![[SAS] Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation](https://img.youtube.com/vi/K0ucSnNJrbg/0.jpg)
![PPA 6/10: Ingredients of Program Analysis [program analysis crash course]](https://img.youtube.com/vi/ItJwyiUFjrs/0.jpg)
![[COVID] Stable relations and abstract interpretation of higher-order programs](https://img.youtube.com/vi/S2u-b4o6dxk/0.jpg)
![[POPL'22] Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in](https://img.youtube.com/vi/hQWnxBpvTeY/0.jpg)
