Publication date
August 2022
DOIAbstract
A few setup changes were made after re-building the artifact from scratch. Also, additional instructions were given and clarity was improved in several places
A few setup changes were made after re-building the artifact from scratch. Also, additional instructions were given and clarity was improved in several places
This is the artifact that accompanies the paper "Solver-based Gradual Type Migration" which was cond...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
This release contains additional scripts to help automate the evaluation. Tables 1 and 2 from the pa...
This is the release of the Relancer Artifact for the ASE 2021 Artifact Evaluation
This release includes the experimental results that are used for the ASE artifact analysis. All the ...
This release covers some of the changes that the reviewer pointed out during artifact evaluatio
This artifact version, named "25_ae", contains the same materials which we submitted in the artifact...
This release includes the experimental results that are used for the FSE artifact analysis. All the ...
Artifacts Package of the accepted FSE 22 paper: "Software Security during Modern Code Review: The De...
Newest version of the artifact is uploaded on figshare: https://figshare.com/articles/software/Suppl...
CAV'22 Artifact Evaluation Updated version after the smoke test. This version is identical to v1.0.3...
This is the artifact for "Declarative smart contracts" on FSE'22. Please see README in Artifact rep...
CEGAR-PT Artifact In order to run this artifact please clone sv-benchmarks into this folder. After...
This is the artifact corresponding to the paper "From SMT to ASP: Solver-Based Approaches to Solving...
This is the artifact that accompanies the paper "Solver-based Gradual Type Migration" which was cond...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
This release contains additional scripts to help automate the evaluation. Tables 1 and 2 from the pa...
This is the release of the Relancer Artifact for the ASE 2021 Artifact Evaluation
This release includes the experimental results that are used for the ASE artifact analysis. All the ...
This release covers some of the changes that the reviewer pointed out during artifact evaluatio
This artifact version, named "25_ae", contains the same materials which we submitted in the artifact...
This release includes the experimental results that are used for the FSE artifact analysis. All the ...
Artifacts Package of the accepted FSE 22 paper: "Software Security during Modern Code Review: The De...
Newest version of the artifact is uploaded on figshare: https://figshare.com/articles/software/Suppl...
CAV'22 Artifact Evaluation Updated version after the smoke test. This version is identical to v1.0.3...
This is the artifact for "Declarative smart contracts" on FSE'22. Please see README in Artifact rep...
CEGAR-PT Artifact In order to run this artifact please clone sv-benchmarks into this folder. After...
This is the artifact corresponding to the paper "From SMT to ASP: Solver-Based Approaches to Solving...
This is the artifact that accompanies the paper "Solver-based Gradual Type Migration" which was cond...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
Add to ORKG