Publication date
October 2021
DOIAbstract
Artifact submission for POPL'22 AECIf you use this software, please cite it as below
Artifact submission for POPL'22 AECIf you use this software, please cite it as below
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
Artifact for POPL 2022 paper: Induction Duality: Primal-Dual Search for Invariants. This record wil...
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
Artifact for POPL 2024 submission "Parikh's Theorem Made Symbolic". Contains source code and a disk ...
Artifact for the POPL23 submission titled "Efficient Dual-Numbers Reverse AD via Well-Known Program ...
Artifact for the Futhark memory-optimization submission for SC22If you use this software, please cit...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact for the Futhark AD submission to SC22If you use this software, please cite it as below
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
This repository contains the artifact for Verification-guided Programmatic Controller Synthesis
Artifact for POPL24 paper 122: Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis
Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
Artifact for POPL 2022 paper: Induction Duality: Primal-Dual Search for Invariants. This record wil...
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
Artifact for POPL 2024 submission "Parikh's Theorem Made Symbolic". Contains source code and a disk ...
Artifact for the POPL23 submission titled "Efficient Dual-Numbers Reverse AD via Well-Known Program ...
Artifact for the Futhark memory-optimization submission for SC22If you use this software, please cit...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact for the Futhark AD submission to SC22If you use this software, please cite it as below
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
This repository contains the artifact for Verification-guided Programmatic Controller Synthesis
Artifact for POPL24 paper 122: Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis
Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
Artifact for POPL 2022 paper: Induction Duality: Primal-Dual Search for Invariants. This record wil...
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
Add to ORKG