ISAGT 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
ECOOP and ISSTA 2018 (series) / ISAGT 2018 (series) / Mövenpick Hotel Amsterdam City Centre /

Room information: Cairo

VenueMövenpick Hotel Amsterdam City Centre
Room nameCairo
Floor0
Room InformationNo extra information available
Program

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

Room11:003012:003013:003014:003015:003016:003017:0030
Cairo

DPA

Session I

DPA

Session II

DPA

Session III

Wed 18 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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