ISSTA 2020 Preview (ISSTA 2019 - Keynote) - ISSTA 2019

Mon 15 - Fri 19 July 2019 Beijing, China

Who

Corina S Pasareanu, Sarfraz Khurshid

Track

ISSTA 2019 Keynote

When

Fri 19 Jul 2019 10:00 - 10:15 at Grand Ballroom - Keynote & ISSTA 2020 Preview

Corina S Pasareanu

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Sarfraz Khurshid

University of Texas at Austin

United States

Session Program

Fri 19 Jul

09:00 - 10:30: Keynote - Keynote & ISSTA 2020 Preview at Grand Ballroom

09:00 - 10:00
Talk

Keynote - The Theory and Practice of String Solvers

Adam KiezunPrincipal Engineer, Amazon Inc., Philip GuoUCSD, Pieter Hooimeijer Engineering Manager, Facebook Inc., Michael D. ErnstUniversity of Washington, USA, Vijay GaneshUniversity of Waterloo

10:00 - 10:15
Talk

ISSTA 2020 Preview

Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Sarfraz KhurshidUniversity of Texas at Austin