This is the artifact corresponding to the article entitled "A High-Level Separation Logic for Heap Space under Garbage Collection", and its associated documentation
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
We present a Separation Logic with space credits for reasoning about heapspace in a sequential call-...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
This is the artifact corresponding to the article entitled A Separation Logic for Heap Space under G...
This is the artifact corresponding to the article entitled "DisLog: A Separation Logic for Disentang...
This is a replication package for the study described in the paper: Michael Coblenz, Michelle L. Ma...
This repository contains the artifact for the following paper: Practically and Theoretically Effici...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is the ICSE 2018 VM artifact archived for the paper cited below. Find more information at https...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
This is the artefact of our paper titled "Reducing the Memory Footprint of IFDS-based Data-Flow Anal...
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Program
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
We present a Separation Logic with space credits for reasoning about heapspace in a sequential call-...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
This is the artifact corresponding to the article entitled A Separation Logic for Heap Space under G...
This is the artifact corresponding to the article entitled "DisLog: A Separation Logic for Disentang...
This is a replication package for the study described in the paper: Michael Coblenz, Michelle L. Ma...
This repository contains the artifact for the following paper: Practically and Theoretically Effici...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is the ICSE 2018 VM artifact archived for the paper cited below. Find more information at https...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
This is the artefact of our paper titled "Reducing the Memory Footprint of IFDS-based Data-Flow Anal...
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Program
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
We present a Separation Logic with space credits for reasoning about heapspace in a sequential call-...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
DOI
Add to ORKG