Schedule

Month	Topics		Evaluation
-----	--------	-----------
JAN	DFA, SLI	A1
FEB	PAR, DYN	A2, A3
MAR	PTA, SHA	MIDSEM, CP1
APR	POL, SEC	CP2
MAY	   --		ENDSEM
MIDSEM: Mar 2
ENDSEM: May 5
 

Slides: Overview, DFA, PTA1, PTA2, PTA3, SHA, DYN, PAR, SLI, SEC, POL
Handouts: Overview, DFA, PTA1, PTA2, PTA3, SHA, DYN, PAR, SLI, SEC, POL

Lectures
MonthDatesTopicComments
 January  12, 13, 14, 16  Introduction and Logistics, DFA  Katherine McKinley's slides 1, Monica Lam's lecture 1
   19, 20, 21, 23  DFA  Katherine McKinley's slides 2, Monica Lam's lecture 2 and lecture 3
   27, 28, 30  SLI  Slicing paper
 February  2, 3, 4, 6  SLI, PAR  
    9, 10, 11, 13  PAR  
   16, 17, 18, 20  PAR  
   23, 24, 25, 27  PAR, DYN  Ball-Larus Path Profiling, Pre-Post Conditions one, two
 March   2+2, 3, 4  MidSem+MidSem, DYN  MidSem for regular+self-study students
   9, 10, 11, 13  PTA  Andersen's Thesis, Steensgaard's paper
   16, 17, 18, 20  PTA  Prioritized pointer analysis, Dominator-based pointer analysis, Replication based analysis [handout]
   23, 24, 25, 27+27  PTA, CP1  Online Pointer Analysis, second lecture on 27 is for project presentations
   30, 31  CP1  
 April   6, 7, 8, 10  SHA, CP2  Ghiya+Hendren's shape analysis paper
   13, 15, 17  SEC  
   20, 21, 22, 24  POL  Video lectures on Polyhedral model (courtesy Raghesh), Bastoul's thesis, Pouchet's lectures
   27, 28  Problem solving and doubts  
 May   5  EndSem  

course home page