AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
