CPP 2016
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 number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 18 Jan

POPL-2016-tutorials
08:30 - 10:00: Tutorials - T3: Syntax-Guided Synthesis (SyGuS) at Room HTC 2
POPL-2016-tutorials08:30 - 10:00
Talk
Rajeev AlurUniversity of Pennsylvania, Dana FismanUniversity of Pennsylvania, Rishabh SinghMicrosoft Research, Armando Solar-LezamaMIT
Link to publication
POPL-2016-tutorials
10:30 - 12:00: Tutorials - T3: Syntax-Guided Synthesis (SyGuS) at Room HTC 2
POPL-2016-tutorials10:30 - 12:00
Talk
Rajeev AlurUniversity of Pennsylvania, Dana FismanUniversity of Pennsylvania, Rishabh SinghMicrosoft Research, Armando Solar-LezamaMIT
Link to publication
POPL-2016-tutorials
14:00 - 15:30: Tutorials - T7: Trace-based Synchronization Synthesis for Concurrent Programs at Room HTC 2
POPL-2016-tutorials14:00 - 15:30
Talk
Arjun RadhakrishnaMicrosoft, Roopsha SamantaIST Austria
POPL-2016-tutorials
16:00 - 17:30: Tutorials - T7: Trace-based Synchronization Synthesis for Concurrent Programs at Room HTC 2
POPL-2016-tutorials16:00 - 17:30
Talk
Arjun RadhakrishnaMicrosoft, Roopsha SamantaIST Austria