This schedule is tentative and subject to change.
| Date | Readings | Notes | References | 
|---|---|---|---|
| Aug 31, 2018 | |||
| Sep 4, 2018 | |||
| Sep 6, 2018 | |||
| Sep 11, 2018 | |||
| Sep 13, 2018 | |||
| Sep 18, 2018 | 
 [Superoptimization] Schkufza, Sharma and Aiken, Stochastic Program Optimization, CACM 2016  | 
||
| Sep 20, 2018 | |||
| Sep 25, 2018 | 
 Away for GHC (Srinivasan, V. and Reps, T., "Synthesis of machine code from semantics", PLDI 2015)  | 
||
| Sep 27, 2018 | 
 Away for GHC  | 
||
| Oct 2, 2018 | |||
| Oct 4, 2018 | 
 Solar-Lezama, Jones, and Bodik, "Sketching concurrent data structures", PLDI 2008  | 
||
| Oct 9, 2018 | 
 Kamil, Cheung, Itzhaky, and Solar-Lezama, "Verified lifting of stencil computations", PLDI 2016  | 
||
| Oct 11, 2018 | 
 Mandelin, Xu, Bodik, and Kimelman, "Jungloid mining: Helping to navigate the API jungle", PLDI 2005  | 
||
| Oct 16, 2018 | 
 Fall Break (No class)  | 
||
| Oct 18, 2018 | 
 Polozov and Gulwani, "FlashMeta: A Framework for Inductive Program Synthesis", OOPSLA 2015  | 
||
| Oct 23, 2018 | 
 Away for MICRO  | 
||
| Oct 25, 2018 | 
 Away for MICRO  | 
||
| Oct 30, 2018 | 
 Polozov, continued.  | 
||
| Nov 1, 2018 | 
 Polozov, continued.  | 
||
| Nov 6, 2018 | |||
| Nov 8, 2018 | 
 Alur et al., continued.  | 
||
| Nov 13, 2018 | |||
| Nov 15, 2018 | 
 Achour et al. continued  | 
||
| Nov 20, 2018 | 
 Brief presentations on independent reading  | 
||
| Nov 22, 2018 | 
 Thanksgiving Recess (No class)  | 
||
| Nov 27, 2018 | |||
| Nov 29, 2018 | 
 No class, office meetings for writing feedback  | 
||
| Dec 4, 2018 | |||
| Dec 6, 2018 | 
 Away for IPDPS PC  | 
||
| Dec 11, 2018 | 
 Last day of class  |