ISSTA 2019 (series) /
KeynoteISSTA 2019
No information available yet.
Dates
Tracks
Plenary
Mon 15 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
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 Dinner | Reception for SPIN and Workshop attendees Catering |
Tue 16 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
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
Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 09:15 Talk | Welcome Keynote | ||
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 Dinner | Reception with posters Catering |
Thu 18 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
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 | ||
10:21 - 10:28 Awards | Best Tool Demonstration Award Keynote |
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 Dinner | Banquet Catering |
Fri 19 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
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 | |||