The following schedule lists the topics we will cover and approximately the number of meetings we will spend on each topic. The schedule is tentative. Most likely, some things will change during the semester, and I will revise the schedule as necessary.
The Reading column lists the assigned reading for the meeting. You should view the readings as an introduction to spark discussion in class.
The Assignment column lists the due date for each assignment.
Readings. The readings will be classified into the following order of recommendation: Advised (highest importance), Recommended (important but read after previous category), and Supplemental (additional material for a different perspective). NNH refers to Nielson et al., Principles of Program Analysis.
Supplemental. John Carmack. Static Code Analysis. This blog post is a famous developer's view of static analysis. John Carmack is known for his contributions to game engines (e.g., Doom).
|W||1/13||Semantics Crash Course: Operational Semantics [meeting 2-5 whiteboard]||
Advised. Winskel, Chapter 2.
Recommended. Harper, Chapters 1-3 (i.e., Part I). These chapters are background on syntax, judgments, and inductive definitions.
Supplemental. Winskel, Chapters 3-4. These chapters are another source on judgments and inductive definitions.
|2||M||1/18||No Class: MLK Day|
|W||1/20||Semantics Crash Course: Operational Semantics||
Advised. Winskel, Chapter 6.
|3||M||1/25||Semantics Crash Course: Hoare Logic|
|W||1/27||Semantics Crash Course: Hoare Logic [meeting 6-9 whiteboard]|
|4||M||2/1||Collecting Semantics and Dataflow Analysis||
Recommended (Classic). Gary A. Kildall. A unified approach to global program optimization. POPL, 1973.
Recommended (Classic). Michael Karr. Affine relationships among variables of a program. Acta Informatica 6(2):1976.
Recommended. NNH, Chapter 1.
|W||2/3||Collecting Semantics and Dataflow Analysis||
Advised. NNH, 2.1-2.3
|5||M||2/8||Semantics Crash Course: Denotational Semantics||
Advised. Winskel, Chapter 5 (up to 5.4).
Recommended. NNH, 4.1-4.3
Recommended. Rival, 4.1-4.2
|11||M||3/21||No Class: Fall Break|
|W||3/23||No Class: Fall Break|