Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering


ExCAPE Review Meeting


ExCAPE meeting will be held May 9-10, 2016 at Penn.

The first day will take place at Singh Center, Glandt Forum on 3205 Walnut Street Philadelphia, PA 19104.

The second day will take place at the School of Engineering and Applied Sciences, Levine Hall 307 on 3330 Walnut Street, Philadelphia, PA 19104-6389.

 

Program

Monday, May 9 @ Singh Center, Glandt Forum
 
10:00 - 10:20 Rajeev Alur (Penn) Overview of ExCAPE
10:20 - 10:30 Break
10:30 - 12:00 Madhusudan Parthasarathy (UIUC) Synthesis using Machine-Learning
  Kuldeep Meel (Rice) Constrained Sampling and Counting: When Practice Drives Theory
  Lucas Martinelli Tabajara (Rice) Boolean Functional Synthesis via Self-Substitution
  Arjun Radhakrishna (Penn) Scaling Enumerative Program Synthesis via Divide and Conquer
  Phitchaya Phothilimthana (Berkeley) Scaling up Superoptimization
12:00 - 1pm Lunch
1 - 2:30 Armando Solar-Lezama (MIT) Synthesis meets Probabilistic Reasoning
  Salar Moarref (Penn) Compositional Reactive Synthesis for Multi-Agent Systems
  Yasser Shoukry (Berkeley/UCLA) Motion Planning for LTL Specifications: A Satisfiability Modulo Convex Optimization Approach
  Jonathan DeCastro (Cornell) REASYNS: A Toolbox for Reactive Synthesis for Nonlinear Systems
  Keliang He (Rice) Manipulation Planning with Synergistic Framework
2:30 - 2:45 Break
2:45 - 4:15 Boon Thau Loo (Penn) Scenario-based Programming for SDN Policies
  Anudo Wang (Temple) Irrelevance reasoning for Software-defined Networking
  Yifei Yuan (Penn) NetQRE: Specification and Implementation of Quantitative Network Policies
  Shambwaditya Saha (UIUC) Netweork Synthesis
  Yue Wang (Rice) Task and Motion Policy Synthesis for Mobile Manipulation
4:15 - 4:30 Break
4:30 - 6:00 Panel Session Future of Formal Methods
Moderator: Rajeev Alur (Penn) Panelists: Patrice Godefroid (MSR), Insup Lee (Penn), Benjamin Pierce (Penn), Alberto Sangiovanni-Vincentelli (Berkeley)
6:00 - 7:00 Dinner
     
     
Tuesday, May 10 @ SEAS Levine Hall307
 
09:00- 10:10 Bjoern Hartmann & Gustavo Soares (Berkeley) Learning students' mistakes using examples
  Antonio Iannopollo (Berkeley) Constrained Synthesis from Component Libraries
  Konstantinos Mamouras (Penn) Representing and Evaluating Hierarchical Quantitative Queries over Streaming Data
  MukundĀ  Raghothaman (Penn) Code Search and Idiomatic Snippet Synthesis
10:10 - 10:30 Break
10:30 - 11:40 Sanjit Seshia (Berkeley) A Theory of Formal Inductive Synthesis
Dana Fisman (Penn) A Complexity Measure on Buchi Automata
  Nimit Singhania (Penn) Programmable and Formally Verified Loop Transformations
  Jeevana Priya (MIT) Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
11:40 - 1:30 Lunch & PIs Phone Meeting with NSF @ Levine 512
1:30 - 2:40 Stephane Lafortune (Michigan) Recent Progress on Synthesis of Privacy-Enforcing Strategies
  Eunsuk Kang (Michigan) Reasoning about security across abstraction boundaries
  Xiang Yin (Michigan) On the maximally-permissive range control problem in partially-observed discrete event systems
  Eric Dallal (UCLA) Robust Synthesis for Unmodeled Disturbances
2:40 - 3:00 Break
3:00 - 4:10 Stavros Tripakis (Berkeley) Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
  Markus Rabe (Berkeley) A new approach to solving 2QBF
  Rohit Singh (MIT) Using Program Synthesis for Large Scale Database Entity Resolution
  Nadia Polikarpova (MIT) Program Synthesis from Refinement Types

 

Registration

Registration is now closed. We might be able to accomodate a few exception. If you'd like to attend please email fisman@seas.upenn.edu. .

Lodging Information

Group rates have been arranged with Sheraton Philadelphia University City Hotel for the nights of May 8 and May 9. Please be advised that the group rate is available until April 7, subject to availability. Booking link was distributed among ExCAPE PIs.

Below please find other lodging options.

Sheraton Philadelphia University City Hotel
3549 Chestnut Street
Philadelphia, PA 19104
Phone: (215) 387-8000
The Inn at Penn
3600 Sansom Street
Philadelphia, PA 19104
Phone: (215) 222-0200
Club Quarters in Philadelphia
1628 Chestnut Street
(At 17th Street)
Philadelphia, PA 19103
Phone: (215) 282-5000
Sheraton Philadelphia Downtown Hotel
201 North 17th Street
Philadelphia, PA 19103
Phone: (215) 448-2000

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