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 |