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

Tue 16 Jul

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

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 Meta, Alexandru Marginean University College London, UK, Alexander Mols Facebook, Hila Peleg Technion, Israel, Federica Sarro University College London, UK, Ilya Zorin Facebook
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
17:45 - 21:00
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