Publication date
March 2023
DOIAbstract
Coq development for Fair Operational Semantics. Contains source files and a docker image
Coq development for Fair Operational Semantics. Contains source files and a docker image
ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker. Th...
This repository contains a compressed docker image file, containing the artifact for the PLDI 2023 p...
This software artifact (docker image) is prepared for PLDI 2021 artifact evaluation. Please refer to...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This artifact contains: README.md : the artifact guide. poirot-full.pdf: full paper with the app...
This artifact contains: README.md : the artifact guide. poirot-SM.pdf: original paper with the s...
This is a Docker image that contains the codebase and evaluation scripts for our PLDI 2022 paper "Mo...
This is the artifact for the PLDI23 submission "Taype: a Policy-Agnostic Language for Oblivious Comp...
This is the PLDI 2022 artifact for WARio, a compiler-support runtime for intermittently-powered plat...
This is the PLDI 2022 artifact for WARio, a compiler-support runtime for intermittently-powered plat...
This is a Docker image that contains the codebase and evaluation scripts for our OOPSLA 2023 paper "...
PLDI 2023 artifact evaluation. Please use ``docker load `` to load it and ``docker run -it -t ipg-p...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker. Th...
This repository contains a compressed docker image file, containing the artifact for the PLDI 2023 p...
This software artifact (docker image) is prepared for PLDI 2021 artifact evaluation. Please refer to...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This artifact contains: README.md : the artifact guide. poirot-full.pdf: full paper with the app...
This artifact contains: README.md : the artifact guide. poirot-SM.pdf: original paper with the s...
This is a Docker image that contains the codebase and evaluation scripts for our PLDI 2022 paper "Mo...
This is the artifact for the PLDI23 submission "Taype: a Policy-Agnostic Language for Oblivious Comp...
This is the PLDI 2022 artifact for WARio, a compiler-support runtime for intermittently-powered plat...
This is the PLDI 2022 artifact for WARio, a compiler-support runtime for intermittently-powered plat...
This is a Docker image that contains the codebase and evaluation scripts for our OOPSLA 2023 paper "...
PLDI 2023 artifact evaluation. Please use ``docker load `` to load it and ``docker run -it -t ipg-p...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker. Th...
This repository contains a compressed docker image file, containing the artifact for the PLDI 2023 p...
This software artifact (docker image) is prepared for PLDI 2021 artifact evaluation. Please refer to...
Add to ORKG