Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

Annual Meeting, 10-11 March 2014

This year's ExCAPE annual spring meeting will be held jointly with the Austrian Research Netwrork (ARiSE) in Berkeley, California.

 

Registration - CLOSED

Registration is free of charge.

 

Meeting Location 

The meeting will be held at UC Berkeley Campus. First day will be in Cory Hall, Room 540AB. Second day will be at Sutardja Dai Hall. Both locations are highlighted [here].

 

Lodging 

We have arranged a discounted rate with the Claremont hotel. Registration link/code will be emailed to all registrants.

 

Agenda 

This year's program consists of a lot of short talks, organized around ExCAPE's themes. You can find below the session's program, and then the talks. Printable version is available here: Program.pdf.

Day 1 (Corry Hall, Room 540AB)
08:25-08:30 Welcome
08:30-09:30 Computational Engines
09:30-10:00 Coffee
10:00-11:00 Design Methodology
11:00-12:00 Networked Systems
12:00-13:00 Lunch
13:00-14:00 Distributed Protocols
14:00-15:00 Industry Session
15:00-15:30 Coffee
15:30-17:00 Robotic Systems
18:00-... Dinner at the Claremont Hotel
18:15-18:45 Edward Lee (UC Berkeley) - The TerraSwarm Research Center
Day 2 (Sutardja Dai Hall)
08:30-09:30 Online Education
09:30-10:00 Coffee
10:00-11:00 Theoretical Foundations
11:00-12:00 Tools & Infrastructure
12:00-13:00 Lunch
13:00-14:00 Programming for Mobiles Apps
14:00-14:30 NSF - PI meeting
14:30-15:30 PI Meeting
15:30-16:00 Coffee
16:00-17:30 PI Meeting


The talks, organized per session are listed below. Sessions corresponding to challenge problems start with an overview and end with a discussion. You are invited to look at the discussion questions, and think about them up front.


Computational Engines - Chair: Bloem (TU Graz)
Stephane Lafortune (Michigan) Synthesis of Event Insertion Functions for Enforcement of Opacity Security Properties
Paulo Tabuada (UCLA) Synthesis for robust CPS
Kuldeep Meel (Rice) Sampling techniques in SAT
Moshe Vardi (Rice) Solving stochastic parity games with incomplete information
Loris D'Antoni (Penn) Symbolic automata/transducers and their applicationsĀ 
Design Methodology - Chair: Bodik (Berkeley)
Ras Bodik (Berkeley) Overview
Rohit Singh (MIT) Modular Synthesis of Sketches using Models
Antonio Iannopollo (Berkeley) Library-Based Scalable Refinement Checking for Contract-Based Design
Stavros Tripakis (Berkeley) Basic Problems in Multi-View Modeling
Christoph Kirsch (Salzburg) RiSE: Relaxed Systems Engineering?
Discussion
Networked Systems - Chair: Loo (Penn)
Boon Thao Loo (Penn) Overview
Chen Chen (Penn) Compositional Verification of Software-defined Networking Protocols
Yifei Yuan (Penn) Synthesizing Software-defined Networking Protocols by Examples
P. Madhusudan (UIUC) Network Synthesis
Alex Gurney (Penn) Network Routing Management by User-guided Synthesis
Pavol Cerny (U Colorado) Synthesis for Network Updates
Discussion
How can other ExCAPE PIs get involved? What computational techniques and existing tools can help address scaling issues in our domain? Our problem domain (in particular SDN) is considered a hot topic in networking. Most of the relevant work has focused on programming languages and verification. How can we make a strong play given the synthesis angle?
Distributed Protocols - Chair: Alur (Penn)
Overview
Phitchaya Mangpo Phothilimthana (UC Berkeley) Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures
Christos Stergiou (Berkeley/Penn) Specifying Protocols using Scenarios and Requirements
Abhishek Udupa (Penn) Synthesis / Protocol Completion
Arjun Radhakrishna (IST Austria) Synchronization Synthesis for Device Drivers
Discussion
Robotics Systems - Chair: Kress-Gazit (Cornell)
Hadas Kress-Gazit (Cornell) Overview
Morteza Lahijanian (Rice) LTL Planning for Complex Dynamical Systems in Partially Unknown Environments with Maximal Satisfaction Guarantees
Matthias Rungger (UCLA) Synthesis via sampling based abstractions
Jon DeCastro (Cornell) Abstractions and revisions for synthesis for non-linear robots
Indranil Saha (UC Berkeley, Penn) Compositional Synthesis of Multi-Robot Motion Plans via SMT Solving
Antonio Iannopollo (UC Berkeley) Cost driven motion planner synthesis for a robotic swarm
Salar Moarref (Penn) Automatic generation of Invarinat Assumptions for Reactive Synthesis
Discussion
Can we synthesize low-level control?
Industry Session - Chair: Fisman (Penn)
Sumit Gulwani (Microsoft) Inductive Meta-Synthesizers
Patrice Godefroid (Microsoft) Dynamic Program Verification + Micro Execution
Jyo Deshmukh (Tema Toyota) Simulation-Guided Formal Analysis
Susmit Jha (Intel) Adaptive Computing using Automated Synthesis
OnlineEducation - Chair: Alur (Penn)
Overview
Loris D'Antoni (Penn) Teaching finite automata with AutomataTutor
Rishabh Singh (MIT) Towards an Intelligent Tutoring system for Introductory Programming Problems
Peter Michael Osera (Penn) Teaching Induction with Functional Programming and a Proof Assistant
Florian Zuleger (TU Vienna): Feedback generation for performance problems
Garvit Juniwal (Berkeley) CPSGrader: Synthesis of Temporal Logic Testers for Auto-Grading
Discussion
How can other ExCAPE PIs get involved? Can similar tutoring systems be designed for other courses? Can current systems be improved using other computational techniques? How can we collaborate with researchers with expertise in education?
Theoretical Foundations - Chair: Vardi (Rice)
Mukund Raghothaman (Penn) Regular Combinators for String Transformations
Krishnendu Chatterjee (IST) Multi-dimentional Mean-payoff Games
Swen Jacobs (TUGraz) Parameterized Synthesis
Radu Grosu (TU Vienna) Compositionality Results for delta-Bisimulations
Arjun Radhakrishna (IST) Quantitative synthesis
Georg Weissenbacher (TU Wien) Interpolants and proof reduction
Tools & Infrastructure - Chair: Zdancewic (Penn)
Roderick Bloem (TU Graz) Synthesis of Concurrency Constructs
Swen Jacobs (TU Graz) SYNTCOMP
Dana Fisman (Penn) Syntax-Guided Synthesis
Pranav Garg (UIUC) Invariant Synthehis
Mobile Platforms - Chairs: Solar-Lezama & Foster
Armando Solar-Lezama (MIT) Overview
Jinseong Jeon (umd) Synthesizing Models of the Observer Pattern for Event-Driven Frameworks
Alvin Cheung (MIT) Lifejoin
Shaon Barman (Berkeley) On programming by demonstration for the web browser
Sarah Chasins (Berkeley) On programming by demonstration for web scraping targeted at social scientist
Joel Galenson (Berkeley) CodeHint
Discussion
How are problems in the mobie space related to problems in other problem domains?