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

Call for Contributions

If you would like to contribute a talk to this workshop, please submit a title and an abstract using the contact form. 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.

Sun 23 Jun

dpa-2019-papers
09:30 - 11:00: DPA - Session I at 212B
Chair(s): Neville GrechUniversity of Athens
dpa-2019-papers09:30 - 10:00
Talk
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA
dpa-2019-papers10:00 - 10:30
Talk
Christoph ReichenbachLund University
dpa-2019-papers10:30 - 11:00
Talk
Michael ArntzeniusUniversity of Birmingham, UK
pldi-2019-catering
11:00 - 11:20: Catering - Coffee Break at 301 Foyer
dpa-2019-papers
11:30 - 12:30: DPA - Session II at 212B
Chair(s): Max SchaeferSemmle
dpa-2019-papers11:30 - 12:00
Talk
Vineeth KashyapGrammaTech, Inc.
dpa-2019-papers12:00 - 12:30
Talk
Neville GrechUniversity of Athens
pldi-2019-catering
12:30 - 14:00: Catering - Lunch at 301A
dpa-2019-papers
14:00 - 15:30: DPA - Session III at 212B
Chair(s): Max SchaeferSemmle
dpa-2019-papers14:00 - 14:30
Talk
Mistral ContrastinUniversity of Cambridge, UK
dpa-2019-papers14:30 - 15:00
Talk
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
dpa-2019-papers15:00 - 15:30
Talk
Thomas GilrayThe University of Alabama at Birmingham
pldi-2019-catering
15:30 - 16:00: Catering - Coffee Break at 301 Foyer
dpa-2019-papers
16:00 - 17:00: DPA - Session IV at 212B
Chair(s): Neville GrechUniversity of Athens
dpa-2019-papers16:00 - 16:30
Talk
Mukund RaghothamanUniversity of Pennsylvania, USA
dpa-2019-papers16:30 - 17:00
Talk
Questions? Use the DPA contact form.