Software Synthesis (Dagstuhl Seminar 12152)

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 12152 ``Software Synthesis''. During the seminar, several participants presented
their current research, ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar are put together in this paper.

The rise of multiprocesser computers and of software verification as applied
in industry combine to create an opportune moment for software synthesis.
To facilitate research in this area, research from several fields of Computer
Science presented tutorials on techniques they developed. This lead to (1) the definition of what challenges synthesis has to tackle in the future and (2) insights into how the several fields of synthesis are related.

Finally, several groups described their experience with teaching synthesis
to graduate and undergraduate students, demonstrating that synthesis is challenging for students but that they can also rise to the challenge and enjoy the field.