PerSeVerE: Persistency Semantics for Verification under Ext4 [article]

Michalis Kokologiannakis, Ilya Kaysin, Azalea Raad, Viktor Vafeiadis
2020 Zenodo  
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 the
more » ... ame benchmarks may differ in the future. We have made Persevere publicly available on \href{https://github.com/MPI-SWS/genmc}{GitHub}, as part of the GenMC tool. For any bugs, comments, or feedback regarding Persevere, please do not hesitate to contact us.
doi:10.5281/zenodo.4067992 fatcat:dxwnhudnszct5aty7migk6knyq