June 16 – Preparatory lectures
June 17–21
- Shaz Qadeer, Taming Concurrency: A Program Verification Perspective, slides (pdf)
- Dan Grossman, Programming-Language Motivation, Design, and Semantics for Software Transactions, slides (pdf)
- Jeff Foster, Improving Software Quality with Type Qualifiers, slides-part1 (pdf), slides-part2 (pdf), slides-part3 (pdf), miniqual code (for programming exercise), notes from Wednesday (txt)
June 23 – Preparatory lectures
June 24-28
- Tim Harris, Implementing Software Transactions, slides-intro (pdf), slides-main (pdf)
- Nikolaj Bjorner, SMT solvers in Program Analysis and Verification
- Hongseok Yang, Program Verification Using Separation Logic lecture0-slides (pdf), lecture1-slides (pdf), lecture2-slides (pdf), lecture3-slides (pdf), lecture4-slides (courtesy Peter O’Hearn) (pdf)