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 |