This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity". For more information, see the description of the artifact in "README.pdf"
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
Coq files for the paper "Rely-Guarantee Reasoning for Causally Consistent Shared Memory". The submis...
This is an accompanying document for the paper with the same title [7], accepted for publication at ...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
Artifact for CAV23 Artifact Evaluation, to accompany the paper entitled Commutativity For Concurrent...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
PLDI Artifact For "Making concurrent reference counting as fast as manual safe memory reclamation" (...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
Coq files for the paper "Rely-Guarantee Reasoning for Causally Consistent Shared Memory". The submis...
This is an accompanying document for the paper with the same title [7], accepted for publication at ...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
Artifact for CAV23 Artifact Evaluation, to accompany the paper entitled Commutativity For Concurrent...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
PLDI Artifact For "Making concurrent reference counting as fast as manual safe memory reclamation" (...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
Coq files for the paper "Rely-Guarantee Reasoning for Causally Consistent Shared Memory". The submis...
This is an accompanying document for the paper with the same title [7], accepted for publication at ...
DOI.svg%3Fwidth%3D300&w=3840&q=75)
Add to ORKG