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

Thu 18 Jul

Displayed 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 Yahav Technion, Stephen J Fink IBM, Nurit Dor , G. Ramalingam Microsoft Research, Emmanuel Geay Wayfair
10:00
7m
Awards
Impact Paper Awards
Keynote
Dongmei Zhang Microsoft Research, China
10:07
7m
Awards
Distinguished Paper Awards
Keynote
Anders Møller Aarhus University
10:14
7m
Awards
Distinguished Artifact Awards
Keynote
Dan Hao Peking University, Michael Pradel TU Darmstadt and Facebook
10:21
7m
Awards
Best Tool Demonstration Award
Keynote
Alessandra Gorla IMDEA Software Institute, Hongyu Zhang The University of Newcastle