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

Conference Day
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 TipNortheastern University
09:00
15m
Welcome
ISSTA Keynotes
Tijs van der StormCWI, Frank TipNortheastern University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:15
60m
Talk
Solver-Aided Programming for All
ISSTA Keynotes
Emina TorlakUniversity of Washington

Conference Day
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): Frank TipNortheastern University, Tevfik BultanUniversity of California, Santa Barbara
14:00
60m
Talk
Test input generation with Java PathFinder: Then and Now
ISSTA Keynotes
Willem VisserStellenbosch University, Sarfraz KhurshidUniversity of Texas at Austin, Corina S. PăsăreanuNASA Ames Research Center
15:00
7m
Impact Paper Awards
ISSTA Keynotes
Tevfik BultanUniversity of California, Santa Barbara
15:07
7m
Distinguished Paper Awards
ISSTA Keynotes
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
15:14
7m
Talk
Distinguished Artifact Award
ISSTA Keynotes
Nico RosnerUniversity of California, Santa Barbara, Ben HermannUniversity of Paderborn
15:21
7m
Best Tool Demonstration Award
ISSTA Keynotes
Hamid BagheriUniversity of Nebraska-Lincoln, USA, Kathryn StoleeNorth Carolina State University

Conference Day
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 BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:00
60m
Talk
Pluggable Type Systems Reconsidered
ISSTA Keynotes
Michael D. ErnstUniversity of Washington, USA
10:00
30m
ISSTA 2019 Preview
ISSTA Keynotes
Anders MøllerAarhus University, Dongmei ZhangMicrosoft Research, China