Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Programs" submitted to OOPSLA 2020 The artifact has been packaged into a virtual machine (Ubuntu 20.04). The username and password for the virtual machine is "pgcd"
This repository includes an accompanying artifact to our paper "Verifying Learning-Based Robotic Nav...
The artifact is a virtual machine image containing two Coq packages which include mechanization of p...
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
This is an artifact accompanying the paper: "Verifying Learning-Based Robotic Navigation Systems" (a...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This is the artifact accompanying the paper "Complete Multiparty Session Type Projection with Automa...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...
A virtual machine submitted to PLDI 2022's artifact evaluation committee. 1Jade Philipoom is now at...
A zip-file containing the artifact, models and scripts for reproducing the results of the paper "Tea...
This is the artifact for the CAV 2022 paper "Sound Automation of Magic Wands". We tested the (Ubunt...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This repository includes an accompanying artifact to our paper "Verifying Learning-Based Robotic Nav...
The artifact is a virtual machine image containing two Coq packages which include mechanization of p...
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
This is an artifact accompanying the paper: "Verifying Learning-Based Robotic Navigation Systems" (a...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This is the artifact accompanying the paper "Complete Multiparty Session Type Projection with Automa...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...
A virtual machine submitted to PLDI 2022's artifact evaluation committee. 1Jade Philipoom is now at...
A zip-file containing the artifact, models and scripts for reproducing the results of the paper "Tea...
This is the artifact for the CAV 2022 paper "Sound Automation of Magic Wands". We tested the (Ubunt...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This repository includes an accompanying artifact to our paper "Verifying Learning-Based Robotic Nav...
The artifact is a virtual machine image containing two Coq packages which include mechanization of p...
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
DOI
Add to ORKG