Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

Summer School on Software Synthesis, June 23-26, 2015
Venue: MIT, Cambridge, USA

ExCAPE (Expeditions in Computer Augmented Program Engineering) is pleased to announce that its Second Summer School on Software Synthesis will be held at MIT, June 23-26, 2015.

Program synthesis aims to change programming from a purely manual task to one in which a programmer and an automated program synthesis tool collaborate to generate software that meets its specification. As such, it has the potential to revolutionize computing by allowing developers to create programs from incomplete sketches, declarative specifications of high-level requirements, positive and negative examples, or domain-specific optimization criteria.

The goal of the school is to expose graduate students and junior researchers to new ideas in program synthesis. The school provides a unique opportunity for students to engage with cutting-edge research in courses taught by experts in the field. Topics will be drawn from theoretical foundations (reactive synthesis, inductive learning, probabilistic programming), design methodology (syntax-guided synthesis), and applications (software-defined networks, robotics).


18 one-hour lectures over four days, with a group excursion on the afternoon of day 3. These lectures will be organized in tutorials with hands on sessions on tools and problem solving, supplemented by invited lectures on theory and applications of synthesis.

Roderick Bloem (Graz)
Reactive Synthesis
Sanjit Seshia (UC Berkeley)
Inductive learning and constraint solving
Armando Solar-Lezama (MIT)
Syntax-Guided Synthesis (SyGuS)
Vikash K. Mansinghka (MIT)
Probabilistic programming
Hadas Kress-Gazit (Cornell) or alternate:
Synthesis for robotics
Speakers: Organizers:

Armando Solar-Lezama (MIT)
St├ęphane Lafortune (University of Michigan)
Steve Zdancewic (University of Pennsylvania)


Registration is free and will include lunches and coffee breaks. Participants will assume their transportation and lodging expenses. Limited need-based financial assistance to cover attendance costs is available to student enrollees. Registration link is avialble here. To cancel a registation press here.


Dorm-style lodging will be available for the event through MIT housing. More information about this option will be posted in mid March.

Other lodging information suggestions:


The first ExCAPE Summer School on Software Synthesis was held at UC Berkeley in June 2013 and attracted about 90 participants from 12 countries. The ExCAPE project is sponsored by the National Science Foundation. For more information, see:

ExCAPE: Expeditions in Computer Augmented Program Engineering NSF National Science Foundation Award CCF-1138996