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

Mon 15 - Fri 19 July 2019 Beijing, China

Who

Corina S. Păsăreanu, Sarfraz Khurshid

Track

ISSTA 2019 Keynote

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

Corina S. Păsăreanu

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Sarfraz Khurshid

University of Texas at Austin

United States

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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