07. – 12. August 2011, Event 11322

Summer School on Software Synthesis


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

Auskunft zu diesem Event erteilt

Heike Clemens


Externe Homepage
Programm des Events [pdf]


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.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.