It contains the README and the scripts to set up the experimental environment and run the experiments of the Fat Pointers for Temporal Memory Safety of C Paper that was conditionally accepted to OOPSLA'23
This release correspond to the artifact submitted at OOPSLA 2022 along with the paper A Conceptual F...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
Artifacts for the evaluation of the publication SISL: Concolic Testing of Structured Binary Input Fo...
It contains the README and the scripts to set up the experimental environment and run the experiment...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
It provides a VM and a docker image that contain all the source code to perform experiments of the F...
This artifact contains the log files and data to replicate the experiments in the paper "Bitwuzla" a...
These are Docker images that contain the codebase and evaluation scripts for our OOPSLA 2023 paper "...
This is the artifact accompanying our paper "Model Checking for a Multi-Execution Memory Model", con...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This archive contains the accompanying artifact for the PACMPL/OOPSLA 2021 paper "Translating C to S...
ICFP 2022 Paper Artifact Paper: "Random Testing of a Higher-Order Blockchain Language (Experience ...
This release correspond to the artifact submitted at OOPSLA 2022 along with the paper A Conceptual F...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
Artifacts for the evaluation of the publication SISL: Concolic Testing of Structured Binary Input Fo...
It contains the README and the scripts to set up the experimental environment and run the experiment...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
It provides a VM and a docker image that contain all the source code to perform experiments of the F...
This artifact contains the log files and data to replicate the experiments in the paper "Bitwuzla" a...
These are Docker images that contain the codebase and evaluation scripts for our OOPSLA 2023 paper "...
This is the artifact accompanying our paper "Model Checking for a Multi-Execution Memory Model", con...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This archive contains the accompanying artifact for the PACMPL/OOPSLA 2021 paper "Translating C to S...
ICFP 2022 Paper Artifact Paper: "Random Testing of a Higher-Order Blockchain Language (Experience ...
This release correspond to the artifact submitted at OOPSLA 2022 along with the paper A Conceptual F...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
Artifacts for the evaluation of the publication SISL: Concolic Testing of Structured Binary Input Fo...
DOI
Add to ORKG