Course Syllabus
The table below gives the planned syllabus for the course. The syllabus lists the topics in order, and gives access to each lecture's meeting outlines, and homeworks and readings.
Material describing the course and its objectives and grading policies is available elsewhere.
This syllabus is subject to change. If it is necessary to revise the schedule, then this page will be updated to reflect the changes.
The readings are from Principles of Programming Analysis (second corrected printing) by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin (Springer-Verlag, 2005).
Dates | Topics | Homework Due | Readings | Optional Readings |
---|---|---|---|---|
Jan. 9 | Introduction | Handouts, Grading Policy | Forward, Preface | |
Jan. 11 | Overview of Analysis Techniques | Ch 1 | ||
Jan. 13 | Overview of Analysis Techniques | Ch 1 | ||
Jan. 16 | MLK day, no class | |||
Jan. 18 | Overview of Analysis Techniques | HW1 | Ch 1.2-1.3 | |
Jan. 20 | Overview of Analysis Techniques | Ch 1.3 | ||
Jan. 23 | Overview of Analysis Techniques | Ch 1.3 | ||
Jan. 25 | Overview of Analysis Techniques | Ch 1.3 | ||
Jan. 27 | Overview of Analysis Techniques | Ch 1.4 | ||
Jan. 30 | Overview of Analysis Techniques | HW2, p 1-2 | Ch 1.4 | |
Feb. 1 | Hridesh Rajan | Ch 2 | ||
Feb. 3 | Samik Basu | Ch 2 | ||
Feb. 6 | Overview of Analysis Techniques | HW2, p 6 | Ch 1.5 | |
Feb. 8 | Overview of Analysis Techniques | Ch 1.5 | ||
Feb. 10 | Overview of Analysis Techniques | Ch 1.6 | ||
Feb. 13 | Intraprocedural Data Flow Analysis | HW2, rest | Ch 2.1 | |
Feb. 15 | Intraprocedural Data Flow Analysis | Ch 2.1 | ||
Feb. 17 | Intraprocedural Data Flow Analysis | Ch 2.1 | ||
Feb. 20 | Intraprocedural Data Flow Analysis | Ch 2.1 | ||
Feb. 22 | Intraprocedural Data Flow Analysis | Ch 2.1 | ||
Feb. 24 | Intraprocedural Data Flow Analysis | Ch 2.1 | ||
Feb. 27 | Theory of Data Flow Analysis | Ch 2.2 | ||
Mar. 1 | Theory of Data Flow Analysis | Ch 2.2 | ||
Mar. 3 | Theory of Data Flow Analysis | Ch 2.2 | ||
Mar. 6 | Theory of Data Flow Analysis | HW 3, p 1-9 | Ch 2.2 | |
Mar. 8 | Monotone Frameworks in Data Flow Analysis | Ch 2.4 | ||
Mar. 10 | Interprocedural Data Flow Analysis | Ch 2.5 | ||
Mar. 13 | Spring Break, no class | |||
Mar. 15 | Spring Break, no class | |||
Mar. 17 | Spring break, no class | |||
Mar. 20 | Interprocedural Data Flow Analysis | Ch 2.5 | ||
Mar. 22 | Interprocedural Data Flow Analysis | Ch 2.5 | ||
Mar. 24 | Interprocedural Data Flow Analysis | Ch 2.6 | ||
Mar. 27 | Interprocedural Data Flow Analysis | HW 3, p 10ff | Ch 2.6 | |
Mar. 29 | Interprocedural Data Flow Analysis | Ch 4 | ||
Mar. 31 | Interprocedural Data Flow Analysis | Ch 4 | ||
Apr. 3 | Counter-Example Guided Abstraction Refinement | Ch 4 | ||
Apr. 5 | Data Flow Analysis: Shape Analysis | Ch 4 | ||
Apr. 7 | Data Flow Analysis: Shape Analysis | Ch 5 | ||
Apr. 10 | Data Flow Analysis: Shape Analysis | HW 4, p. 1-3 | Ch 5 | |
Apr. 12 | Data Flow Analysis: Shape Analysis | HW 4, p. 4 | Ch 3 | |
Apr. 14 | Abstract Interpretation | Ch 3 | ||
Apr. 17 | Abstract Interpretation | |||
Apr. 19 | Abstract Interpretation | |||
Apr. 21 | Abstract Interpretation | |||
Apr. 24 | Abstract Interpretation | |||
Apr. 26 | Abstract Interpretation | |||
Apr. 26 | Course Summary | |||
Apr. 28 | Course Summary and Evaluations | |||
May 1-3 (arranged) | Final Exam |
Previous syllabi from earlier offerings of the class are also available. See the courses's about page.
Last modified Wednesday, April 26, 2006.
This web page is for the Spring 2006 offering of Com S 641 at Iowa State University. The details of this course are subject to change as experience dictates. You will be informed of any changes. Thanks to Curtis Clifton for help with these web pages. Please direct any comments or questions to Gary T. Leavens.