Lectures

  1. 03/31: Introduction
  2. 04/02: Dataflow Analysis
  3. 04/07: I. Dataflow Analysis; II. Introduction to Type Systems
  4. 04/09: Type Checking and Inference
  5. 04/14: Unification, Polymorphism, and Subtyping
  6. 04/16: Constraint-based Program Analysis: part I
  7. 04/21: Constraint-based Program Analysis: part II
  8. 04/23: Introduction to Axiomatic Semantics
  9. 04/28: Guest speaker: Dr. Arnaud Venet (NASA Ames): Abstract Interpretation (ps)
  10. 04/30: Guest speaker: Sumit Gulwani (Berkeley): Randomized Interpretation (ppt)
  11. 05/05: Guest speaker: Rupak Majumdar (Berkeley): Software Model Checking (ppt)
  12. 05/07: Guest speaker: Dr. Zhichen Xu (HP Labs): Safety Checking of Machine Code (ppt)
  13. 05/12: Guest speaker: Prof. Michael Gertz: XML typechecking (pdf)
  14. 05/14: Jed Crandall: [BCC+02] and [SBN+97]
  15. 05/19: Gary Wasserman: [LE01] and [CLL+02]
  16. 05/21: Jimmy Zhou: [EL02] and [ABL02]
  17. 05/26: Memorial Day Holiday
  18. 05/28: Paul Sultana: [CHN+03] and [JMG+02]
  19. 06/02: Ivan Balepin: [CW02] and [WD01]
  20. 06/04: Project Presentations
  21. 06/05: Tao Song: [ECG+01] and [HCXE02]
    2pm in 3085 EUII (at the language seminar)