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).


Format:

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.

Tutorials:
RBloem
Roderick Bloem (Graz)
Reactive Synthesis
Seshia
Sanjit Seshia (UC Berkeley)
Solvers, Synthesis, and Inductive Learning
ASolar
Armando Solar-Lezama (MIT)
Syntax-Guided Synthesis (SyGuS)
Vikash
Vikash K. Mansinghka (MIT)
Probabilistic programming
HadasKG
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:

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.

Lodging:

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. Available space will be allocated according to the following criteria: for students who complete the form before or on April 25, will be given priority according to the date when they first registered for the summer school. Students who complete the form after April 25 will be given priority based on the date when they completed the form. The accommodations will be available from Monday night to Saturday morning for the week of the summer school.

Some hotels in proximity, ask for MIT rate.





ExCAPE:

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: https://excape.cis.upenn.edu

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