"Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng
[POPL'25] Calculational Design of Hyperlogics by Abstract Interpretation
[POPL'25] The Best of Abstract Interpretations
Interference and incompleteness: an abstract interpretation perspective.
Abstract Interpretation With Professor Patrick Cousot | Lecture Series on AI #11 | J.P. Morgan
[SAS'25] Relating Distances and Abstractions: An Abstract Interpretation Perspective
Static Type Analysis by Abstract Interpretation of Python Programs
[PLDI24] [TOPLAS] Interactive Abstract Interpretation with Demanded Summarization
Day 4 - Abstract Interpretation - Program Analysis and Verification - Prof. KV Raghavan
OPLSS 2025 – Caterina Urban – Abstract Interpretation-Based Static Analysis – Lecture 1: Part 1
Abstract Interpretation for Program Verification (ft. Viktor Kuncak)
[SAS] Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation
ICFP 2014: session "Abstract Interpretation"
Sound and Reusable Components for Abstract Interpretation
[CGO '22] Session 7 - Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers
Colonia - An abstract interpretation and ode to my families neighborhood in Guatemala City. #art
St Peter's church public bath - Refreshment- Abstract interpretation of gothic elements
Theories, Solvers and Static Analysis by Abstract Interpretation
Abstract Interpretation 3 (Abstract Domains) - Master Course Compilation & Program Analysis
Abstract interpretation
![[POPL'25] Calculational Design of Hyperlogics by Abstract Interpretation](https://img.youtube.com/vi/pewiwNJVnfY/0.jpg)
![[POPL'25] The Best of Abstract Interpretations](https://img.youtube.com/vi/r1m7bUmhtlA/0.jpg)
![[SAS'25] Relating Distances and Abstractions: An Abstract Interpretation Perspective](https://img.youtube.com/vi/7Fpmu-MxTa8/0.jpg)
![[PLDI24] [TOPLAS] Interactive Abstract Interpretation with Demanded Summarization](https://img.youtube.com/vi/e7R1fu4T9KI/0.jpg)
![[SAS] Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation](https://img.youtube.com/vi/K0ucSnNJrbg/0.jpg)
![[CGO '22] Session 7 - Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers](https://img.youtube.com/vi/RVMMtGJLOVw/0.jpg)
