15-414 Assignments, Exams and Solutions
 
Assignment Date Assigned Date Due
Homework 1: (pdf) (LaTeX) 09/04 09/11
Homework 2: (pdf) (LaTeX) 09/11 09/20
Homework 3: (pdf) (LaTeX) 09/20 09/27
Homework 4: (pdf) (LaTeX) 09/27 10/04
Homework 5: (pdf) (LaTeX) sample problems and template 10/04 10/18
Midterm (in class) (results) 10/22 10/22
Homework 6: (pdf) (LaTeX) 10/30 11/06
Homework 7: (pdf) (LaTeX)   Programs   CBMC User Manual 11/06 11/20
Homework 8: (pdf)   Programs (zip)   Updated Info 11/27 12/11*

* Homework 8 is offically due on 12/07, but may be turned in on 12/11 without penalty.

Typed homework is not required, but we encourage it. To make this easier, we include the LaTeX source, which you can edit, for each assignment. It is your responsibility to make sure your handin is legible.