Aim and Scope

Formal synthesis has been investigated in various contexts, but had limited success in practice. The increasing importance of software systems, and the inherent difficulty in verifying them postfactum, provide an exciting practical setting for investigation of formal synthesis.

The aim of this workshop is to bring together researchers to exchange and develop new ideas in all aspects of formal program synthesis, with emphasis on concurrent systems. We invite contributions from a wide spectrum of areas, ranging from basic theory to applied practical work.

Speakers

David Bacon   Liquid Metal: Synthesizing Hardware From High-Level Programs slides
Armando Solar-Lezama   Constraint Based Synthesis for Beginners slides
Frank Tip   Automatic Repair of HTML Generation Errors in PHP Applications slides
Junfeng Yang   Efficiently and Stably Making Threads Deterministic  
Ben Liblit   Automated Atomicity-Violation Fixing slides