UROP Openings

Have a UROP opening you would like to submit?

Please fill out the form.

Submit your UROP opening

Comprehensive Framework for Classifying Program Analysis Algorithms


Term:

Summer

Department:

6: Electrical Engineering and Computer Science

Faculty Supervisor:

Martin Rinard

Faculty email:

rinard@mit.edu

Apply by:

May 7, 2020

Contact:

rinard@mit.edu

Project Description

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.

Pre-requisites

Understanding of basic dataflow analysis frameworks and formal program semantics.