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
Times are displayed in 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
Times are displayed in 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
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

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

09:00 15m Talk		Welcome Keynote Dongmei ZhangMicrosoft Research, China, Anders MøllerAarhus University
09:15 75m Talk		Keynote by Mark Harman - Some Challenges for Software Testing Research" Keynote Nadia AlshahwanFacebook, Andrea CianconeFacebook, Mark HarmanFacebook and University College London, Yue JiaUniversity College London, Ke MaoFacebook, Alexandru MargineanUniversity College London, UK, Alexander MolsFacebook, Hila PelegTechnion, Israel, Federica SarroUniversity College London, UK, Ilya ZorinFacebook

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
Times are displayed in 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 YahavTechnion, Stephen J FinkIBM, Nurit Dor, G. RamalingamMicrosoft Research, Emmanuel GeayWayfair
10:00 7m Awards		Impact Paper Awards Keynote Dongmei ZhangMicrosoft Research, China
10:07 7m Awards		Distinguished Paper Awards Keynote Anders MøllerAarhus University
10:14 7m Awards		Distinguished Artifact Awards Keynote Dan HaoPeking University, Michael PradelTU Darmstadt and Facebook
10:21 7m Awards		Best Tool Demonstration Award Keynote Alessandra GorlaIMDEA Software Institute, Hongyu ZhangThe 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
Times are displayed in 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 KiezunPrincipal Engineer, Amazon Inc., Philip GuoUCSD, Pieter Hooimeijer Engineering Manager, Facebook Inc., Michael D. ErnstUniversity of Washington, USA, Vijay GaneshUniversity of Waterloo
10:00 15m Talk		ISSTA 2020 Preview Keynote Corina S. PăsăreanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Sarfraz KhurshidUniversity 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
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Competitions

KeynoteISSTA 2019

Program Display Configuration

Mon 15 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change