<p>This is the artifact corresponding to the article entitled "DisLog: A Separation Logic for Disentanglement", and its associated documentation.</p>
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
Artifact for the paper "Dependent Session Protocols in Separation Logic from First Principles". See ...
This is the artifact corresponding to the article entitled "DisLog: A Separation Logic for Disentang...
This is the artifact corresponding to the article entitled "A High-Level Separation Logic for Heap S...
This is the artifact corresponding to the article entitled A Separation Logic for Heap Space under G...
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'...
This is the artifact accompanying the POPL20 paper "The Future is Ours: Prophecy Variables in Separa...
This is the artifact and appendix for the PLDI '23 paper 'Beyond Backtracking: Connections in Fine-G...
Artifact for IEEE S&P 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream A...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
The artifact for the paper "Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Sepa...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This archive contains the software artifact and data sets for the experimental evaluation described ...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
Artifact for the paper "Dependent Session Protocols in Separation Logic from First Principles". See ...
This is the artifact corresponding to the article entitled "DisLog: A Separation Logic for Disentang...
This is the artifact corresponding to the article entitled "A High-Level Separation Logic for Heap S...
This is the artifact corresponding to the article entitled A Separation Logic for Heap Space under G...
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'...
This is the artifact accompanying the POPL20 paper "The Future is Ours: Prophecy Variables in Separa...
This is the artifact and appendix for the PLDI '23 paper 'Beyond Backtracking: Connections in Fine-G...
Artifact for IEEE S&P 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream A...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
The artifact for the paper "Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Sepa...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This archive contains the software artifact and data sets for the experimental evaluation described ...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
Artifact for the paper "Dependent Session Protocols in Separation Logic from First Principles". See ...
DOI
Add to ORKG