Everyone should have read the paper before class. Presenters mayshould assume people have read the paper, and focus their presentation on clarifying or explroing the material (e.g., through worked examples, developing intuition for definitions. etc) rather than on, e.g., re-iterating motivation already covered by the paper.

Presenters should send to the class a brief "homework" about not less than four days before presenting. Homework comes in a variety of forms---a section to read with a concrete question to answer in mind, a concrete example to work out, a hypothetical extension to the system, a quick experiment using an online tool (factor download/install time into the assignment)---but should not take more than thirty or forty minutes to do.

When you present, you can assume that everyone has done the homework. It may be good to give the "right" answer, in case not everyone figured it out.

NOTE: Schedule is subject to change.

Lec. Date Topic Notes/Readings
Decision Procedures/Applied Logic
1Tue 29-Jan Intro to SMT Presenter: Ming
2Thu 31-Jan
3Tue 5-Feb Horn clauses Presenter: Aaron
4Thu 7-Feb Separation Logic Presenter: David
5Tue 12-Feb Presenter: Eric
6Thu 14-Feb Presenter: Michael
7Tue 19-Feb Presenter: David
8Thu 21-Feb Presenter: Basu
9Tue 26-Feb Presenter: Teddy
10Thu 28-Feb Presenter: Eric
ISA Semantics
11Tue 5-Mar Presenter: Crystal
12Thu 7-Mar
Information Flow
13Tue 12-Mar Presenter: Marcy
14Thu 14-Mar Presenter: Alex
Spring Recess
15Tue 26-Mar Presenter: Teddy
16Thu 28-Mar Presenter: Jian
17Tue 2-Apr Presenter: Marcy
18Thu 4-Apr Presenter: Richard
19Tue 9-Apr Presenter: Aaron
Program Analysis
20Thu 11-Apr Presenter: Basu
21Tue 16-Apr Presenter: Jian
22Thu 18-Apr Presenter: Alex
Verified and Secure Compilation
23Tue 23-Apr Presenter: Richard
24Thu 25-Apr Presenter: Crystal?
25Tue 30-Apr
  • Project presenatations.