Published December 23, 2023 | Version v2
Dataset Open

Artifact for "Challenges in Empirically Testing Memory Persistency Models"

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

Description

Presented here are the litmus tests, auxiliary scripts, and output data constituting the artifact accompanying the paper titled 'Challenges in Empirically Testing Memory Persistency Models,' published in ICSE NIER'24. For detailed information, please refer to the README.

Files

flow.png

Files (12.8 MB)

Name Size Download all
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:ff0e2a443729c2c3ad6b36b066fa333a
237.0 kB Preview 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:9c3e997fb7975cbdebda34269b23dfb5
65.9 kB Preview Download
md5:8ca1d31e7ab92baeacb20a1aa0ce9025
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