ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Wed 18 Jul 2018 12:00 - 12:30 at Cairo - Session I Chair(s): Max Schaefer

We present a simple reductionist theory of lattices in a dialect of Datalog that is extended only with uninterpreted function symbols. We demonstrate three applications of the theory to monotonic aggregation, constant propagation, and the computation of graph dominators

DPA2018 Simple Encoding of Lattices in Datalog (dpa.pdf)483KiB

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Session IDPA at Cairo
Chair(s): Max SchaeferSemmle
11:00 - 11:30
Program Analysis with Flix
Magnus MadsenAalborg University
11:30 - 12:00
IncAL - Incrementalizing Lattice-Based Program Analyses
Tamás Szabóitemis AG / TU Delft, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Sebastian ErdwegTU Delft, Markus Voelteritemis
File Attached
12:00 - 12:30
Simple encoding of lattices in Datalog
Rei ThiessenGoogle Inc.
File Attached