Other Open Access

PerSeVerE: Persistency Semantics for Verification under Ext4

Michalis Kokologiannakis; Ilya Kaysin; Azalea Raad; Viktor Vafeiadis

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 same 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.

Files (6.6 GB)
Name Size
instructions.pdf
md5:5fa9caa52da83d9d8d718a2cafafc6b9
408.1 kB Download
persevere.docker
md5:87484cb5aa78eb9f0e73074e403f03df
6.6 GB Download
135
188
views
downloads
All versions This version
Views 13568
Downloads 188100
Data volume 295.5 GB170.8 GB
Unique views 11758
Unique downloads 14476

Share

Cite as