VORTEX 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
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
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
File Attached

Wed 18 Jul

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

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