Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
This 24-minute conference talk from POPL 2025 explores the concept of "the best of abstract interpretations" in program analysis. Presented by Roberto Giacobazzi (University of Arizona) and Francesco Ranzato (University of Padova), the talk investigates when abstract interpretations of programs achieve optimal results. Learn about the computability properties of programs with best possible abstract interpretations, why this property is generally non-recursive and difficult to achieve, and why it cannot be effectively obtained through program compilation or domain refinement. The presentation introduces a novel program logic parameterized on abstract domains that can verify when an abstract interpretation is indeed optimal. This research contributes significant insights to the field of abstract interpretation and program analysis, with implications for developing more precise static analysis tools. The talk was delivered at the ACM SIGPLAN POPL 2025 conference held January 19-25, 2025.
