Schedule

This schedule is tentative and subject to change.

Date Readings Notes References
Aug 31, 2018

Introduction

Sep 4, 2018

Constraints

Sep 6, 2018

A Brief Overview of Hoare Logic

Sep 11, 2018

Sumit Gulwani, Dimensions in Program Synthesis, PPDP 2010

Sep 13, 2018

Sumit Gulwani, Dimensions in Program Synthesis, PPDP 2010

Sep 18, 2018

[Superoptimization] Schkufza, Sharma and Aiken, Stochastic Program Optimization, CACM 2016

Sep 20, 2018

[Superoptimization] Heule, Schkufza, Sharma and Aiken, Stratified synthesis: automatically learning the x86-64 instruction set, PLDI 2016

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

Solar-Lezama, Tancau, Bodik, Seshia and Saraswat, "Combinatorial sketching for finite programs", ASPLOS 2006

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

Alur et al., "Syntax-guided Synthesis", FMCAD 2013

Nov 8, 2018

Alur et al., continued.

Nov 13, 2018

Achour, Sarpeshkar, and Rinard, "Configuration synthesis for programmable analog devices with Arco", PLDI 2016

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

Abate, David, Kesseli, Kroening, and Polgreen, "Counterexample Guided Inductive Synthesis Modulo Theories", CAV 2018

Nov 29, 2018

No class, office meetings for writing feedback

Dec 4, 2018

Jeon, Qiu, Solar-Lezama, and Foster, Adaptive Concretization for Parallel Program Synthesis, CAV 2015

Dec 6, 2018

Away for IPDPS PC

Dec 11, 2018

Last day of class