DARTS.5.2.7.pdf
- Filesize: 351 kB
- 2 pages
Document
Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Volume: DARTS, Volume 5 (ECOOP 2019)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2019-07-12
Artifact Description
Document Identifiers
Cite As Get BibTex
Noah Van Es, Quentin Stiévenart, and Coen De Roover. Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact). In Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Dagstuhl Artifacts Series (DARTS), Volume 5, Issue 2, pp. 7:1-7:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/DARTS.5.2.7
Artifact
DARTS-5-2-7-artifact-8d8ac158bb40ecd3bf4c94727787fa4b.zip
(Filesize: 3.5 GB)
MD5 Sum:
8d8ac158bb40ecd3bf4c94727787fa4b
(Get MD5 Sum)
Abstract
This artifact is a modified version of Scala-AM, an abstract interpretation framework implemented in Scala. Specifically, we extended Scala-AM with several implementations of machine abstractions that each employ a different approach to abstract garbage collection. These include traditional (tracing-based) approaches to abstract garbage collection, as well as our own novel approach using abstract reference counting. In particular, using the machine abstraction that employs abstract reference counting (with cycle detection) results in a garbage-free abstract interpreter can greatly improve both the precision and performance of the corresponding machine abstraction in the original version of the Scala-AM framework. We have set up the framework in such a way that one can easily run a variety of experiments to use, evaluate and compare these approaches to abstract garbage collection. This artifact contains documentation on how these experiments can be configured, specifically to reproduce the results presented in the companion paper.
Subject Classification
ACM Subject Classification
- Theory of computation → Program analysis
Keywords
- static analysis
- abstract interpretation
- abstract garbage collection
- reference counting
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover. Building a modular static analysis framework in Scala (tool paper). In Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, pages 105-109. ACM, 2016.
-
Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, and Coen De Roover. Scala-AM: A modular static analysis framework. In Source Code Analysis and Manipulation (SCAM), 2016 IEEE 16th International Working Conference on, pages 85-90. IEEE, 2016.