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, building 34, classroom 101 (map).

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)
Solvers, Synthesis, and Inductive Learning
Armando Solar-Lezama (MIT)
Syntax-Guided Synthesis (SyGuS)
Vikash K. Mansinghka (MIT)
Probabilistic programming
Vasumathi Raman (Caltech)
Synthesis for robotics
Viktor Kuncak (EPFL)
Constructing Verified Scala Software using Leon
Ashish Tiwari (SRI)
Synthesis using Dual Interpretation
Martin Vechev (ETH)
Machine Learning for Programming
David Walker (Princeton)
Programming Software-Defined Networks
Keith Winstein (Stanford)
TCP ex Machina: computer-generated protocols for decentralized sharing on the Internet
Steve Zdancewic (Penn)
Type-directed Program Synthesis

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


  Tuesday 6/23 Wednesday 6/24 Thursday 6/25 Friday 6/26
08:30 Sanjit Seshia: Synthesis and Inductive Learning (3/3)
09:00 Opening session Ashish Tiwari: Synthesis using Dual Interpretation   David Walker: Programming Software-Defined Networks
09:30     Roderick Bloem: Reactive synthesis 2/3  
10:00 Armando Solar-Lezama: SyGuS 1/2 Roderick Bloem: Reactive synthesis 1/3   Vasumathi Raman: Synthesis for Robotics 2/2
10:30     Board bus (with grabbed lunch)  
11:00 Break Break Excursion Break
11:30 Martin Vechev: Machine Learning for Programming Sanjit Seshia: Synthesis and Inductive Learning 2/3i to Fort Warren historic fort on Georges Island Vikash Mansinghka: Probabilistic Programming 2/2
12:30 Lunch Lunch   Lunch
01:30 Sanjit Seshia: Synthesis and Inductive Learning 1/3 Armando Solar-Lezama: SyGuS 2/2 Roderick Bloem: Reactive synthesis 3/3
02:30 Break Break   Keith Winstein: TCP ex Machina: computer-generated protocols for decentralized sharing on the Internet
03:00 Vikash Mansinghka: Probabilistic Programming 1/2 Viktor Kuncak: Constructing Verified Scala Software using Leon  
03:30     Closing session  
04:00 Break      
04:30 Steve Zdancewic: Type-directed Program Synthesis Vasumathi Raman: Synthesis for Robotics 1/2    



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. We have a limited number of shared dorm rooms available for students participating in the summer school. The rate is $48.50 per night per student in a shared double room, which is significantly cheaper than hotel rates in the area. If you are interested, please complete the following form. The dorms are fully booked. Those who registered for the dorms, can find here some useful information.

Some hotels in proximity, ask for MIT rate.


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