Publication date
November 2022
DOIAbstract
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
Artifact for POPL 2022 Paper: Induction Duality: Primal-Dual Search for Invariants The artifact is ...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact for POPL 2024 submission "Parikh's Theorem Made Symbolic". Contains source code and a disk ...
Artifact for the paper "Symbolic transformation of expressions in modular arithmetic" published at S...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
This is the artifact accompanying the POPL20 paper "Stacked Borrows: An Aliasing Model for Rust". Th...
This is the artefact for the paper "Algebraic Effects Meet Hoare Logic in Cubical Agda", conditional...
Artifact for POPL 2022 paper: Induction Duality: Primal-Dual Search for Invariants. This record wil...
This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Seman...
This is the artifact corresponding to the paper "From SMT to ASP: Solver-Based Approaches to Solving...
Artifact submission for POPL'22 AECIf you use this software, please cite it as below
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
Artifact for POPL 2022 Paper: Induction Duality: Primal-Dual Search for Invariants The artifact is ...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact for POPL 2024 submission "Parikh's Theorem Made Symbolic". Contains source code and a disk ...
Artifact for the paper "Symbolic transformation of expressions in modular arithmetic" published at S...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
This is the artifact accompanying the POPL20 paper "Stacked Borrows: An Aliasing Model for Rust". Th...
This is the artefact for the paper "Algebraic Effects Meet Hoare Logic in Cubical Agda", conditional...
Artifact for POPL 2022 paper: Induction Duality: Primal-Dual Search for Invariants. This record wil...
This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Seman...
This is the artifact corresponding to the paper "From SMT to ASP: Solver-Based Approaches to Solving...
Artifact submission for POPL'22 AECIf you use this software, please cite it as below
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
Artifact for POPL 2022 Paper: Induction Duality: Primal-Dual Search for Invariants The artifact is ...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
Add to ORKG