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
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 JunDisplayed time zone: Tijuana, Baja California change
09:30 - 11:00 | |||
09:30 30mTalk | The K Framework DPA Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA | ||
10:00 30mTalk | MetaDL and Beyond: Custom Program Analyses in Datalog DPA Christoph Reichenbach Lund University | ||
10:30 30mTalk | Datafun: A higher-order functional Datalog DPA Michael Arntzenius University of Birmingham, UK | ||
11:30 - 12:30 | |||
11:30 30mTalk | Fast and Precise Disassembly using Datalog DPA Vineeth Kashyap GrammaTech, Inc. | ||
12:00 30mTalk | Gigahorse: Thorough Smart Contract Decompilation and Security Analyses DPA Neville Grech University of Athens | ||
14:00 - 15:30 | |||
14:00 30mTalk | Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic DPA Mistral Contrastin University of Cambridge, UK | ||
14:30 30mTalk | Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP DPA Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) | ||
15:00 30mTalk | Tunable abstract abstract machines DPA Thomas Gilray The University of Alabama at Birmingham | ||
16:00 - 17:00 | |||
16:00 30mTalk | Precise Program Reasoning using Probabilistic Methods DPA Mukund Raghothaman University of Pennsylvania, USA | ||
16:30 30mTalk | Variant analysis with QL DPA Max Schaefer GitHub | ||
| Sun 23 Jun 2019 Workshop |