ISSTA 2018 - ISSTA Keynotes

Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands

co-located with ECOOP and ISSTA 2018

About
Program

Keynotes

	Title
	Best Tool Demonstration Award ISSTA Keynotes Hamid Bagheri, Kathryn Stolee
	Distinguished Artifact Award ISSTA Keynotes Nico Rosner, Ben Hermann
	Distinguished Paper Awards ISSTA Keynotes Eric Bodden
	ISSTA 2019 Preview ISSTA Keynotes Anders Møller, Dongmei Zhang
	Impact Paper Awards ISSTA Keynotes Tevfik Bultan
	Pluggable Type Systems Reconsidered ISSTA Keynotes Michael D. Ernst
	Solver-Aided Programming for All ISSTA Keynotes Emina Torlak
	Test input generation with Java PathFinder: Then and Now ISSTA Keynotes Willem Visser, Sarfraz Khurshid, Corina S. Păsăreanu
	Welcome ISSTA Keynotes Tijs van der Storm, Frank Tip, Eric Bodden

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Mon 16 Jul
Times are displayed in 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

Tue 17 Jul
Times are displayed in 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

Wed 18 Jul
Times are displayed in 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

ISSTA Keynotes

Keynotes

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

ECOOP and ISSTA 2018

Co-hosted Conferences

Workshops

ISSTA Keynotes

Keynotes

Program Display Configuration

Mon 16 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change