License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
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://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3595/
Go back to Dagstuhl Reports

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:
dagrep_v002_i004_p021_s12152.pdf (0.7 MB)

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 =		{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
Collection: Dagstuhl Reports, Volume 2, Issue 4
Issue Date: 2012
Date of publication: 10.09.2012

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI