Summer School on Software Synthesis

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.