MetaDL: Analysing Datalog in Datalog

Alexandru Dura; Hampus Balldin; Christoph Reichenbach

doi:10.1145/3315568.3329970

MetaDL: Analysing Datalog in Datalog

Alexandru Dura, Hampus Balldin, Christoph Reichenbach

Lund University

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

Sammanfattning

Datalog has emerged as a powerful tool for expressing static
program analyses. Program analysis researchers have built
nontrivial code bases in Datalog, but tool support for working
with Datalog itself has been lacking. In this paper, we
introduce MetaDL, a language extension to Datalog that
enables source-level Datalog program analysis within Datalog.
We describe several program analyses implemented in
MetaDL and report on initial experiences. Our findings show
that the language is effective for real-life Datalog analysis
and can simplify working with Datalog source code.

Originalspråk	engelska
Titel på värdpublikation	SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Förlag	Association for Computing Machinery (ACM)
Sidor	38-43
Antal sidor	6
ISBN (tryckt)	978-1-4503-6720-2
DOI	https://doi.org/10.1145/3315568.3329970
Status	Published - 2019
Evenemang	8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 - Phoenix, USA Varaktighet: 2019 juni 22 → 2019 juni 26

Workshop

Workshop	8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019
Land/Territorium	USA
Ort	Phoenix
Period	2019/06/22 → 2019/06/26

Ämnesklassifikation (UKÄ)

Datavetenskap (datalogi)

Tillgång till dokument

10.1145/3315568.3329970

1 Avslutade
1 Aktiva

Performance bug detection through combined static and dynamic program analysis
Dura, A. (Forskare) & Reichenbach, C. (Forskare)
2018/10/15 → …
Projekt: Avhandling
WASP startup package Christoph Reichenbach
Reichenbach, C. (Forskare)
2017/10/16 → 2021/10/15
Projekt: Forskning

MetaDL and Beyond: Custom Program Analyses in Datalog
Reichenbach, C. (Roll ej angiven)
2019 juni 23
Aktivitet: Föredrag eller presentation › Presentation

Citera det här

@inproceedings{7e82c82f45c447079739eebc5af75250,

title = "MetaDL: Analysing Datalog in Datalog",

abstract = "Datalog has emerged as a powerful tool for expressing staticprogram analyses. Program analysis researchers have builtnontrivial code bases in Datalog, but tool support for workingwith Datalog itself has been lacking. In this paper, weintroduce MetaDL, a language extension to Datalog thatenables source-level Datalog program analysis within Datalog.We describe several program analyses implemented inMetaDL and report on initial experiences. Our findings showthat the language is effective for real-life Datalog analysisand can simplify working with Datalog source code.",

author = "Alexandru Dura and Hampus Balldin and Christoph Reichenbach",

year = "2019",

doi = "10.1145/3315568.3329970",

language = "English",

isbn = "978-1-4503-6720-2",

pages = "38--43",

booktitle = "SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

note = "8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 ; Conference date: 22-06-2019 Through 26-06-2019",

}

Dura, A, Balldin, H & Reichenbach, C 2019, MetaDL: Analysing Datalog in Datalog. i SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery (ACM), s. 38-43, 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 , Phoenix, USA, 2019/06/22. https://doi.org/10.1145/3315568.3329970

TY - GEN

T1 - MetaDL: Analysing Datalog in Datalog

AU - Dura, Alexandru

AU - Balldin, Hampus

AU - Reichenbach, Christoph

PY - 2019

Y1 - 2019

N2 - Datalog has emerged as a powerful tool for expressing staticprogram analyses. Program analysis researchers have builtnontrivial code bases in Datalog, but tool support for workingwith Datalog itself has been lacking. In this paper, weintroduce MetaDL, a language extension to Datalog thatenables source-level Datalog program analysis within Datalog.We describe several program analyses implemented inMetaDL and report on initial experiences. Our findings showthat the language is effective for real-life Datalog analysisand can simplify working with Datalog source code.

AB - Datalog has emerged as a powerful tool for expressing staticprogram analyses. Program analysis researchers have builtnontrivial code bases in Datalog, but tool support for workingwith Datalog itself has been lacking. In this paper, weintroduce MetaDL, a language extension to Datalog thatenables source-level Datalog program analysis within Datalog.We describe several program analyses implemented inMetaDL and report on initial experiences. Our findings showthat the language is effective for real-life Datalog analysisand can simplify working with Datalog source code.

U2 - 10.1145/3315568.3329970

DO - 10.1145/3315568.3329970

M3 - Paper in conference proceeding

SN - 978-1-4503-6720-2

SP - 38

EP - 43

BT - SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

PB - Association for Computing Machinery (ACM)

T2 - 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019

Y2 - 22 June 2019 through 26 June 2019

ER -

MetaDL: Analysing Datalog in Datalog

Sammanfattning

Workshop

Ämnesklassifikation (UKÄ)

Tillgång till dokument

Fingeravtryck

Projekt

Performance bug detection through combined static and dynamic program analysis

WASP startup package Christoph Reichenbach

Aktiviteter

MetaDL and Beyond: Custom Program Analyses in Datalog

Citera det här