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

Conference Day
Wed 18 Jul

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

11:00 - 12:30
Session IDPA at Cairo
Chair(s): Max SchaeferSemmle
11:00
30m
Talk
Program Analysis with Flix
DPA
Magnus MadsenAalborg University
11:30
30m
Talk
IncAL - Incrementalizing Lattice-Based Program Analyses
DPA
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
30m
Talk
Simple encoding of lattices in Datalog
DPA
Rei ThiessenGoogle Inc.
File Attached