Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types. This artifact contains the implementation for "Zooid: a DSL for Certified Multiparty Computation" from PLDI'21 This code is maintained at: https://github.com/emtst/zooid-cmps
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types. ...
We design and implement Zooid, a domain specific language for certified multiparty communication, em...
We design and implement Zooid, a domain specific language for certified multiparty communication, em...
This is the artifact accompanying the paper "Complete Multiparty Session Type Projection with Automa...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
This is the artifact description for the paper "A Self-Dual Distillation of Session Types". The arti...
The artifact for Multiparty GV. See README.md for details. This artifact contains source (mpgv.zip...
Item does not contain fulltextThis is the artifact for the POPL'22 paper 'Simuliris: A Separation Lo...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
Artifact for the CPP'21 paper Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types. ...
We design and implement Zooid, a domain specific language for certified multiparty communication, em...
We design and implement Zooid, a domain specific language for certified multiparty communication, em...
This is the artifact accompanying the paper "Complete Multiparty Session Type Projection with Automa...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
This is the artifact description for the paper "A Self-Dual Distillation of Session Types". The arti...
The artifact for Multiparty GV. See README.md for details. This artifact contains source (mpgv.zip...
Item does not contain fulltextThis is the artifact for the POPL'22 paper 'Simuliris: A Separation Lo...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
Artifact for the CPP'21 paper Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
DOI
Add to ORKG