TAV-CPS/IoT 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Welcome & Keynote: TorlakISSTA Keynotes at Zurich II
Chair(s): Frank Tip Northeastern University
09:00
15m
Welcome
ISSTA Keynotes
Tijs van der Storm CWI, Frank Tip Northeastern University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:15
60m
Talk
Solver-Aided Programming for All
ISSTA Keynotes
Emina Torlak University of Washington

Tue 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Keynote: Visser, Khurshid, and Pasareanu & AwardsISSTA Keynotes at Zurich II
Chair(s): Tevfik Bultan University of California, Santa Barbara, Frank Tip Northeastern University
14:00
60m
Talk
Test input generation with Java PathFinder: Then and Now
ISSTA Keynotes
Willem Visser Stellenbosch University, Sarfraz Khurshid University of Texas at Austin, Corina S. Păsăreanu NASA Ames Research Center
15:00
7m
Impact Paper Awards
ISSTA Keynotes
Tevfik Bultan University of California, Santa Barbara
15:07
7m
Distinguished Paper Awards
ISSTA Keynotes
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
15:14
7m
Talk
Distinguished Artifact Award
ISSTA Keynotes
Nico Rosner University of California, Santa Barbara, Ben Hermann University of Paderborn
15:21
7m
Best Tool Demonstration Award
ISSTA Keynotes
Hamid Bagheri University of Nebraska-Lincoln, USA, Kathryn Stolee North Carolina State University

Wed 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Keynote: Ernst & ISSTA 2019 PreviewISSTA Keynotes at Zurich II
Chair(s): Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:00
60m
Talk
Pluggable Type Systems Reconsidered
ISSTA Keynotes
Michael D. Ernst University of Washington, USA
10:00
30m
ISSTA 2019 Preview
ISSTA Keynotes
Anders Møller Aarhus University, Dongmei Zhang Microsoft Research, China