Omni-Paxos: Breaking the Barriers of Partial Connectivity --- Artifact Evaluation The source code is also available on GitHub: https://github.com/haraldng/omnipaxos-artifacts/releases/tag/artifact_evaluatio
Recovering Traceability Links between Release Notes and Related Software Artifact
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
This repository contains the artifact for testing the host checked coverage (HCC), coverage gaps, an...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
Artifact for the paper "Guided Linking: Dynamic Linking Without the Costs", conditionally accepted t...
As part of our recently accepted NVMExplorer-related submission to HPCA '22, we include reference co...
This artifact contains the source code of Khronos, along with other open-source simulators. Among th...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
The artifact contains the software that is released for artifact evaluation of the "Benchmarking, An...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...
Ths artifact consists of a docker image with instructions, the dataset, and the code necessary to re...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
This is the artifact package accompanying the paper "Combinatorial Testing of RESTful APIs". It in...
This software artifact includes the source code for QUESO (a tool for synthesizing quantum-circuit o...
Recovering Traceability Links between Release Notes and Related Software Artifact
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
This repository contains the artifact for testing the host checked coverage (HCC), coverage gaps, an...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
Artifact for the paper "Guided Linking: Dynamic Linking Without the Costs", conditionally accepted t...
As part of our recently accepted NVMExplorer-related submission to HPCA '22, we include reference co...
This artifact contains the source code of Khronos, along with other open-source simulators. Among th...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
The artifact contains the software that is released for artifact evaluation of the "Benchmarking, An...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...
Ths artifact consists of a docker image with instructions, the dataset, and the code necessary to re...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
This is the artifact package accompanying the paper "Combinatorial Testing of RESTful APIs". It in...
This software artifact includes the source code for QUESO (a tool for synthesizing quantum-circuit o...
Recovering Traceability Links between Release Notes and Related Software Artifact
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
This repository contains the artifact for testing the host checked coverage (HCC), coverage gaps, an...
DOI
Add to ORKG