This repository contains the artifact for the following paper: Practically and Theoretically Efficient Garbage Collection for Multiversioning Yuanhao Wei, Guy E. Blelloch, Panagiota Fatourou, Eric Ruppert In Proc. ACM Symposium on Principles and Practice of Parallel Programming (PPoPP), 2023
Support for distributed co-operative work implies object sharing. The memory management of these di...
This is the artifact corresponding to the article entitled A Separation Logic for Heap Space under G...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This repository contains the artifact for the following paper: Practically and Theoretically Effici...
We present a general technique for garbage collecting old versions for multiversion concurrency cont...
This is a replication package for the study described in the paper: Michael Coblenz, Michelle L. Ma...
There is widespread interest in multicomputer parallelism. Functional languages with their inherent ...
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
. This paper describes the design and the evaluation of Complementary Garbage Collector that is a fu...
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such alg...
This is the artifact corresponding to the article entitled "A High-Level Separation Logic for Heap S...
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Program
International audienceThis paper presents the design and implementation of a "quasi real-time" garba...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
We present a multiprocessor “stop-the-world” garbage collection framework that provides multiple for...
Support for distributed co-operative work implies object sharing. The memory management of these di...
This is the artifact corresponding to the article entitled A Separation Logic for Heap Space under G...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This repository contains the artifact for the following paper: Practically and Theoretically Effici...
We present a general technique for garbage collecting old versions for multiversion concurrency cont...
This is a replication package for the study described in the paper: Michael Coblenz, Michelle L. Ma...
There is widespread interest in multicomputer parallelism. Functional languages with their inherent ...
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
. This paper describes the design and the evaluation of Complementary Garbage Collector that is a fu...
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such alg...
This is the artifact corresponding to the article entitled "A High-Level Separation Logic for Heap S...
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Program
International audienceThis paper presents the design and implementation of a "quasi real-time" garba...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
We present a multiprocessor “stop-the-world” garbage collection framework that provides multiple for...
Support for distributed co-operative work implies object sharing. The memory management of these di...
This is the artifact corresponding to the article entitled A Separation Logic for Heap Space under G...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
DOI
Add to ORKG