MetaDL and Beyond: Custom Program Analyses in Datalog

Reichenbach, C. (Role not specified)

Department of Computer Science

Activity: Talk or presentation › Presentation

Description

A talk on the MetaDL program analysis language

Period	2019 Jun 23
Event title	Workshop on Declarative Program Analysis
Event type	Workshop
Conference number	2019
Location	Phoenix, AZ, United States
Degree of Recognition	International

UKÄ subject classification

Computer Science

Documents & Links

https://pldi19.sigplan.org/details/dpa-2019-papers/3/MetaDL-and-Beyond-Custom-Program-Analyses-in-Datalog

Related content

Projects
Performance bug detection through combined static and dynamic program analysis
Project: Dissertation

Research output
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Research output: Contribution to journal › Article › peer-review
MetaDL: Analysing Datalog in Datalog
Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review