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

Slides (one per page): DFA, PTA1, PTA2, PTA3, SHA, DYN, PAR, SLI, SEC, POL

Lecture	Date	Handouts		Additional reading
1	Jan 15	Overview, DFA		Katherine McKinley's slides 1, Monica Lam's lecture 1
2	Jan 17	DFA		Katherine McKinley's slides 2, Monica Lam's lecture 2 and lecture 3
3	Jan 22	PTA		Andersen's Thesis
4	Jan 24	PTA		Steensgaard's paper
5	Jan 29	PTA		Online Andersen's Analysis
6	Jan 31	PTA		Online cycle detection paper, Offline variable substitution
7	Feb 05	PTA		Prioritized pointer analysis, Dominator-based pointer analysis
8	Feb 07	PTA
9	Feb 12	SHA		Ghiya+Hendren's shape analysis paper
10	Feb 14	SHA
11	Feb 19	SHA
12	Feb 21	PTA		Replication-based pointer analysis
13	Feb 26	PTA		Pointer analysis using graph rewrite rules
14	Feb 28	DYN		Ball-Larus path profiling
15	Mar 05	MIDSEM
16	Mar 07	DYN
17	Mar 12	DYN		Predicate calculus
18	Mar 14	DYN
19	Mar 19	DYN, PAR
20	Mar 21	PAR
21	Mar 26	PAR
22	Mar 28	CP1
23	Apr 02	SLI		Slicing paper
24	Apr 04	POL		Raghesh covered this, Bastaul's thesis
25	Apr 09	SLI
26	Apr 11	CP2 SEC
27	Apr 16	---		Monday time table
28	Apr 18	---		Holiday
29	Apr 23	SEC
30	Apr 25	ENDSEM		14:55 -- 17:30

course home page