{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:59:25Z","timestamp":1750309165992,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["101003349"],"award-info":[{"award-number":["101003349"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100014013","name":"UK Research and Innovation","doi-asserted-by":"publisher","award":["EP\/R006865\/1"],"award-info":[{"award-number":["EP\/R006865\/1"]}],"id":[{"id":"10.13039\/100014013","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,14]]},"DOI":"10.1145\/3639476.3639765","type":"proceedings-article","created":{"date-parts":[[2024,5,24]],"date-time":"2024-05-24T15:15:01Z","timestamp":1716563701000},"page":"82-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Challenges in Empirically Testing Memory Persistency Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3173-8636","authenticated-orcid":false,"given":"Vasileios","family":"Klimis","sequence":"first","affiliation":[{"name":"Queen Mary University of London, London, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7448-7961","authenticated-orcid":false,"given":"Alastair F.","family":"Donaldson","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8436-0334","authenticated-orcid":false,"given":"Viktor","family":"Vafeiadis","sequence":"additional","affiliation":[{"name":"MPI-SWS, Kaiserslautern, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6735-5533","authenticated-orcid":false,"given":"John","family":"Wickerson","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2319-3242","authenticated-orcid":false,"given":"Azalea","family":"Raad","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2024,5,24]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Jade Alglave Mark Batty Alastair F. Donaldson Ganesh Gopalakrishnan Jeroen Ketema Daniel Poetzl Tyler Sorensen and John Wickerson. 2015. GPU Concurrency: Weak Behaviours and Programming Assumptions. In ASPLOS.","key":"e_1_3_2_1_1_1","DOI":"10.1145\/2694344.2694391"},{"key":"e_1_3_2_1_2_1","volume-title":"Armed Cats: Formal Concurrency Modelling at Arm. ACM Trans. Program. Lang. Syst.","author":"Alglave Jade","year":"2021","unstructured":"Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, and Luc Maranget. 2021. Armed Cats: Formal Concurrency Modelling at Arm. ACM Trans. Program. Lang. Syst. (2021)."},{"doi-asserted-by":"crossref","unstructured":"Jade Alglave Luc Maranget Susmit Sarkar and Peter Sewell. 2010. Fences in Weak Memory Models. In Computer Aided Verification.","key":"e_1_3_2_1_3_1","DOI":"10.1007\/978-3-642-14295-6_25"},{"key":"e_1_3_2_1_4_1","volume-title":"Litmus: Running Tests against Hardware. In Tools and Algorithms for the Construction and Analysis of Systems.","author":"Alglave Jade","year":"2011","unstructured":"Jade Alglave, Luc Maranget, Susmit Sarkar, and Peter Sewell. 2011. Litmus: Running Tests against Hardware. In Tools and Algorithms for the Construction and Analysis of Systems."},{"unstructured":"AutoIt. 2022. AutoIt Downloads. https:\/\/www.autoitscript.com\/site\/autoit\/downloads\/","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","volume-title":"Scalable Persistent Memory File System with Kernel-Userspace Collaboration. In 19th USENIX Conference on File and Storage Technologies, FAST.","author":"Chen Youmin","year":"2021","unstructured":"Youmin Chen, Youyou Lu, Bohong Zhu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Jiwu Shu. 2021. Scalable Persistent Memory File System with Kernel-Userspace Collaboration. In 19th USENIX Conference on File and Storage Technologies, FAST."},{"unstructured":"FuturePlus Systems. 2017. DDR Detective FS2800. https:\/\/www.futureplus.com\/ddr-detective\/","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. ACM Program. Lang. 5, OOPSLA","author":"Iorga Dan","year":"2021","unstructured":"Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, and John Wickerson. 2021. The semantics of shared memory in Intel CPU\/FPGA systems. Proc. ACM Program. Lang. 5, OOPSLA (2021)."},{"volume-title":"11th Annual Non-Volatile Memories Workshop. https:\/\/louisjenkinscs.github.io\/publications\/PMAT_EA.pdf.","author":"Jenkins Louis","unstructured":"Louis Jenkins and Michael L. Scott. 2020. Persistent Memory Analysis Tool (PMAT). In 11th Annual Non-Volatile Memories Workshop. https:\/\/louisjenkinscs.github.io\/publications\/PMAT_EA.pdf.","key":"e_1_3_2_1_9_1"},{"doi-asserted-by":"crossref","unstructured":"Rohan Kadekodi Saurabh Kadekodi Soujanya Ponnapalli Harshad Shirwadkar Gregory R. Ganger Aasheesh Kolli and Vijay Chidambaram. 2021. WineFS: A Hugepage-Aware File System for Persistent Memory That Ages Gracefully. In SOSP.","key":"e_1_3_2_1_10_1","DOI":"10.1145\/3477132.3483567"},{"doi-asserted-by":"crossref","unstructured":"Tomasz Kapela. 2015. An introduction to pmemcheck. https:\/\/pmem.io\/blog\/2015\/07\/an-introduction-to-pmemcheck-part-1-basics\/.","key":"e_1_3_2_1_11_1","DOI":"10.1016\/B978-0-12-802652-6.02001-6"},{"unstructured":"Jongyul Kim Insu Jang Waleed Reda Jaeseong Im Marco Canini Dejan Kosti\u0107 Youngjin Kwon Simon Peter and Emmett Witchel. 2021. LineFS: Efficient Smart-NIC Offload of a Distributed File System with Pipeline Parallelism. In SOSP.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. ACM Program. Lang. 7, POPL","author":"Klimis Vasileios","year":"2023","unstructured":"Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, and Alastair F. Donaldson. 2023. Taking Back Control in an Intermediate Representation for GPU Computing. Proc. ACM Program. Lang. 7, POPL (2023)."},{"key":"e_1_3_2_1_14_1","volume-title":"Strata: A Cross Media File System. In SOSP.","author":"Kwon Youngjin","year":"2017","unstructured":"Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel, and Thomas Anderson. 2017. Strata: A Cross Media File System. In SOSP."},{"unstructured":"Sihang Liu Suyash Mahar Baishakhi Ray and Samira Manabi Khan. 2021. PM-Fuzz: test case generation for persistent memory programs. In ASPLOS.","key":"e_1_3_2_1_15_1"},{"unstructured":"Sihang Liu Korakit Seemakhupt Yizhou Wei Thomas F. Wenisch Aasheesh Kolli and Samira Manabi Khan. 2020. Cross-Failure Bug Detection in Persistent Memory Programs. In ASPLOS.","key":"e_1_3_2_1_16_1"},{"unstructured":"Sihang Liu Yizhou Wei Jishen Zhao Aasheesh Kolli and Samira Manabi Khan. 2019. PMTest: A Fast and Flexible Testing Framework for Persistent Memory Programs. In ASPLOS.","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"crossref","unstructured":"Daniel Lustig Andrew Wright Alexandros Papakonstantinou and Olivier Giroux. 2017. Automated Synthesis of Comprehensive Memory Model Litmus Test Suites. In ASPLOS.","key":"e_1_3_2_1_18_1","DOI":"10.1145\/3037697.3037723"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. VLDB Endow.","author":"Meehan John","year":"2015","unstructured":"John Meehan, Nesime Tatbul, Stan Zdonik, Cansu Aslantas, Ugur Cetintemel, Jiang Du, Tim Kraska, Samuel Madden, David Maier, Andrew Pavlo, Michael Stonebraker, Kristin Tufte, and Hao Wang. 2015. S-Store: Streaming Meets Transaction Processing. Proc. VLDB Endow. (2015)."},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. ACM Program. Lang. 6, POPL","author":"Raad Azalea","year":"2022","unstructured":"Azalea Raad, Luc Maranget, and Viktor Vafeiadis. 2022. Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores. Proc. ACM Program. Lang. 6, POPL (2022)."},{"key":"e_1_3_2_1_21_1","volume-title":"Proc. ACM Program. Lang. 4, POPL","author":"Raad Azalea","year":"2020","unstructured":"Azalea Raad, John Wickerson, Gil Neiger, and Viktor Vafeiadis. 2020. Persistency semantics of the Intel-x86 architecture. Proc. ACM Program. Lang. 4, POPL (2020)."},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. ACM Program. Lang. 3, OOPSLA","author":"Raad Azalea","year":"2019","unstructured":"Azalea Raad, John Wickerson, and Viktor Vafeiadis. 2019. Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models. Proc. ACM Program. Lang. 3, OOPSLA (2019)."},{"doi-asserted-by":"crossref","unstructured":"Susmit Sarkar Peter Sewell Jade Alglave Luc Maranget and Derek Williams. 2011. Understanding POWER multiprocessors. In PLDI.","key":"e_1_3_2_1_23_1","DOI":"10.1145\/1993498.1993520"},{"volume-title":"Persistent Memory Architecture","author":"Scargall Steve","unstructured":"Steve Scargall. 2020. Persistent Memory Architecture. Apress.","key":"e_1_3_2_1_24_1"},{"unstructured":"Srinath Setty Chunzhi Su Jacob R. Lorch Lidong Zhou Hao Chen Parveen Patel and Jinglei Ren. 2016. Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent. In OSDI.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","volume-title":"Francesco Zappa Nardelli, and Magnus O. Myreen","author":"Sewell Peter","year":"2010","unstructured":"Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, and Magnus O. Myreen. 2010. x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors. Commun. ACM 53, 7 (2010)."},{"doi-asserted-by":"crossref","unstructured":"Ben Simner Alasdair Armstrong Jean Pichon-Pharabod Christopher Pulte Richard Grisenthwaite and Peter Sewell. 2022. Relaxed virtual memory in Armv8-A. In ESOP.","key":"e_1_3_2_1_27_1","DOI":"10.1007\/978-3-030-99336-8_6"},{"doi-asserted-by":"crossref","unstructured":"Guozhang Wang Lei Chen Ayusman Dikshit Jason Gustafson Boyang Chen Matthias J. Sax John Roesler Sophie Blee-Goldman Bruno Cadonna Apurva Mehta Varun Madan and Jun Rao. 2021. Consistency and Completeness: Rethinking Distributed Stream Processing in Apache Kafka.","key":"e_1_3_2_1_28_1","DOI":"10.1145\/3448016.3457556"},{"key":"e_1_3_2_1_29_1","volume-title":"NOVA: A Log-structured File System for Hybrid Volatile\/Non-volatile Main Memories. In FAST.","author":"Xu Jian","year":"2016","unstructured":"Jian Xu and Steven Swanson. 2016. NOVA: A Log-structured File System for Hybrid Volatile\/Non-volatile Main Memories. In FAST."},{"key":"e_1_3_2_1_30_1","volume-title":"Sebastian Angel, and Vincent Liu.","author":"Zhang Haoran","year":"2020","unstructured":"Haoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, and Vincent Liu. 2020. Fault-tolerant and transactional stateful serverless workflows. In OSDI."},{"key":"e_1_3_2_1_31_1","article-title":"Octopus+: An RDMA-Enabled Distributed Persistent Memory File System","volume":"17","author":"Zhu Bohong","year":"2021","unstructured":"Bohong Zhu, Youmin Chen, Qing Wang, Youyou Lu, and Jiwu Shu. 2021. Octopus+: An RDMA-Enabled Distributed Persistent Memory File System. ACM Trans. Storage 17, 3 (2021).","journal-title":"ACM Trans. Storage"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"],"acronym":"ICSE-NIER'24","name":"ICSE-NIER'24: 2024 ACM\/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results","location":"Lisbon Portugal"},"container-title":["Proceedings of the 2024 ACM\/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639476.3639765","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3639476.3639765","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:53:38Z","timestamp":1750287218000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639476.3639765"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":31,"alternative-id":["10.1145\/3639476.3639765","10.1145\/3639476"],"URL":"https:\/\/doi.org\/10.1145\/3639476.3639765","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-05-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}