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 - 11:00 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 - 16:00 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 - 20:00 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 - 11:00 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 - 14:00 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 - 16:00 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 - 21:30 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 - 09:15 Talk		Welcome Keynote Dongmei ZhangMicrosoft Research, China, Anders MøllerAarhus University
	09:15 - 10:30 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 - 11:00 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 - 14:00 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 - 16:00 Break		Mini Break Catering

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

	17:30 - 20:00 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 - 10:00 Talk		Keynote - From Typestate Verification to Interpretable Deep Models Keynote Eran YahavTechnion, Stephen J FinkIBM, Nurit Dor, G. RamalingamMicrosoft Research, Emmanuel GeayWayfair
	10:00 - 10:07 Awards		Impact Paper Awards Keynote Dongmei ZhangMicrosoft Research, China
	10:07 - 10:14 Awards		Distinguished Paper Awards Keynote Anders MøllerAarhus University
	10:14 - 10:21 Awards		Distinguished Artifact Awards Keynote Dan HaoPeking University, Michael PradelTU Darmstadt and Facebook
	10:21 - 10:28 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 - 11:00 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 - 14:00 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 - 16:00 Break		Mini Break Catering

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

	17:45 - 21:00 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 - 10:00 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 - 10:15 Talk		ISSTA 2020 Preview Keynote Corina S PasareanuCarnegie 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 - 11:00 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 - 14:00 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 - 16:00 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