ML4PL 2018
Mon 16 - 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

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