CS294-2: Software Synthesis, Spring 2006 (home)
| Date | Topic | Slides |
Paper |
homework | Notes and links |
|---|---|---|---|---|---|
Jan 17 |
Course objectives | -- |
|||
Jan 19 |
Sketching | select a paper on synthesis | |||
Jan 24 |
Prospector | summary of paper & sign up for a paper |
web demo, download | ||
Jan 26 |
Challenge problems | -- |
-- | ||
Jan 31 |
Transformational synthesis | paper summary | |||
Feb 2 |
Synthesis of concurrent garbage collectors | paper summary | guest speaker: Eran Yahav | ||
Feb 7 |
Synthesis of irregular codes | paper summary | the paper is a high-level overview; Armando will fill in the details, but you can them yourself here, starting on page 45. presenter: Armando |
||
Feb 9 |
Synthesis problems in OSKI | -- |
-- | guest speaker: Kathy Yelick | |
Feb 14 |
Synthesis of sorting algorithms | paper summary | Ras | ||
Feb 16 |
Denali | presenter: Dave | |||
Feb 21 |
Program differentiation | presenter: AJ | |||
Feb 23 |
Incrementalization across object abstraction | Ras | |||
Feb 28 |
canceled | ||||
Mar 2 |
KIDS | paper summaries | presenter: Gilad | ||
Mar 7 |
Autobayes | paper summaries | presenter: Wei | ||
Mar 9 |
Software Adapter Synthesis | presenter: Rusty (read also section 4.3 in the journal version) | |||
Mar 14 |
FLAME | paper summaries | speaker: Amir | ||
Mar 16 |
guest lecture, 2pm | speaker: Viktor Kuncak | |||
Mar 21 |
FFTW | presenter: Liviu | |||
Mar 23 |
Programming by Example | Ras | |||
Mar 28 |
spring break | ||||
Mar 30 |
spring break | ||||
Apr 4 |
Programming by demonstartion, generalization as search | presenters: Cindy, Thomas | |||
Apr 6 |
Sequential synthesis | presenter: Alan Mishchenko | |||
Apr 11 |
Improving Programmer Productivity in Scientific Programming | presenter: Jimmy | |||
Apr 13 |
Alloy | presenter: Manu | |||
Apr 18 |
KIDS: Planware and Specware | guest speaker: Doug Smith | |||
Apr 20 |
DiSTiL: a Transformation Library for Data Structures | presenter: Mark | |||
Apr 25 |
ALisp | guest speaker: Bhaskara Marthi | |||
Apr 27 |
project presentations I | ||||
May 2 |
no class (Ras traveling) | ||||
May 4 |
no class (EECS retreat) | ||||
May 9 |
project presentations II reports due Wed May 17 |