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.
Reservations: [form]
Room pricing: singles start at $99
Reservations: 510-848-7800
Room pricing: starting $120 during week days (ask UC Berkeley rate)
Reservations: 510-540-5678 ext 0
Room pricing: singles start at $125/ Doubles $140
Reservations: 510-549-1000
Room pricing: starting at $129 (ask for UC Berkeley rate)
Reservations: 1-866-466-9199
Room pricing: starting at $159 (ask for UC Berkeley rate)
Reservations: 510-845-8981
Room pricing: $159 (ask for UC Berkeley rate)
Reservations: 1-800-551-7266
Room pricing: starting at $169 (ask for UC Berkeley rate)