ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Thu 18 Jul 2019 10:21 - 10:28 at Grand Ballroom - Keynote & Award Presentation

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30
Keynote & Award PresentationKeynote at Grand Ballroom
09:00
60m
Talk
Keynote - From Typestate Verification to Interpretable Deep Models
Keynote
Eran YahavTechnion, Stephen J FinkIBM, Nurit Dor, G. RamalingamMicrosoft Research, Emmanuel GeayWayfair
10:00
7m
Awards
Impact Paper Awards
Keynote
Dongmei ZhangMicrosoft Research, China
10:07
7m
Awards
Distinguished Paper Awards
Keynote
Anders MøllerAarhus University
10:14
7m
Awards
Distinguished Artifact Awards
Keynote
Dan HaoPeking University, Michael PradelTU Darmstadt and Facebook
10:21
7m
Awards
Best Tool Demonstration Award
Keynote
Alessandra GorlaIMDEA Software Institute, Hongyu ZhangThe University of Newcastle