This is the artifact accompanying our paper "Unblocking Dynamic Partial Order Reduction", accepted for publication at CAV'23
This is the replication package for the paper titled: "Identifying Defect-Inducing Changes in Visual...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This is the artifact accompanying our paper "Truly Stateless, Optimal Dynamic Partial Order Reductio...
An updated artifact for the paper "Partial Order Reduction for Reachability Games", accepted at CONC...
This is a replication package for the article "Software Verification with PDR: An Implementation of ...
This archive contains the components to replicate the experiments of the paper 'Domain-Independent ...
This is the artifact that accompanies the paper "Visibility Algorithms for Dynamic Dependence Analys...
Replication folder for the paper entitled "Surges and Instability: The Maturity Shortening Chan...
This is a binary artifact related to the TACAS-2018 paper "Optimal Dynamic Partial Order Reduction w...
Artifacts produced for the paper "Regulator: dynamic analysis to detect ReDoS" published in USENIX S...
This is the Replication Package of the paper titled "Automated Detection of Software Performance Ant...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact for the OOPSLA 2023 submission titled "Building Dynamic System Call Sandbox with Partial Or...
This is an artifact for reproducing experiments published in the paper. Please refer to the README f...
This is the replication package for the paper titled: "Identifying Defect-Inducing Changes in Visual...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This is the artifact accompanying our paper "Truly Stateless, Optimal Dynamic Partial Order Reductio...
An updated artifact for the paper "Partial Order Reduction for Reachability Games", accepted at CONC...
This is a replication package for the article "Software Verification with PDR: An Implementation of ...
This archive contains the components to replicate the experiments of the paper 'Domain-Independent ...
This is the artifact that accompanies the paper "Visibility Algorithms for Dynamic Dependence Analys...
Replication folder for the paper entitled "Surges and Instability: The Maturity Shortening Chan...
This is a binary artifact related to the TACAS-2018 paper "Optimal Dynamic Partial Order Reduction w...
Artifacts produced for the paper "Regulator: dynamic analysis to detect ReDoS" published in USENIX S...
This is the Replication Package of the paper titled "Automated Detection of Software Performance Ant...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact for the OOPSLA 2023 submission titled "Building Dynamic System Call Sandbox with Partial Or...
This is an artifact for reproducing experiments published in the paper. Please refer to the README f...
This is the replication package for the paper titled: "Identifying Defect-Inducing Changes in Visual...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
DOI
Add to ORKG