Blogs (61) >>

The advent of modern declarative logical specification languages such as Flix, QL and Soufflé has facilitated the implementation of many rich program analysis tools. Declaratively specified program analysis tools have proven to be flexible enough to faithfully model real world languages, scalable, and less burdensome to extend and maintain. The goal of this workshop is to be the first venue truly dedicated to declaratively specified program analyses, bringing together the key practitioners that are driving this exciting field.

The themes of this workshop form a “vertical integration” in a supply chain of platforms and tools for declarative program analysis, and are as follows:

  • Program analysis frameworks We solicit work on declarative program analysis toolchains and frameworks for analysing various languages, e.g. low/high level languages, or domain-specific languages such as smart contracts.
  • Declarative language infrastructure In addition, we also solicit work on the infrastructure behind the declarative language environments that enable these program analysis frameworks, including datalog compilers/transpilers, databases and runtime environments.
  • Applications Lastly, we solicit talks from practitioners that use these program analysis frameworks to implement practical analysis tools.

Accepted Papers

Title
Declarative Static Analysis and Zombies (ok, Soundness)
DPA
Horn Clause-based Program Analysis with CiaoPP
DPA
File Attached
IncAL - Incrementalizing Lattice-Based Program Analyses
DPA
File Attached
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
DPA
Link to publication Pre-print Media Attached File Attached
Program Analysis with Flix
DPA
QL + LGTM = Declarative Program Analysis for the Masses
DPA
File Attached
Scalable Logic Defined Static Analysis with Soufflé
DPA
Simple encoding of lattices in Datalog
DPA
File Attached

Call for Contributions

If you would like to contribute a talk to this workshop, please email an abstract to one of the organizers (Neville Grech, Magnus Madsen or Max Schaefer). Talks slots will be 30 minutes, but speakers are encouraged to allow 5-10 minutes for Q&A. We will not publish any proceedings, but slides from talks can be put online on the workshop web site if desired.

You're viewing the program in a time zone which is different from your device's time zone change time zone

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
16:00 - 17:30
Session IIIDPA at Cairo
Chair(s): Neville Grech University of Athens
16:00
30m
Talk
Horn Clause-based Program Analysis with CiaoPP
DPA
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM)
File Attached
16:30
30m
Talk
QL + LGTM = Declarative Program Analysis for the Masses
DPA
File Attached