PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
VenueHilton St. Petersburg Bayfront
Room nameRoom HTC 2
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
T3: Syntax-Guided Synthesis (SyGuS)POPL Tutorials at Room HTC 2
08:30
90m
Talk
T3: Syntax-Guided Synthesis (SyGuS)
POPL Tutorials
Rajeev Alur University of Pennsylvania, Dana Fisman University of Pennsylvania, Rishabh Singh Microsoft Research, Armando Solar-Lezama MIT
Link to publication
10:30 - 12:00
T3: Syntax-Guided Synthesis (SyGuS)POPL Tutorials at Room HTC 2
10:30
90m
Talk
T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material)
POPL Tutorials
Rajeev Alur University of Pennsylvania, Dana Fisman University of Pennsylvania, Rishabh Singh Microsoft Research, Armando Solar-Lezama MIT
Link to publication
14:00 - 15:30
T7: Trace-based Synchronization Synthesis for Concurrent ProgramsPOPL Tutorials at Room HTC 2
14:00
90m
Talk
T7: Trace-based Synchronization Synthesis for Concurrent Programs
POPL Tutorials
Arjun Radhakrishna Microsoft, Roopsha Samanta IST Austria
16:00 - 17:30
T7: Trace-based Synchronization Synthesis for Concurrent ProgramsPOPL Tutorials at Room HTC 2
16:00
90m
Talk
T7: Trace-based Synchronization Synthesis for Concurrent Programs
POPL Tutorials
Arjun Radhakrishna Microsoft, Roopsha Samanta IST Austria

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change