Update schedule for end of semester. Add Related Work Presentation as…

…signment.

assignments.qmd

@@ -68,12 +68,9 @@ The main goal of the project is to allow you to customize the content of the cou
 
 ## Project Dates
 
-* A pre-proposal is due on TBD.
-* The project proposal is due on TBD.
-* A project status update is due on TBD.
 * Project presentations will be held during the last week of classes.
-* The project paper is due on TBD.
-<!-- * Peer reviews on project papers are due on Monday, May 4, 2020. -->
+* The project paper is due on the Sunday of finals week.
+* Peer reviews on project papers (for extra credit) are due on the Monday of finals week.
 
 ## Project Scale
 
@@ -140,6 +137,20 @@ Your _pre-proposal_ should consist of answers to at least the first two question
 
 The status update is a short write-up. It should explain what you have done so far and how you plan to meet your goals in the final weeks of the project. Like your proposal, you will not be graded on the length of your status update but rather on how concrete you are on where you are.
 
+## The Related Work Presentation
+
+The goal of the related work presentation is to help you dive deep on the paper most closely related to your final project by driving a discussion about it with the class. To do so, you will present the work as if you were the author of the paper. Make sure to follow the format for research artifacts, covering (1) what is fundamental problem being addressed by the work, (2) why is the problem important or interesting, (3) why is the problem hard or hasn't been satisfactorily addressed to date, (4) what is the contribution of the work, and (5) why is the claimed contribution indeed a contribution.
+
+In addition, you should connect the related work to your project (e.g., as a "Future Work" discussion in the presentation). The goal here is to help you refine the connection with your project in the form of a "mini-project proposal." It is a bit less involved than the Project Proposal, as you do not need to lay out the full landscape of related work.
+
+You may consult slides or recordings from the authors' for the paper your presenting, but you must speak from your perspective (and thus need to make your own slides).
+
+Logistically,
+
+1. Share a link to the paper with the class in advance (by the end of the week before your presentation).
+2. Sign up for a presentation slot.
+3. Submit your slides before your presentation.
+
 ## The Presentation
 
 The presentation should be short and should describe what the problem was, what the difficulties were, and what was accomplished or learned. You will find it much easier to prepare the talk using slides (perhaps 8 to 12 slides, depending on your speed).

schedule.qmd

@@ -42,16 +42,16 @@ The readings will be classified into the following order of recommendation:
 | 11 | T | 11/7 | Axiomatic semantics | **Advised**. Winskel Ch. 6<br/><br/> **Recommended**. Winskel Ch. 7.<br/> It is ok to skim 7.1 and 7.3. |  |
 |  | R | 11/9 | Abstract machines | **Advised**. Harper 27.1-27.2 (Control Stacks).<br/> Sections 27.3 can be considered supplemental.<br/><br/> **Recommended**. Harper 28.1-28.2 and 29.1-29.2 (Exceptions and Continuations).<br/> Sections 28.3-28.4 and 29.3 can be considered supplemental. |  |
 | 12 | T | 11/14 | Verification-condition generation |  |  |
-|  | R | 11/16 | Abstract interpretation |  |  |
+|  | R | 11/16 | Abstract interpretation |  | HW4 due Fri |
 | 13 | T | 11/21 | No class: Thanksgiving |  |  |
 |  | R | 11/23 | No class: Thanksgiving |  |  |
 | 14 | T | 11/28 | Research application |  |  |
-|  | R | 11/30 | Research application |  |  |
-| 15 | T | 12/5 | Final exam review |  |  |
-|  | R | 12/7 | Final exam: evening (time TBD) |  |  |
+|    | R | 11/30 | Final exam preparation | | |
+| 15 | T | 12/5  | Related work presentations |  |  |
+|    | R | 12/7  | Related work presentations |  | |
 | 16 | T | 12/12 | Final project presentations |  |  |
-|  | R | 12/14 | Final project presentations |  |  |
-| 17 | T | 12/19 | Finals week |  |  |
+|    | R | 12/14 | Final project presentations | | |
+| 17 | T | 12/19 | No class: Finals week |  | Paper due Sun |
 
 [meeting01]: meetings/meeting01-welcome.class.pdf
 [meeting02]: meetings/meeting02.class.pdf