Matches in SemOpenAlex for { <https://semopenalex.org/work/W2966645267> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2966645267 startingPage "33" @default.
- W2966645267 abstract "Abstract garbage collection is the application of garbage collection to an abstract interpreter. Existing work has shown that abstract garbage collection can improve both the interpreter's precision and performance. Current approaches rely on heuristics to decide when to apply abstract garbage collection. Garbage will build up and impact precision and performance when the collection is applied infrequently, while too frequent applications will bring about their own performance overhead. A balance between these tradeoffs is often difficult to strike. We propose a new approach to cope with the buildup of garbage in the results of an abstract interpreter. Our approach is able to eliminate all garbage, therefore obtaining the maximum precision and performance benefits of abstract garbage collection. At the same time, our approach does not require frequent heap traversals, and therefore adds little to the interpreters's running time. The core of our approach uses reference counting to detect and eliminate garbage as soon as it arises. However, reference counting cannot deal with cycles, and we show that cycles are much more common in an abstract interpreter than in its concrete counterpart. To alleviate this problem, our approach detects cycles and employs reference counting at the level of strongly connected components. While this technique in general works for any system that uses reference counting, we argue that it works particularly well for an abstract interpreter. In fact, we show formally that for the continuation store, where most of the cycles occur, the cycle detection technique only requires O(1) amortized operations per continuation push.We present our approach formally, and provide a proof-of-concept implementation in the Scala-AM framework. We empirically show our approach achieves both the optimal precision and significantly better performance compared to existing approaches to abstract garbage collection." @default.
- W2966645267 created "2019-08-13" @default.
- W2966645267 creator A5021252104 @default.
- W2966645267 creator A5042827940 @default.
- W2966645267 creator A5061688363 @default.
- W2966645267 date "2019-07-01" @default.
- W2966645267 modified "2023-10-03" @default.
- W2966645267 title "Garbage-Free Abstract Interpretation Through Abstract Reference Counting" @default.
- W2966645267 doi "https://doi.org/10.4230/lipics.ecoop.2019.10" @default.
- W2966645267 hasPublicationYear "2019" @default.
- W2966645267 type Work @default.
- W2966645267 sameAs 2966645267 @default.
- W2966645267 citedByCount "1" @default.
- W2966645267 countsByYear W29666452672023 @default.
- W2966645267 crossrefType "proceedings-article" @default.
- W2966645267 hasAuthorship W2966645267A5021252104 @default.
- W2966645267 hasAuthorship W2966645267A5042827940 @default.
- W2966645267 hasAuthorship W2966645267A5061688363 @default.
- W2966645267 hasConcept C105122174 @default.
- W2966645267 hasConcept C111919701 @default.
- W2966645267 hasConcept C122783720 @default.
- W2966645267 hasConcept C127705205 @default.
- W2966645267 hasConcept C199360897 @default.
- W2966645267 hasConcept C2779960059 @default.
- W2966645267 hasConcept C41008148 @default.
- W2966645267 hasConcept C75403996 @default.
- W2966645267 hasConcept C77088390 @default.
- W2966645267 hasConcept C82810778 @default.
- W2966645267 hasConcept C88626702 @default.
- W2966645267 hasConceptScore W2966645267C105122174 @default.
- W2966645267 hasConceptScore W2966645267C111919701 @default.
- W2966645267 hasConceptScore W2966645267C122783720 @default.
- W2966645267 hasConceptScore W2966645267C127705205 @default.
- W2966645267 hasConceptScore W2966645267C199360897 @default.
- W2966645267 hasConceptScore W2966645267C2779960059 @default.
- W2966645267 hasConceptScore W2966645267C41008148 @default.
- W2966645267 hasConceptScore W2966645267C75403996 @default.
- W2966645267 hasConceptScore W2966645267C77088390 @default.
- W2966645267 hasConceptScore W2966645267C82810778 @default.
- W2966645267 hasConceptScore W2966645267C88626702 @default.
- W2966645267 hasLocation W29666452671 @default.
- W2966645267 hasOpenAccess W2966645267 @default.
- W2966645267 hasPrimaryLocation W29666452671 @default.
- W2966645267 hasRelatedWork W109650580 @default.
- W2966645267 hasRelatedWork W1488241814 @default.
- W2966645267 hasRelatedWork W149615022 @default.
- W2966645267 hasRelatedWork W1977658970 @default.
- W2966645267 hasRelatedWork W1978634728 @default.
- W2966645267 hasRelatedWork W2005907808 @default.
- W2966645267 hasRelatedWork W2040620240 @default.
- W2966645267 hasRelatedWork W2053215413 @default.
- W2966645267 hasRelatedWork W2053914793 @default.
- W2966645267 hasRelatedWork W2063198880 @default.
- W2966645267 hasRelatedWork W2076444167 @default.
- W2966645267 hasRelatedWork W2098747449 @default.
- W2966645267 hasRelatedWork W2100819849 @default.
- W2966645267 hasRelatedWork W2115447959 @default.
- W2966645267 hasRelatedWork W2134926801 @default.
- W2966645267 hasRelatedWork W2145701537 @default.
- W2966645267 hasRelatedWork W2146166870 @default.
- W2966645267 hasRelatedWork W2521251672 @default.
- W2966645267 hasRelatedWork W2996779815 @default.
- W2966645267 hasRelatedWork W382242938 @default.
- W2966645267 hasVolume "5" @default.
- W2966645267 isParatext "false" @default.
- W2966645267 isRetracted "false" @default.
- W2966645267 magId "2966645267" @default.
- W2966645267 workType "article" @default.