Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation

This conference talk from POPL 2025 explores the concept of adversities in abstract interpretation, focusing on accommodating robustness through abstract interpretation techniques. Presented by Roberto Giacobazzi, Isabella Mastroeni, and Elia Perantoni from the University of Arizona and University of Verona, the 19-minute presentation is part of the ACM SIGPLAN-sponsored POPL (Principles of Programming Languages) conference held January 19-25, 2025. Discover how these researchers address challenges in program analysis and verification through advanced abstract interpretation frameworks that enhance robustness against various adversarial conditions.