License
when quoting this document, please refer to the following
DOI: 10.4230/DagRep.2.4.21
URN: urn:nbn:de:0030-drops-35956
URL: http://drops.dagstuhl.de/opus/volltexte/2012/3595/

Bodík, Rastislav ; Gulwani, Sumit ; Yahav, Eran
Weitere Beteiligte (Hrsg. etc.): Ratislav Bodik and Sumit Gulwani and Eran Yahav

Software Synthesis (Dagstuhl Seminar 12152)

pdf-format:
Dokument 1.pdf (741 KB)


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.

BibTeX - Entry

@Article{bodk_et_al:DR:2012:3595,
  author =	{Rastislav Bod{\'i}k and Sumit Gulwani and Eran Yahav},
  title =	{{Software Synthesis (Dagstuhl Seminar 12152)}},
  pages =	{21--38},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{4},
  editor =	{Ratislav Bodik and Sumit Gulwani and Eran Yahav},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3595},
  URN =		{urn:nbn:de:0030-drops-35956},
  doi =		{http://dx.doi.org/10.4230/DagRep.2.4.21},
  annote =	{Keywords: Software Synthesis, Verification and Model Checking, Theorem Proving, Program Analysis, Programming by Demonstration, Program Derivation, }
}

Keywords: Software Synthesis, Verification and Model Checking, Theorem Proving, Program Analysis, Programming by Demonstration, Program Derivation,
Freie Schlagwörter (englisch): Compiler Optimization
Seminar: Dagstuhl Reports, Volume 2, Issue 4
Issue date: 2012
Date of publication: 10.09.2012


DROPS-Home | Fulltext Search | Imprint Published by LZI