[TYPES/announce] Call for participation: ExCAPE 2013 Summer School on Software Synthesis

[Stephan Zdancewic]

Call for Participation

First ExCAPE Summer School on
Software Synthesis


June 12-15, 2013
University of California, Berkeley
https://excape.cis.upenn.edu/summer-school.html


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.


Tutorials:
* Ras Bodik and Emina Torlak (UC Berkeley):
Synthesizing programs with constraint solvers

* Paulo Tabuada (UCLA):
Synthesis for cyber-physical systems

* Moshe Vardi (Rice):
Reactive synthesis


Speakers: (partial list)

1. Rajeev Alur (U. Penn): Specifying protocols using concolic snippets

2. Sumit Gulwani (Microsoft Research): Synthesis for online education

3. Stéphane Lafortune (U. Michigan): Synthesis for discrete event
systems: A case study

4. Richard Murray (Caltech): Synthesis for embedded control software

5. Sanjit Seshia (UC Berkeley): Integrating induction, deduction, and
structure for synthesis

6. Armando Solar-Lezama (MIT): Synthesis via numerical optimizations

7. Stavros Tripakis (UC Berkeley): Bridging the gap between reactive
synthesis and supervisory control

8. Gera Weiss (Ben Gurion U.): Behavioral programming


Venue:

The school will be held on the campus of the University of California,
Berkeley.


Organizers:
Ras Bodik (Berkeley)
Stéphane Lafortune (University of Michigan)
Steve Zdancewic (University of Pennsylvania)


Registration: Registration information is available from the summer
school’s web page at:
https://excape.cis.upenn.edu/summer-school.html


Registration is free and includes lunch and coffee breaks. Limited and
need-based financial assistance to cover travel/lodging costs is
available. Please contact Liz Ng (wng at cis.upenn.edu) with questions
regarding the logistics.