FC2Video

Sketching is a new programming model that incorporates localized software synthesis to make programming easier. The model is based on the observation that only some aspects of the program require the full insight and expertise of the programmer; the rest are low-level details needed to make the insights work. Sketching allows the programmer to focus the synthesizer on those low-level aspects while maintaining control over the implementation strategy. This makes programming easier while keeping the synthesis process scalable. This talk will describe the sketching programming model and its application to concurrent programming. The talk will describe the basic algorithms behind sketching, and the main insights that allow them to scale to interesting concurrent programming problems.