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 |