Cairo - ISSTA 2018

VenueMövenpick Hotel Amsterdam City Centre

Room nameCairo

Floor0

Room InformationNo extra information available

Program

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

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

11:00 - 12:30	Session IDPA at Cairo Chair(s): Max Schaefer Semmle

11:00 30m Talk		Program Analysis with Flix DPA Magnus Madsen Aalborg University
11:30 30m Talk		IncAL - Incrementalizing Lattice-Based Program Analyses DPA Tamás Szabó itemis AG / TU Delft, Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Sebastian Erdweg TU Delft, Markus Voelter itemis File Attached
12:00 30m Talk		Simple encoding of lattices in Datalog DPA Rei Thiessen Google Inc. File Attached

14:00 - 15:30	Session IIDPA at Cairo Chair(s): Magnus Madsen Aalborg University

14:00 30m Talk		MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts DPA Neville Grech University of Athens Link to publication Pre-print Media Attached File Attached
14:30 30m Talk		Declarative Static Analysis and Zombies (ok, Soundness) DPA Yannis Smaragdakis University of Athens
15:00 30m Talk		Scalable Logic Defined Static Analysis with Soufflé DPA Pavle Subotic University College London

16:00 - 17:30	Session IIIDPA at Cairo Chair(s): Neville Grech University of Athens

16:00 30m Talk		Horn Clause-based Program Analysis with CiaoPP DPA Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) File Attached
16:30 30m Talk		QL + LGTM = Declarative Program Analysis for the Masses DPA Max Schaefer Semmle File Attached

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Cairo	DPA Session I																																				DPA Session II																								DPA Session III

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Cairo	DPA Program Analysis with Flix 11:00 - 11:30						DPA IncAL - Incrementalizing Lattice-Based Program Analyses 11:30 - 12:00						DPA Simple encoding of lattices in Datalog 12:00 - 12:30																								DPA MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts 14:00 - 14:30						DPA Declarative Static Analysis and Zombies (ok, Soundness) 14:30 - 15:00						DPA Scalable Logic Defined Static Analysis with Soufflé 15:00 - 15:30												DPA Horn Clause-based Program Analysis with CiaoPP 16:00 - 16:30						DPA QL + LGTM = Declarative Program Analysis for the Masses 16:30 - 17:00

Room information: Cairo

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

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

DPA

DPA

DPA

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

Tracks

ECOOP and ISSTA 2018

Co-hosted Conferences

Workshops

Room information: Cairo

Program Display Configuration

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

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

DPA

DPA

DPA

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

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

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

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