SQLInspect: A Static Analyzer to Inspect Database Usage in Java Applications (* ICSE 2018 * - DEMO - Demonstrations ) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Csaba Nagy, Anthony Cleve

Track

* ICSE 2018 * DEMO - Demonstrations

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

When

Thu 31 May 2018 12:00 - 12:30 at E1/B room - Static analysis Chair(s): Anne Koziolek

Csaba Nagy

Anthony Cleve

University of Namur

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

Session Program

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

	11:00 - 12:30	Static analysisDEMO - Demonstrations at E1/B room Chair(s): Anne Koziolek Karlsruhe Institute of Technology

	11:00 30m Demonstration		AnATLyzer: An Advanced IDE for ATL Model Transformations DEMO - Demonstrations Jesús Sánchez Cuadrado , Esther Guerra , Juan de Lara Pre-print Media Attached
	11:30 30m Talk		VisuFlow: a Debugging Environment for Static Analyses DEMO - Demonstrations Lisa Nguyen Quang Do Paderborn University, Stefan Krüger , Patrick Hill , Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication Pre-print
	12:00 30m Talk		SQLInspect: A Static Analyzer to Inspect Database Usage in Java Applications DEMO - Demonstrations Csaba Nagy , Anthony Cleve University of Namur