Advanced course: Program analysis and verification

Admin

  • Lecturer: Noam Rinetzky
  • Time: Monday, 9:00–12:00, Semester B, 2018/19
  • Location: Melamed
  • Reception Hour: Set by Email
  • Course Number: 0368-4479

Assignments and grades

  • 2-3 theoretical assignments (35% of the course grade)
  • 1 practical assignment (15% of the course grade)
  • A final project (50% of the course grade) -- to be submitted by 31/Aug/2018
  • No final exam

Lectures

  • Lecture 1: Overview + Operational Semantics
    • Date: 5/March/2019
    • Slides: PDF
  • Lecture 2: Operational Semantics (extended while) + Axiomatic Semantics
    • Date: 11/March/2019
    • Slides: PDF
  • Lecture 3: Abstract interpretation 1
    • Date: 18/March/2019
    • Slides: PDF
  • Lecture 4: Abstract interpretation 2
    • Date: 25/March/2019
    • Slides: PDF
  • Lecture 5: Numerical Analysis
    • Date:1/April/2019
    • Slides: PDF
  • Lecture 6: Interprocedural Analysis
    • Date: 8/April/2019
    • Slides: PDF
  • Lecture 7: Pointer Analysis
    • Date: 29/April/2019
    • Slides: PDF
  • Lecture 8: Shape Analysis
    • Date: 13/May/2019
    • Slides: PDF
  • Lecture 9: Interprocedural Shape Analysis
    • Date: 20/May/2019
    • Slides: PDF
  • Lecture 10: Concurrency Verification
    • Date: 27/May/2019
    • Slides: PDF

Home Assignments

Resources