Projects per year
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.
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.
Original language | English |
---|---|
Media of output | software |
Size | 3.76GB |
DOIs | |
Publication status | Published - 2019 |
Event | European Conference on Object-Oriented Programming (ECOOP 2019) - Hammersmith, London, United Kingdom Duration: 17 Jul 2019 → 18 Jul 2019 https://2019.ecoop.org |
Keywords
- static analysis
- abstract interpretation
- abstract garbage collection
- reference counting
Fingerprint
Dive into the research topics of 'Garbage-free Abstract Interpretation through Abstract Reference Counting (Artifact)'. Together they form a unique fingerprint.Projects
- 1 Finished
-
FWOTM867: Adaptive analysis for multi-paradigm programs through reflection
1/10/17 → 30/09/21
Project: Fundamental
-
Garbage-free Abstract Interpretation through Abstract Reference Counting
Van Es, N., Stiévenart, Q. & De Roover, C., 1 Jul 2019, Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 134. 34 p. 10Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research
Open AccessFile3 Citations (Scopus)28 Downloads (Pure) -
Garbage-free Abstract Interpretation through Abstract Reference Counting (Poster)
Van Es, N., Stiévenart, Q. & De Roover, C., 2019.Research output: Unpublished contribution to conference › Poster
Open AccessFile
Activities
- 1 Talk or presentation at a conference
-
Garbage-Free Abstract Interpretation through Abstract Reference Counting
Noah Van Es (Speaker)
17 Jul 2019Activity: Talk or presentation › Talk or presentation at a conference