ISSTA 2018 - ISSTA Keynotes -

Mon 16 - 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
	Impact Paper Awards ISSTA Keynotes Tevfik Bultan
	ISSTA 2019 Preview ISSTA Keynotes Anders Møller, Dongmei Zhang
	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
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

ISSTA Keynotes

Keynotes

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

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

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

Tracks

Co-hosted Conferences

Workshops

ISSTA Keynotes

Keynotes

Program Display Configuration

Mon 16 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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