Wouldn't it be great if programs could write themselves? Or at least help with the difficult parts of the code? Sketching is a new program synthesis technology that can help you write complicated code by deriving many of the tricky details for you. This short 3-day course will give you an introduction to this exciting new technology.This short course will serve as a quick introduction to this exciting technology. The first session will teach the basics of sketching, and the SKETCH synthesis tool through a series of fun exercises and examples. The next two sessions will turn you into an expert user; you will learn about the technology behind sketching, and the finer points of turning your insight into a sketch and using the synthesizer to derive the details for you. Finally the last session will put your new skills to the test through a programming competition where you will have the chance to win some cool prizes.
Experience Requirements: To get the most from the course, participants should have programming experience and basic knowledge of algorithms and linked datastructures.
Equipment Requirements: Participants should bring their own laptop. Before the first session, participants should install the SKETCH synthesis system version 1.3.
|1.3.0||01/09/09 5:56 PM PST *||All (source)||sketch-1.3.0.tar.gz|
|1.3.0||01/09/09 6:35 AM PST||Windows (binary)||SKETCH_1.3.0_win.zip|
|Date||Topics covered in class||Assignment||Slides|
|Mon Jan 12||Simple sketching exercises
|Tue Jan 13||Open programming exercise|
|Wed Jan 14||
|Thu Jan 15||
Grand Sketching Competition