ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China

No information available yet.

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

Conference Day
Tue 16 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Conference Day
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 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
17:30 - 20:00
Reception with postersCatering at Grand Ballroom
17:30
2h30m
Dinner
Reception with posters
Catering

Conference Day
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 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
17:45 - 21:00
17:45
3h15m
Dinner
Banquet
Catering

Conference Day
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 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