UROP Openings

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.