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 video presents a research talk from the VMCAI 2025 conference where Isabella Mastroeni from the University of Verona discusses "Abstract Local Completeness: A Local form of Abstract Non-Interference." Explore how abstract interpretation provides sound and decidable approximations for undecidable program behavior queries, with a focus on the concept of completeness in abstract domains. Learn about a new intermediate notion of completeness that holds for sets of inputs selected by abstraction, effectively creating a form of local abstract completeness that applies to specific abstract values. Discover the simple proof system developed for this weakened form of completeness, which is both language and domain-agnostic, making it readily applicable to support static program analysis. The presentation includes several examples demonstrating the practical applications of this theoretical advancement in program analysis.
