This is the artifact and appendix for the PLDI '23 paper 'Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic'. It contains the source code of an extension of Diaframe that has better support for disjunctions, a VM containing a compiled version of this source code, instructions for evaluation, and the technical appendix
This work investigates the problem of integrating two powerful abstractions for concurrent programmi...
Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types. ...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact and appendix for the PLDI '23 paper 'Beyond Backtracking: Connections in Fine-G...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
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 "DisLog: A Separation Logic for Disentang...
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C ...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
This archive contains the software described in the paper “Artifact-based Workflows for Supporting S...
This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Seman...
The artifact for the Merging Inductive Relations paper. The artifact is a virtual machine OVA file, ...
Artifact for CAV23 Artifact Evaluation, to accompany the paper entitled Commutativity For Concurrent...
This work investigates the problem of integrating two powerful abstractions for concurrent programmi...
Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types. ...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact and appendix for the PLDI '23 paper 'Beyond Backtracking: Connections in Fine-G...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
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 "DisLog: A Separation Logic for Disentang...
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C ...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
This archive contains the software described in the paper “Artifact-based Workflows for Supporting S...
This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Seman...
The artifact for the Merging Inductive Relations paper. The artifact is a virtual machine OVA file, ...
Artifact for CAV23 Artifact Evaluation, to accompany the paper entitled Commutativity For Concurrent...
This work investigates the problem of integrating two powerful abstractions for concurrent programmi...
Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types. ...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
DOI
Add to ORKG