Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

MetaDL : Declarative program analysis for the masses

Dura, Alexandru LU orcid and Balldin, Hampus (2019) 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 In SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity p.17-18
Abstract

While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed language.

Please use this url to cite or link to this publication:
author
and
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
Datalog, Domain-Specific Languages, Pattern Matching, Static Analysis
host publication
SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications : Software for Humanity - Software for Humanity
series title
SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
editor
Smaragdakis, Yannis
pages
2 pages
publisher
Association for Computing Machinery (ACM)
conference name
2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019
conference location
Athens, Greece
conference dates
2019-10-20 - 2019-10-25
external identifiers
  • scopus:85076734923
ISBN
9781450369923
DOI
10.1145/3359061.3362781
project
Performance bug detection through combined static and dynamic program analysis
language
English
LU publication?
yes
id
5e553617-af64-41f2-8b07-36215a854256
date added to LUP
2020-01-13 13:02:53
date last changed
2022-04-18 20:10:26
@inproceedings{5e553617-af64-41f2-8b07-36215a854256,
  abstract     = {{<p>While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed language.</p>}},
  author       = {{Dura, Alexandru and Balldin, Hampus}},
  booktitle    = {{SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications : Software for Humanity}},
  editor       = {{Smaragdakis, Yannis}},
  isbn         = {{9781450369923}},
  keywords     = {{Datalog; Domain-Specific Languages; Pattern Matching; Static Analysis}},
  language     = {{eng}},
  month        = {{10}},
  pages        = {{17--18}},
  publisher    = {{Association for Computing Machinery (ACM)}},
  series       = {{SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity}},
  title        = {{MetaDL : Declarative program analysis for the masses}},
  url          = {{http://dx.doi.org/10.1145/3359061.3362781}},
  doi          = {{10.1145/3359061.3362781}},
  year         = {{2019}},
}