Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

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 NSF National Science Foundation Award CCF-1138996