Participation                          10%

Exercises & assignments      40%

Midterm exam                       20%

Final project                           30%

Total:                                      100%

Class participation and readings play a key role, as lectures and readings are the primary means of conveying course material, which is then reinforced through in-class activities. Most class sessions will include an exercise designed to help students apply the concepts covered. Participation is earned by completing these exercises, regardless of the correctness of the responses.

Assignments are designed to help students develop theoretical understanding and practical skills in program analysis. They are divided into two categories:

1. 
   

   Theoretical Assignments: These assignments involve formal definitions and proofs to deepen your understanding of the analysis theory. They will be graded based on the accuracy and presentation of your definitions and proofs.

   
   


2. 
   

   Programming Assignments: These focus on building program analyses systematically through hands-on coding exercises. Your work will be evaluated based on the correctness and clarity of your implementation.

   
   

The final project involves implementing a simple program analyzer. The expected deliverables include coding, documentation, a presentation, and a demonstration.

1. Program Analysis. Jonathan Aldrich, Claire Le Goues, and Rohan Padhye, 2022. (pdf)

2. Static Program Analysis. Anders Møller and Michael I. Schwartzbach, 2024. (pdf)

3. Symbolic Execution and Quantitative Reasoning. Corina Pasareanu, 2020. (pdf)