Simple encoding of lattices in Datalog (DPA 2018 - Workshop on Declarative Program Analysis)

Mon 16 - Tue 17 July 2018 Amsterdam, Netherlands

co-located with ECOOP and ISSTA 2018

Track

DPA 2018

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 18 Jul 2018 12:00 - 12:30 at Cairo - Session I Chair(s): Max Schaefer

Abstract

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

File attachments

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

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

Simple encoding of lattices in Datalog

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

Rei Thiessen

Google Inc.

Tracks

Co-hosted Conferences

Workshops

Simple encoding of lattices in Datalog

Program Display Configuration

Program Display Configuration

Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Rei Thiessen

Google Inc.

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