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

Month	Dates	Topic	Comments
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