Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
