An artifact of a binary fuzz testing tool, Eclipser v0.1. The artifact contains a Docker image and scripts to run experiments with Eclipser.</p
This is a (for now anonymous) research artifact containing built versions of the CakeML+Eval work
This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweigh...
This artifact contains an evaluation sample of the data necessary to independently validate and repl...
The first prototype of Eclipser, which is a binary fuzz testing tool that improves upon classic cove...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
The artifact goes through the 3 main steps of evaluating fuzzers with FixReverter and RevBugBench: F...
The artifact contains a VM image with our tool installed on it, along with a script which downloads ...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
Contains data, software artifacts, benchmarks, scripts, and proofs for the wasm-prechk artifact. Ins...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is a Docker image that contains the codebase and evaluation scripts for our OOPSLA 2023 paper "...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This artifact comprises the Docker image with the WiSE and PyWiSE prototypes presented in the paper ...
This is a (for now anonymous) research artifact containing built versions of the CakeML+Eval work
This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweigh...
This artifact contains an evaluation sample of the data necessary to independently validate and repl...
The first prototype of Eclipser, which is a binary fuzz testing tool that improves upon classic cove...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
The artifact goes through the 3 main steps of evaluating fuzzers with FixReverter and RevBugBench: F...
The artifact contains a VM image with our tool installed on it, along with a script which downloads ...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
Contains data, software artifacts, benchmarks, scripts, and proofs for the wasm-prechk artifact. Ins...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is a Docker image that contains the codebase and evaluation scripts for our OOPSLA 2023 paper "...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This artifact comprises the Docker image with the WiSE and PyWiSE prototypes presented in the paper ...
This is a (for now anonymous) research artifact containing built versions of the CakeML+Eval work
This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweigh...
This artifact contains an evaluation sample of the data necessary to independently validate and repl...