This artifact contains: README.md : the artifact guide. poirot-SM.pdf: original paper with the supplemental materials. poirot_pldi-2023.tar.gz: the docker image (optional, we recommend to pull from the docker hub, see README.md). Dockerfile: the docker file that can reproduce the docker image (optional, we recommend to pull from the docker hub, see README.md)
This is the artifact for the PLDI23 paper "Taype: A Policy-Agnostic Language for Oblivious Computati...
Coq development for Fair Operational Semantics. Contains source files and a docker image
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This artifact contains: README.md : the artifact guide. poirot-full.pdf: full paper with the app...
This artifact contains: README.md : the artifact guide. README.pdf: a pdf version of README.md. ...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This is a Docker image that contains the codebase and evaluation scripts for our PLDI 2022 paper "Mo...
This is the archive of the full Docker image used for the artifact of the ICSE 2023 paper "On the Re...
Please refer to the README here: https://github.com/Barnard-PL-Labs/temos/blob/art-eval-pldi22/ART-E...
Getting Started The artifact comprises a Docker image mlkit-pldi23-parreg.tar.gz. Depending on your...
Getting Started The artifact comprises a Docker image mlkit-pldi23-parreg.tar.gz. Depending on your...
This is the artifact for the PLDI23 submission "Taype: a Policy-Agnostic Language for Oblivious Comp...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This repository contains a compressed docker image file, containing the artifact for the PLDI 2023 p...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This is the artifact for the PLDI23 paper "Taype: A Policy-Agnostic Language for Oblivious Computati...
Coq development for Fair Operational Semantics. Contains source files and a docker image
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This artifact contains: README.md : the artifact guide. poirot-full.pdf: full paper with the app...
This artifact contains: README.md : the artifact guide. README.pdf: a pdf version of README.md. ...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This is a Docker image that contains the codebase and evaluation scripts for our PLDI 2022 paper "Mo...
This is the archive of the full Docker image used for the artifact of the ICSE 2023 paper "On the Re...
Please refer to the README here: https://github.com/Barnard-PL-Labs/temos/blob/art-eval-pldi22/ART-E...
Getting Started The artifact comprises a Docker image mlkit-pldi23-parreg.tar.gz. Depending on your...
Getting Started The artifact comprises a Docker image mlkit-pldi23-parreg.tar.gz. Depending on your...
This is the artifact for the PLDI23 submission "Taype: a Policy-Agnostic Language for Oblivious Comp...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This repository contains a compressed docker image file, containing the artifact for the PLDI 2023 p...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This is the artifact for the PLDI23 paper "Taype: A Policy-Agnostic Language for Oblivious Computati...
Coq development for Fair Operational Semantics. Contains source files and a docker image
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
DOI
Add to ORKG