Redex, Abstract Machines, and Abstract Interpretation 1 - David Van Horn - OPLSS 2017
Redex, Abstract Machines, and Abstract Interpretation 2 - David Van Horn - OPLSS 2017
Redex, Abstract Machines, and Abstract Interpretation 4 - David Van Horn - OPLSS 2017
Redex, Abstract Machines, and Abstract Interpretation 3 - David Van Horn - OPLSS 2017
"Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng
Abstract Interpretation for Program Verification (ft. Viktor Kuncak)
Refunctionalization of Abstract Abstract Machines
Abstract interpretation
Programming Languages: Abstract Machines - 1
Arvid Norberg: The C++ abstract machine
Visualizing Abstract Abstract Machines
Study of abstract machines
VINTA: Combining Model Checking and Abstract Interpretation
Programming Languages: Abstract Machines - 4
RacketCon 2013: Max New - Every Program in Your Redex Model, in Order
Sound and Reusable Components for Abstract Interpretation
Abstract Interpretation With Professor Patrick Cousot | Lecture Series on AI #11 | J.P. Morgan
ICFP 2014: session "Abstract Interpretation"
Theories, Solvers and Static Analysis by Abstract Interpretation
Static Type Analysis by Abstract Interpretation of Python Programs
