Blogs (61) >>
ECOOP and ISSTA
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
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

dpa-2018-papers
11:00 - 12:30: DPA - Session I at Cairo
Chair(s): Max SchaeferSemmle
dpa-2018-papers11:00 - 11:30
Talk
Magnus MadsenAalborg University
dpa-2018-papers11:30 - 12:00
Talk
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
dpa-2018-papers12:00 - 12:30
Talk
Rei ThiessenGoogle Inc.
File Attached