🏆 2025(1)
Best Paper Award
Relating Distances and Abstractions: An Abstract Interpretation PerspectiveCampion, Mastroeni & Urban
Abstract InterpretationProgram Analysis
🏆 2024(1)
Best Paper Award
Quantitative Static Timing AnalysisMazzucato, Campion & Urban
Timing AnalysisStatic Analysis