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.
| 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 is now closed. We might be able to accomodate a few exception. If you'd like to attend please email fisman@seas.upenn.edu. .
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
National Science Foundation Award CCF-1138996