Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA

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
File Attached
File Attached
Link to publication Pre-print Media Attached File Attached
File Attached
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.

Wed 18 Jul

dpa-2018-papers
11:00 - 12:30: DPA - Session I at Cairo
Chair(s): Max SchaeferSemmle
dpa-2018-papers153190440000011:00 - 11:30
Talk
Magnus MadsenAalborg University
dpa-2018-papers153190620000011: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-papers153190800000012:00 - 12:30
Talk
Rei ThiessenGoogle Inc.
File Attached
dpa-2018-papers
14:00 - 15:30: DPA - Session II at Cairo
Chair(s): Magnus MadsenAalborg University
dpa-2018-papers153191520000014:00 - 14:30
Talk
Neville GrechUniversity of Athens
Link to publication Pre-print Media Attached File Attached
dpa-2018-papers153191700000014:30 - 15:00
Talk
Yannis SmaragdakisUniversity of Athens
dpa-2018-papers153191880000015:00 - 15:30
Talk
Pavle SuboticUniversity College London
dpa-2018-papers
16:00 - 17:30: DPA - Session III at Cairo
Chair(s): Neville GrechUniversity of Athens
dpa-2018-papers153192240000016:00 - 16:30
Talk
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
File Attached
dpa-2018-papers153192420000016:30 - 17:00
Talk
File Attached