Summer School, 12-15 June 2013

Venue: University of California, Berkeley

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 (computer-aided verification, control theory, program analysis), design methodology (human-computer interaction, model-based design, programming environments), and applications (concurrent programming, network protocols, robotics, system architecture).

Format: Each of three tutorial areas will be covered in three hours of lectures, plus additional hands on sessions on tools and problem solving. The tutorials will be complemented by several invited lectures on theory and applications of synthesis.

Agenda:

12 Jun (Wed)
9 am	"A Brief History of Synthesis: From Church to ExCAPE" \| Rajeev Alur (Penn)
10 am	Tutorial #1 - "Reactive Synthesis" \| Moshe Vardi (Rice)
11 am	BREAK
11:30 am	"Bridging the Gap between Reactive Synthesis and Supervisory Control" \| Stavros Tripakis (UC Berkeley)
12:30 pm	LUNCH
1:30 pm	"Integrating Induction, Deduction, and Structure for Synthesis" \| Sanjit Seshia (UC Berkeley)
2:30 pm	BREAK
3 pm	"Requirement Synthesis for Industrial-Scale Control Systems" \| Alexandre Donzé (UC Berkeley)
4 pm	BREAK
4:30 pm	"Supervisory Control for Avoidance of Concurrency Bugs" \| Stéphane Lafortune (U. Michigan)

13 Jun (Thurs)
9 am	Tutorial #1 - "Reactive Synthesis" \| Moshe Vardi (Rice)
10 am	Tutorial # 2 - "Synthesizing Programs with Constraint Solvers" \| Ras Bodik & Emina Torlak (UC Berkeley)
11 am	BREAK
11:30 am	Tutorial # 3 - "Synthesis for Cyber-Physical Systems" \| Paulo Tabuada (UCLA)
12:30 pm	LUNCH
1:30 pm	Tutorial #1 – Hands on \| Moshe Vardi (Rice) & Ruediger Ehlers (Cornell and UC Berkeley)
2:30 pm	BREAK
3 pm	"Synthesis for Computer-aided Education" \| Sumit Gulwani (Microsoft Research)
4 pm	BREAK
4:30 pm	"Synthesis for Embedded Control Software" \| Richard Murray (Caltech)

14 Jun (Fri)
9 am	Tutorial #1 - "From Verification to Synthesis" \| Moshe Vardi (Rice)
10 am	Tutorial # 2 - "Synthesizing Programs with Constraint Solvers" \| Ras Bodik & Emina Torlak (UC Berkeley)
11 am	BREAK
11:30 am	Tutorial # 3 - "Synthesis for Cyber-Physical Systems" \| Paulo Tabuada (UCLA)
12:30 pm	LUNCH
1:30 pm	Excursion - Alcatraz Island

15 Jun (Sat)
9 am	Tutorial # 2 - "Synthesizing Programs with Constraint Solvers" \| Ras Bodik & Emina Torlak (UC Berkeley)
10 am	Tutorial # 3 - "Synthesis for Cyber-Physical Systems" \| Paulo Tabuada (UCLA)
11 am	BREAK
11:30 am	"Synthesis via Numerical Optimizations" \| Armando Solar-Lezama (MIT)
12:30 pm	LUNCH
1:30 pm	Tutorial # 3 – Hands on \| Paulo Tabuada & Matthias Rungger (UCLA)
2:30 pm	BREAK
3 pm	Closing

Organizers:

Ras Bodik (Berkeley)

Stéphane Lafortune (University of Michigan)

Steve Zdancewic (University of Pennsylvania)

Registration: [CLOSED]

Registration is free and includes double-occupancy accommodations (nights of 11-14 Jun on campus), lunch and coffee breaks.

Note: Space is limited, therefore not all applications will be accepted.
Filling out the registration form does not guarantee admittance.

The ExCAPE (Expeditions in Computer Augmented Program Engineering) project is sponsored by the National Science Foundation. For more information, click [here].

_________________________________________________________________________

Local Lodging:

Note that all participants are offered dorm-style (shared) accomodation free of charge.
If participants choose to stay off campus, below is the list of other housing options available at their own expense.

Berkeley Lab Guest House

Reservations: [form]

Room pricing: singles start at $99

Berkeley City Club

Reservations: 510-848-7800

Room pricing: starting $120 during week days (ask UC Berkeley rate)

Berkeley Faculty Club

Reservations: 510-540-5678 ext 0

Room pricing: singles start at $125/ Doubles $140

Bancroft Hotel

Reservations: 510-549-1000

Room pricing: starting at $129 (ask for UC Berkeley rate)