http://www.dagstuhl.de/11322

August 7th – August 12th 2011, Event 11322

Summer School on Software Synthesis

Organizers

Rastislav Bodik (University of California - Berkeley, US)
Viktor Kuncak (EPFL - Lausanne, CH)
Eran Yahav (Technion - Haifa, IL)


For support, please contact

Heike Clemens

Documents

External Homepage
Event Schedule [pdf]

Art exhibition opens on Tuesday August 9

All participants are invited to attend after dinner on 7:30 pm.
More information here .

Motivation

Software synthesis in various forms has recently gained the attention of researchers as well as some practitioners. The techniques used to synthesize software include deductive synthesis, game-based synthesis, autotuning, invariants inference, genetic programming, program differencing, and inductive synthesis from partial programs.

We have recently organized a successful Dagstul seminar (09501) ons oftware synthesis, which has shown that these communities have a lot to learn from each other.

A conclusion from this seminar was to organize a summer school. The school should have three goals:

  • give students access to the nice tutorial talks presented at 09501
  • allow students to learn complementary techniques before they venture into their PhD work, hoping that their dissertation will bridge these areas
  • make students aware of software problems that may be solvable with synthesis

This summer school is supported in part by a travel grant from COST Action IC0901: Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems.

Online Publications

We offer several possibilities to publish the results of your event. Please contact marc.herbstritt(at)dagstuhl.de if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.