A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
This is the artifact accompanying the paper "PerSeVerE: Persistency Semantics for Verification under Ext4" which is conditionally accepted in POPL'21. We consider our paper's artifact to be the set of benchmarks we used in the paper, as well as the results we got by running a particular version of Persevere (and its naive counterparts) on the benchmarks set. We do not consider the artifact of the paper to be Persevere itself, as it will evolve over time, and the results obtained by running thedoi:10.5281/zenodo.4123035 fatcat:2xneam53yre2fksieeq2vucj7i