Slides: Overview, DFA, PTA1, PTA2, PTA3, Parallel-PTA, SHA, DYN, PAR, SLI, SEC
Handouts: Overview, DFA, PTA1, PTA2, PTA3, SHA, DYN, PAR, SLI, SEC

Evaluation: 50 for assignments + 25 for midsem + 25 for endsem

Deadlines

Evaluation Item	Marks	Student	TA	Instructor
A1	5	Jan 22	Feb 1	--
A2	10	Feb 17	Feb 27	--
A3	15	Mar 17	Mar 27	--
A4	20	Apr 14	Apr 24	--
MidSem	25	Mar 1	--	Mar 11
EndSem	25	May 7	--	May 17

Lectures

Month	Dates	Topic	Comments
January	16, 17, 18	Introduction and Logistics, DFA	Katherine McKinley's slides 1, Monica Lam's lecture 1
	21, 23, 24, 25	DFA	Katherine McKinley's slides 2, Monica Lam's lecture 2 and lecture 3
	28, 30, 31	DFA
February	1	PTA	Andersen's thesis, Steensgaard's paper
	4, 6, 7, 8	PTA
	11, 13, 14, 15	PTA	Prioritized pointer analysis, Dominator-based pointer analysis
	18, 20, 21, 22	PTA	Parallel Pointer Analysis, class at 08:00 on 22
	25, 27, 28	SHA	Ghiya+Hendren's shape analysis paper
March	1		MidSem on March 1
	4, 6, 7, 8	SHA
	11, 13, 14, 15	DYN	Ball-Larus Path Profiling, Pre-Post Conditions one, two
	18, 20, 22	PAR	Invited Lecture by Aman Nougrahiya on 22
	25, 27, 28, 29	PAR	Dependency Cheker, notes
April	1, 3, 4, 5	SLI	Slicing paper, class at 08:00 on 1
	8, 10, 11, 12	SLI
	15, 18	SEC	Class on 18 cancelled due to institute holiday declared for elections.
	22, 24, 25, 26	SEC	Invited Lecture by Shouvick Mondal on 22
May	7		EndSem at 09:00 in CS24

course home page