License
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.5.2.7
URL: http://drops.dagstuhl.de/opus/volltexte/2019/10784/
Go back to Dagstuhl Artifacts Series


Van Es, Noah ; Stiévenart, Quentin ; De Roover, Coen

Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact)

pdf-format:
DARTS-5-2-7.pdf (0.3 MB)
artifact-format:
DARTS-5-2-7-artifact-8d8ac158bb40ecd3bf4c94727787fa4b.zip (3,588 MB)


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.

BibTeX - Entry

@Article{vanes_et_al:DARTS:2019:10784,
  author =	{Noah Van Es and Quentin Sti{\'e}venart and Coen De Roover},
  title =	{{Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact)}},
  pages =	{7:1--7:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2019},
  volume =	{5},
  number =	{2},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/10784},
  doi =		{10.4230/DARTS.5.2.7},
  annote =	{Keywords: static analysis, abstract interpretation, abstract garbage collection, reference counting}
}

Keywords: static analysis, abstract interpretation, abstract garbage collection, reference counting
Seminar: Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Related Scholarly Article: https://dx.doi.org/10.4230/LIPIcs.ECOOP.2019.10
Issue Date: 2019
Date of publication: 12.07.2019


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI