CSE 590 MD: Program Analysis

    
 

Instructor: Manuvir Das

    
 

Lecture Notes and Scribe Assignments

 Lectures in bold were guest lectures; slides were provided by the lecturers. Notes for the remaining lectures were produced by students in the class. Lecture notes include a summary of the material/papers covered in class, and a list of references for further reading.
Spring 2001
 
 
Week 1 
Monday 3/26 Landscape, context-sensitive dataflow Sushant Jain
Wednesday 3/28 IDFA via graph reachability Todd Millstein
Week 2 
Monday 4/2 Dependence graphs, slicing Mark Seigle
Wednesday 4/4 Context-sensitive algorithms Erik Ruf
Week 3 
Monday 4/9
Wednesday 4/11		 Abstract interpretation Sorin Lerner
Week 4 
Monday 4/16 Type inference; Algorithm W Keunwoo Lee
Wednesday 4/18 Program analysis via type inference Tao Xie
Week 5
Monday 4/23 Polymorphic type inference Jakob Rehof
Wednesday 4/25 Subtyping; set constraints Manuel Fahndrich
Week 6
Monday 4/30 Effect systems/Region inference Matthai Phillipose
Week 7
Monday 5/7 Path simulation, decision procedures  Douglas Low
Wednesday 5/9 Model checking Sriram Rajamani
Week 8
Monday 5/14 Program verification Dmitriy Portnov
Wednesday 5/16 Analysis of OO programs Craig Chambers /
Jonathan Aldrich
Week 9
Monday 5/21 Profiling Tom Ball
Wednesday 5/23  Vault/SLAM Rob Deline / 
Sriram Rajamani
Week 10
Wednesday 5/30 ESP/Wrapup Manuvir Das
Additional info:
Introduction
Information
 Topics
 Lecture Schedule
Lecture Notes
Reading List
 Homework


Email Manuvir
 
     
  CSE 590MD © 2001, Department of Computer Science and Engineering, University of Washington.