Monotonicity and the Precision of Program Analysis

Explore the relationship between program monotonicity and the precision of program analysis in this 21-minute conference talk from POPL 2024. Delve into the formalization of program monotonicity with respect to specific inputs and numerical variables. Learn about a sound proof system for determining program monotonicity and discover why monotone programs are of interest in static analysis. Examine the connection between monotone programs and complete abstract interpretation over certain numerical abstractions. Gain insights into the implications for program analysis precision and the potential for identifying program fragments that can be precisely analyzed using abstract interpretation techniques.