E0 327 Topics in Program Analysis

Instructor: Deepak D'Souza

Meeting schedule:

Course outline

We will discuss selected papers (listed below) on different techniques for verifying programs, broadly classified as

Papers and schedule.