ISSTA 2019 - Keynote

About
Program

No information available yet.

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

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 15 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

10:30 - 11:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4

10:30 30m Break		Mini Break Catering

	10:30 - 11:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8

	12:30 - 14:00	LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe

15:30 - 16:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4

15:30 30m Break		Mini Break Catering

	15:30 - 16:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8

17:30 - 20:00	Reception for SPIN and Workshop attendeesCatering at Function Room A

17:30 2h30m Dinner		Reception for SPIN and Workshop attendees Catering

Tue 16 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	10:30 - 11:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Function Room B

10:30 - 11:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4

10:30 30m Break		Mini Break Catering

	10:30 - 11:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8

	10:35 - 11:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 2

12:30 - 14:00	LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe

12:30 90m Lunch		Lunch Catering

	15:30 - 16:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Function Room B

	15:30 - 16:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 2

15:30 - 16:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4

15:30 30m Break		Mini Break Catering

	15:30 - 16:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8

18:00 - 21:30	OC DinnerCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at the lobby of the conference venue

18:00 3h30m Dinner		OC Dinner Catering

Wed 17 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30	Welcome & KeynoteKeynote at Grand Ballroom

09:00 15m Talk		Welcome Keynote Dongmei Zhang Microsoft Research, China, Anders Møller Aarhus University
09:15 75m Talk		Keynote by Mark Harman - Some Challenges for Software Testing Research" Keynote Nadia Alshahwan Facebook, Andrea Ciancone Facebook, Mark Harman Facebook and University College London, Yue Jia University College London, Ke Mao Facebook, Alexandru Marginean University College London, UK, Alexander Mols Facebook, Hila Peleg Technion, Israel, Federica Sarro University College London, UK, Ilya Zorin Facebook

10:30 - 11:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom

10:30 30m Break		Mini Break Catering

12:30 - 14:00	LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom

15:30 30m Break		Mini Break Catering

17:30 - 20:00	Reception with postersCatering at Grand Ballroom

17:30 2h30m Dinner		Reception with posters Catering

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

10:30 - 11:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom

10:30 30m Break		Mini Break Catering

12:30 - 14:00	LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom

15:30 30m Break		Mini Break Catering

17:45 - 21:00	BanquetCatering at Yuxiandu Chinese Royal Gastronomy Museum

17:45 3h15m Dinner		Banquet Catering

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

10:30 - 11:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom

10:30 30m Break		Mini Break Catering

12:30 - 14:00	LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom

15:30 30m Break		Mini Break Catering

	18:00 - 21:30	PC DinnerCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at the lobby of the conference venue

KeynoteISSTA 2019

Mon 15 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Competitions

KeynoteISSTA 2019

Program Display Configuration

Mon 15 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 15 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change