There is a newer version of the record available.

Published December 23, 2023 | Version v1
Dataset Open

Artifact for "Challenges in Empirically Testing Memory Persistency Models"

Authors/Creators

  • 1. ROR icon Queen Mary University of London
  • 2. ROR icon Imperial College London
  • 3. Max Planck Institute for Software Systems

Description

Here, we provide the litmus tests, auxiliary scripts, and output data comprising the artifact accompanying the paper titled 'Challenges in Empirically Testing Memory Persistency Models', published in ICSE NIER'24.

Files

README.md

Files (12.5 MB)

Name Size
md5:d67b32568f66b6eef003c31f7cd9ad39
14.2 kB Download
md5:3fc1fe79369dab4a6ee0f484998cff88
2.7 MB Preview Download
md5:efa7c5fcff7937396097d345be436963
7.7 MB Preview Download
md5:c74a5daa8dc87ba5340bddd5f79d312b
996.6 kB Download
md5:f3f8eab93f3e6d7d778daf2ac1b0f62d
999.8 kB Download
md5:6215de91aa2c4486ea283d08407fed4e
4.7 kB Download
md5:95d3adc6dbaf20016fe4f1b8a8be333a
4.2 kB Download
md5:d5b914cefe74a85fdbe3f8fb1f3f8771
4.2 kB Download
md5:8a14c2c55f1da73654d0228db84e378f
4.6 kB Download
md5:b3a7284614f9948118d7719a46db91c5
5.2 kB Preview Download
md5:a622c28e44995f6dc7c0a80431cbe73b
15.4 kB Download
md5:b324bbada6119b6c66dbaf1323b6c440
15.4 kB Download

Additional details

Funding

European Commission
PERSIST - A Semantic Foundation for Persistent Programming 101003349
UK Research and Innovation
Interface reasoning for interacting systems (IRIS). EP/R006865/1