Binary Artifact for TACAS-2018 paper "Optimal DPOR with Observers"
2018-04-13T15:04:32Z (GMT) by
This is a binary artifact related to the TACAS-2018 paper "Optimal Dynamic Partial Order Reduction with Observers". The paper describes an extension to the Optimal DPOR (Dynamic Partical Order Reduction) algorithm that enables use of observers, and demonstrates its utility through two implementations: one in an SMC tool for C/C++ programs with pthreads and one in an SMC tool for Erlang programs.<div><br></div><div>This artifact contains the code and benchmarks used to generate the results in the paper, as well as instructions on how to do so. The artifact is designed to be used with <a href="https://doi.org/10.6084/m9.figshare.5896615">https://doi.org/10.6084/m9.figshare.5896615</a>.<div><br></div><div><div>Within the artifact there are two subdirectories ("Concuerror" and "Nidhugg"), which each contain a README.md file, describing how the experimental results of the relevant sections can be replicated.</div></div></div>