Write a Blog >>
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change