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

Displayed 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 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)Tutorials at Room HTC 2
10:30
90m
Talk
T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material)
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 ProgramsTutorials at Room HTC 2
14:00
90m
Talk
T7: Trace-based Synchronization Synthesis for Concurrent Programs
Tutorials
Arjun Radhakrishna Microsoft, Roopsha Samanta IST 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 Radhakrishna Microsoft, Roopsha Samanta IST Austria

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change