Monotonicity and the Precision of Program Analysis
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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.
Syllabus
[POPL'24] Monotonicity and the Precision of Program Analysis
Taught by
ACM SIGPLAN
Related Courses
Ethical Hacker: Pentest em SOsUdemy Building A Malicious Program Using Java (Ethical Hacking)
Udemy Building A Professional Ransomware Attack Using Java
Udemy Malware Analysis: Identifying and Defeating Code Obfuscation
Pluralsight Asm2Vec - Boosting Static Representation Robustness for Binary Clone Search
IEEE via YouTube