NSF Site Visit (20 Aug 2013, Tuesday)
Meeting Location
University of Pennsylvania
3330 Walnut Street
Levine Hall Room 307
Philadelphia, PA 19104
Entrance: Levine Hall is located in the middle of the block between 33rd and 34th on Walnut Street.
The closest parking lot is Chestnut 34.
AGENDA: [Download PRINT version here]
| 8:30 am - 9 am | BREAKFAST |
| 9 am - 9:30 am | ExCAPE Research Overview (Rajeev Alur / Penn) |
| 9:30 am - 10:30 am | Design Methodology |
| Solver-Aided Programming Languages: Construction, Education, and Outreach (Ras Bodik / UC Berkeley ) | |
| Autograder: Applying Synthesis for Automated Grading & Feedback (Armando Solar-Lezama/ MIT) | |
| Designing User Studies for Programming Tools (Bjoern Hartmann / UC Berkeley) | |
| 10:30 am - 10:40 am | COFFEE BREAK |
| 10:40 am - 12 noon | Challenge Problems |
| Synthesis for Distributed Protocols (Milo Martin / Penn) | |
| Synthesis for Robotics (Ruediger Ehlers / Cornell + UC Berkeley ) | |
| Synthesis for Networked Systems (Boon Thau Loo / Penn) | |
| Synthesis for Programming on Mobile Platforms (Jeff Foster / U of MD) | |
| 12 noon - 1 pm | LUNCH (with short presentations) |
| Automatatutor: Automatic Grading & Feedback for DFA Constructions (Loris D' Antoni / Penn) | |
| Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications (Salar Moarref / Penn) | |
| Network Management as a Synthesis Problem (Alexander Gurney / Penn) | |
| Learning to Predict a Correct Program in Program Synthesis (Rishabh Singh / MIT) | |
| Automatic Synthesis of Optimal Fixed-Point Programs (Indranil Saha / UCLA + Penn + UC Berkeley ) | |
| Natural Proofs for Structure, Data, and Separation (Xiaokang Qiu / UIUC + U of MD + MIT) | |
| On the Schedulability of Real-Time Discrete-Event Systems (Christos Stergiou / UC Berkeley + Penn ) | |
| 1 pm - 2 pm | Computational Engines |
| Supervisory Control, Concurrency Bugs, and Reactive Synthesis (Stephane Lafortune / U of MI) | |
| A Scalable and Nearly Uniform Generator of SAT Witnesses (Kuldeep Meel & Moshe Vardi / Rice) | |
| Synthesizing Robust Systems (Matthias Rungger & Paulo Tabuada / UCLA) | |
| 2 pm - 3 pm | Beyond Research |
| Education, Outreach, & Knowledge Transfer (Steve Zdancewic / Penn) | |
| Massively Empowered Classrooms: A Hybrid Model of Undergraduate Education in India (Madhu Parthasarathy/ UIUC) | |
| Broader Impacts, Collaboration & Management (Rajeev Alur / Penn) | |
| 3 pm - 3:10 pm | COFFEE BREAK |
| 3:10 pm - 4 pm | Meeting of NSF managers [Levine 612] |
| Meeting of Excape PIs and students/post-docs [Levine 307] | |
| 4 pm - 5 pm | Meeting of ExCAPE PIs with NSF program managers for feedback |
| 5:30 pm - 7 pm | DINNER |
Join in for: Live Website for Presentations [Click here to register]
_________________________________________________________________________
Local Lodging:
| 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