ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Fri 19 Jul 2019 10:00 - 10:15 at Grand Ballroom - Keynote & ISSTA 2020 Preview

Fri 19 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30
Keynote & ISSTA 2020 PreviewKeynote at Grand Ballroom
09:00
60m
Talk
Keynote - The Theory and Practice of String Solvers
Keynote
Adam Kiezun Principal Engineer, Amazon Inc., Philip Guo UCSD, Pieter Hooimeijer Engineering Manager, Facebook Inc., Michael D. Ernst University of Washington, USA, Vijay Ganesh University of Waterloo
10:00
15m
Talk
ISSTA 2020 Preview
Keynote
Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, Sarfraz Khurshid University of Texas at Austin