Have a UROP opening you would like to submit?
Please fill out the form.
Comprehensive Framework for Classifying Program Analysis Algorithms
6: Electrical Engineering and Computer Science
May 7, 2020
Program analysis algorithms are today simply point solutions to specific program analysis problems with no consistent comprehensive framework for understanding the relationship between different algorithms. The goal of this UROP is to build a comprehensive framework, in the form of a hierarchy of program analysis algorithms, for classifying program analysis algorithms and understanding their relationship with each other.
Understanding of basic dataflow analysis frameworks and formal program semantics.