Published October 6, 2021 | Version 0.1
Software Open

Truly Stateless, Optimal Dynamic Partial Order Reduction

Authors/Creators

  • 1. MPI-SWS

Description

This is the artifact accompanying our paper "Truly Stateless, Optimal Dynamic Partial Order Reduction", accepted for publication at POPL 2022.

Files

instructions.pdf

Files (3.6 GB)

Name Size Download all
md5:49e3634bf3c640bd71f8b666b9df707b
363.6 kB Preview Download
md5:5ea257f32e92e52da4abb98060abfa17
3.6 GB Download