Blogs (61) >>
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
Talk
Program Analysis with Flix
DPA
Magnus MadsenAalborg University
11:30 - 12:00
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 - 12:30
Talk
Simple encoding of lattices in Datalog
DPA
Rei ThiessenGoogle Inc.
File Attached