CS 252r: Advanced Topics in Programming Languages

NOTE: Schedule is subject to change.

Lec.	Date	Topic	Notes/Readings
1	Thu 3-Sep	Introduction	slides
Background on Program Analysis
2	Tue 8-Sep	Data-flow analysis	slides
3	Thu 10-Sep	Interprocedural analysis	slides Precise interprocedural dataflow analysis via graph reachability. Reps, Horwitz, Sagiv, and Rosay. POPL 1995. Precise interprocedural dataflow analysis with applications to constant propagation. Sagiv, Reps, and Horwitz. TCS 167, 1996. Two approaches to interprocedural data flow analysis. Sharir and Pnueli. Program Flow Analysis: Theory and Applications, chapter 7 (eds., Muchnick and Jones), 1981.
4	Tue 15-Sep	Pointer analysis	slides Pointer Analysis. Smaragdakis and Balatsouras. Foundations and Trends in Programming Languages 2(1), 2015.
	Thu 17-Sep	New England Security Day at Umass Amherst
5	Tue 22-Sep	Abstract interpretation I	slides
6	Thu 24-Sep	Abstract interpretation II	slides
7	Tue 29-Sep	Symbolic Execution	Project proposals due. slides Symbolic execution and program testing. King, CACM 19(7) 1976. Mixing type checking and symbolic execution. Khoo, Chang, and Foster, PLDI 2010.
8	Thu 1-Oct	Dynamic analysis	slides The Concept of Dynamic Analysis. Ball, FSE 199. Efficient Path Profiling. Ball and Larus, MICRO 1996. Adversarial memory for detecting destructive races. Flanagan and Freund, PLDI 2010.
Research papers
9	Tue 6-Oct	Abstract interpretation	Abstract Interpretation over Non-Lattice Abstract Domains. Gange, Navas, Schachte, Søndergaard, and Stuckey. SAS 2013.
10	Thu 8-Oct	Abstract interpretation	An Abstract Domain Combinator for Separately Conjoining Memory Abstractions. Toubhans, Chang, and Rival. SAS 2014.
11	Tue 13-Oct	Research Workshop
12	Thu 15-Oct	Concrete and Abstract	CUTE: a concolic unit testing engine for C. Sen, Marinov, and Agha. FSE 2005. Abstractions from Tests. Naik, Yang, Castelnuovo, and Sagiv. POPL 2012. Practical, low-effort equivalence verification of real code. Ramos and Engler. CAV 2011. (Additional reading suggested by Scott.).
13	Tue 20-Oct	Research Workshop
14	Thu 22-Oct	Abstract interpretation and control flow	Rebecca and Tomo Abstracting Abstract Machines. Van Horn and Might. ICFP 2010. You can watch the video of the presentation.
15	Tue 27-Oct	Application checkpointing	Daniel, Nathan, Duligur, and Eric Automated Application-Level Checkpointing of MPI Programs. Bronevetsky, Marques, Pingali, and Stodghill. PPoPP 2003. Recent Advances in Checkpoint-Recovery Systems. Bronevetsky, Fernandes, Marques, Pingali, Stodghill. IPDPS 2006.
16	Thu 29-Oct	Hard language features (including reflection)	Lucas (Steve away) In Defense of Soundiness: A Manifesto. Livshits et al. CACM 58(2), 2015. Taming Reflection: Aiding Static Analysis in the Presence of Reflection and Custom Class Loaders. Bodden, Sewe, Sinschek, Oueslati, and Mezini. ICSE 2011.
17	Tue 3-Nov	Research Workshop
18	Thu 5-Nov	Interprocedural analysis	Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs. Dillig, Dillig, Aiken, and Sagiv. PLDI 2011.
19	Tue 10-Nov	New England Programming Languages Symposium at Tufts	Info/registration Schedule
	Wed 11-Nov	PL Seminar, Matt Might, 4pm in MD 323
20	Thu 12-Nov	Interprocedural analysis	Weighted Pushdown Systems and their Application to Interprocedural Dataflow Analysis. Reps, Schwoon, and Jha. SAS 2003.
21	Tue 17-Nov	Research Workshop
22	Thu 19-Nov	Pointer analysis	(Steve away) The Flow-Insensitive Precision of Andersen's Analysis in Practice. Blackshear, Chang, Sankaranarayanan, and Sridharan. SAS 2011.
23	Tue 24-Nov	Sparse dataflow	Sparse Dataflow Analysis with Pointers and Reachability. Madsen and Møller. SAS 2014.
Thanksgiving Recess
24	Tue 1-Dec	Library analysis	Automated Inference of Library Specifications for Source-Sink Property Verification. Zhu, Dillig, and Dillig. APLAS 2013.
25	Thu 3-Dec	Project presentations	9 minute presentations plus 3 minutes for questions Daniel, Duligur, Eric, and Nathan David Josh and Ramya Kevin and Thomas Rebecca and Tomo Robbie
	Wed 9-Dec		Final projects due.