This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of Functional Programming Assignments" by Anonymous Authors
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
Contains fulltext : 107662.pdf (author's version ) (Open Access
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
Contains fulltext : 107662.pdf (author's version ) (Open Access
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
Contains fulltext : 107662.pdf (author's version ) (Open Access
DOI
Add to ORKG