• Zhou Y, Zeng J and Jung C. (2024). LightWSP: Whole-System Persistence on the Cheap 2024 57th IEEE/ACM International Symposium on Microarchitecture (MICRO). 10.1109/MICRO61859.2024.00025. 979-8-3503-5057-9. (215-230).

    https://ieeexplore.ieee.org/document/10764697/

  • Huang Z, Ravi S and Wang C. Discovering Likely Program Invariants for Persistent Memory. Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering. (1795-1807).

    https://doi.org/10.1145/3691620.3695544

  • Ding B, Tong W, Hua Y, Chen Z, Wei X and Feng D. Enabling Reliable Memory-Mapped I/O With Auto-Snapshot for Persistent Memory Systems. IEEE Transactions on Computers. 10.1109/TC.2024.3416683. 73:9. (2290-2304).

    https://ieeexplore.ieee.org/document/10564838/

  • Houdaille P, Khelladi D, Combemale B and Mussbacher G. On Polyglot Program Testing. Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. (507-511).

    https://doi.org/10.1145/3663529.3663787

  • Zeng J, Zhang T and Jung C. (2024). Compiler-Directed Whole-System Persistence 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA). 10.1109/ISCA59077.2024.00074. 979-8-3503-2658-1. (961-977).

    https://ieeexplore.ieee.org/document/10609581/

  • Stavrakakis D, Panfil A, Nam M and Bhatotia P. (2024). SPP: Safe Persistent Pointers for Memory Safety 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 10.1109/DSN58291.2024.00019. 979-8-3503-4105-8. (37-52).

    https://ieeexplore.ieee.org/document/10646901/

  • Huang Z and Wang C. Constraint Based Program Repair for Persistent Memory Bugs. Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. (1-12).

    https://doi.org/10.1145/3597503.3639204

  • Raad A, Lahav O, Wickerson J, Balcer P and Dongol B. Intel PMDK Transactions: Specification, Validation and Concurrency. Programming Languages and Systems. (150-179).

    https://doi.org/10.1007/978-3-031-57267-8_6

  • Stavrakakis D, Giantsidi D, Bailleu M, Sändig P, Issa S and Bhatotia P. (2023). Anchor: A Library for Building Secure Persistent Memory Systems. Proceedings of the ACM on Management of Data. 1:4. (1-31). Online publication date: 8-Dec-2023.

    https://doi.org/10.1145/3626718

  • Gatla O, Zhang D, Xu W and Zheng M. (2023). Understanding Persistent-memory-related Issues in the Linux Kernel. ACM Transactions on Storage. 19:4. (1-28). Online publication date: 30-Nov-2023.

    https://doi.org/10.1145/3605946

  • Zeng J, Jeong J and Jung C. Persistent Processor Architecture. Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture. (1075-1091).

    https://doi.org/10.1145/3613424.3623772

  • Elnawawy H, Tuck J and Byrd G. PreFlush: Lightweight Hardware Prediction Mechanism for Cache Line Flush and Writeback. Proceedings of the 32nd International Conference on Parallel Architectures and Compilation Techniques. (74-85).

    https://doi.org/10.1109/PACT58117.2023.00015

  • Chen Z, Che W, Hu D, He X, Sun J and Chen H. On the Performance Intricacies of Persistent Memory Aware Storage Engines. IEEE Transactions on Knowledge and Data Engineering. 10.1109/TKDE.2023.3248643. 35:10. (10365-10382).

    https://ieeexplore.ieee.org/document/10091894/

  • Giantsidi D, Giortamis E, Tornow N, Dinu F and Bhatotia P. FlexLog: A Shared Log for Stateful Serverless Computing. Proceedings of the 32nd International Symposium on High-Performance Parallel and Distributed Computing. (195-209).

    https://doi.org/10.1145/3588195.3592993

  • Seneviratne Y, Seemakhupt K, Liu S and Khan S. NearPM: A Near-Data Processing System for Storage-Class Applications. Proceedings of the Eighteenth European Conference on Computer Systems. (751-767).

    https://doi.org/10.1145/3552326.3587456

  • LeBlanc H, Pailoor S, K R E O, Dillig I, Bornholt J and Chidambaram V. Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. Proceedings of the Eighteenth European Conference on Computer Systems. (718-733).

    https://doi.org/10.1145/3552326.3567498

  • Krishnan R, Zhou D, Kim W, Kannan S, Kashyap S and Min C. TENET. Proceedings of the 21st USENIX Conference on File and Storage Technologies. (247-264).

    /doi/10.5555/3585938.3585954

  • Pandey S, Kamath A and Basu A. Scoped Buffered Persistency Model for GPUs. Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. (688-701).

    https://doi.org/10.1145/3575693.3575749

  • Marmanis I and Vafeiadis V. (2023). SMT-Based Verification of Persistency Invariants of Px86 Programs. Verified Software. Theories, Tools and Experiments.. 10.1007/978-3-031-25803-9_6. (92-110).

    https://link.springer.com/10.1007/978-3-031-25803-9_6

  • Qiu H, Liu S, Song X, Khan S and Pekhimenko G. Pavise. Proceedings of the International Conference on Parallel Architectures and Compilation Techniques. (109-123).

    https://doi.org/10.1145/3559009.3569662

  • Sakamoto S, Suzuki K and Kono K. (2022). Crash Injection to Persistent Memory for Recovery Code Validation 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). 10.1109/ISSREW55968.2022.00065. 978-1-6654-7679-9. (178-184).

    https://ieeexplore.ieee.org/document/9984995/

  • Baldassin A, Barreto J, Castro D and Romano P. (2021). Persistent Memory. ACM Computing Surveys. 54:7. (1-37). Online publication date: 30-Sep-2022.

    https://doi.org/10.1145/3465402

  • Braun M, Weber F and Alt F. (2021). Affective Automotive User Interfaces–Reviewing the State of Driver Affect Research and Emotion Regulation in the Car. ACM Computing Surveys. 54:7. (1-26). Online publication date: 30-Sep-2022.

    https://doi.org/10.1145/3460938

  • Benson L, Papke L and Rabl T. (2022). PerMA-bench. Proceedings of the VLDB Endowment. 15:11. (2463-2476). Online publication date: 1-Jul-2022.

    https://doi.org/10.14778/3551793.3551807

  • Jeong J, Zeng J and Jung C. Capri. Proceedings of the 31st International Symposium on High-Performance Parallel and Distributed Computing. (71-83).

    https://doi.org/10.1145/3502181.3531474

  • Xu Y, Ye C, Solihin Y and Shen X. FFCCD. Proceedings of the 49th Annual International Symposium on Computer Architecture. (274-288).

    https://doi.org/10.1145/3470496.3527406

  • Hu D, Chen Z, Che W, Sun J and Chen H. Halo: A Hybrid PMem-DRAM Persistent Hash Index with Fast Recovery. Proceedings of the 2022 International Conference on Management of Data. (1049-1063).

    https://doi.org/10.1145/3514221.3517884

  • Gorjiara H, Luo W, Lee A, Xu G and Demsky B. Checking robustness to weak persistency models. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. (490-505).

    https://doi.org/10.1145/3519939.3523723

  • Reidys B and Huang J. Understanding and detecting deep memory persistency bugs in NVM programs with DeepMC. Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. (322-336).

    https://doi.org/10.1145/3503221.3508427

  • Bozdoğan K, Stavrakakis D, Issa S and Bhatotia P. SafePM. Proceedings of the Seventeenth European Conference on Computer Systems. (506-524).

    https://doi.org/10.1145/3492321.3519574

  • Gorjiara H, Xu G and Demsky B. Yashme: detecting persistency races. Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. (830-845).

    https://doi.org/10.1145/3503222.3507766

  • Chen Z, Hua Y, Zhang Y and Ding L. Efficiently detecting concurrency bugs in persistent memory programs. Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. (873-887).

    https://doi.org/10.1145/3503222.3507755

  • Fu X, Kim W, Shreepathi A, Ismail M, Wadkar S, Lee D and Min C. Witcher. Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles. (100-115).

    https://doi.org/10.1145/3477132.3483556

  • Mahar S, Liu S, Seemakhupt K, Young V and Khan S. Write Prediction for Persistent Memory Systems. Proceedings of the 30th International Conference on Parallel Architectures and Compilation Techniques. (242-257).

    https://doi.org/10.1109/PACT52795.2021.00025

  • Cho K, Lee S, Raad A and Kang J. Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. (16-31).

    https://doi.org/10.1145/3453483.3454027

  • Zhang D, Gatla O, Xu W and Zheng M. A study of persistent memory bugs in the Linux kernel. Proceedings of the 14th ACM International Conference on Systems and Storage. (1-6).

    https://doi.org/10.1145/3456727.3463783

  • Seemakhupt K, Liu S, Senevirathne Y, Shahbaz M and Khan S. PMNet. Proceedings of the 48th Annual International Symposium on Computer Architecture. (804-817).

    https://doi.org/10.1109/ISCA52012.2021.00068

  • Wang Z, Choo C, Kozuch M, Mowry T, Pekhimenko G, Seshadri V and Skarlatos D. NVOverlay. Proceedings of the 48th Annual International Symposium on Computer Architecture. (498-511).

    https://doi.org/10.1109/ISCA52012.2021.00046

  • Choi B, Burns R and Huang P. Understanding and dealing with hard faults in persistent memory systems. Proceedings of the Sixteenth European Conference on Computer Systems. (441-457).

    https://doi.org/10.1145/3447786.3456252

  • Di B, Liu J, Chen H and Li D. Fast, flexible, and comprehensive bug detection for persistent memory programs. Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. (503-516).

    https://doi.org/10.1145/3445814.3446744

  • Hoseinzadeh M and Swanson S. Corundum: statically-enforced persistent memory safety. Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. (429-442).

    https://doi.org/10.1145/3445814.3446710

  • Neal I, Quinn A and Kasikci B. Hippocrates: healing persistent memory bugs without doing any harm. Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. (401-414).

    https://doi.org/10.1145/3445814.3446694

  • Liu S, Mahar S, Ray B and Khan S. PMFuzz: test case generation for persistent memory programs. Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. (487-502).

    https://doi.org/10.1145/3445814.3446691

  • Alshboul M, Ramrakhyani P, Wang W, Tuck J and Solihin Y. (2021). BBB: Simplifying Persistent Programming using Battery-Backed Buffers 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA). 10.1109/HPCA51647.2021.00019. 978-1-6654-2235-2. (111-124).

    https://ieeexplore.ieee.org/document/9407087/

  • Abdulla P, Atig M, Bouajjani A, Kumar K and Saivasan P. (2021). Deciding reachability under persistent x86-TSO. Proceedings of the ACM on Programming Languages. 5:POPL. (1-32). Online publication date: 4-Jan-2021.

    https://doi.org/10.1145/3434337

  • Neal I, Reeves B, Stoler B, Quinn A, Kwon Y, Peter S and Kasikci B. AGAMOTTO. Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation. (1047-1064).

    /doi/10.5555/3488766.3488825

  • Shahri S, Armin Vakil Ghahani S and Kolli A. (2020). (Almost) Fence-less Persist Ordering 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO). 10.1109/MICRO50266.2020.00052. 978-1-7281-7383-2. (539-554).

    https://ieeexplore.ieee.org/document/9251971/

  • Kokolis A, Shull T, Huang J and Torrellas J. (2020). P-INSPECT: Architectural Support for Programmable Non-Volatile Memory Frameworks 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO). 10.1109/MICRO50266.2020.00050. 978-1-7281-7383-2. (509-524).

    https://ieeexplore.ieee.org/document/9251857/

  • Choi J, Hong J, Kwon Y and Han H. Libnvmmio. Proceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference. (1-16).

    /doi/10.5555/3489146.3489147

  • Haria S, Hill M and Swift M. MOD. Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. (775-788).

    https://doi.org/10.1145/3373376.3378472

  • Memaripour A, Izraelevitz J and Swanson S. Pronto. Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. (789-806).

    https://doi.org/10.1145/3373376.3378456

  • Liu S, Seemakhupt K, Wei Y, Wenisch T, Kolli A and Khan S. Cross-Failure Bug Detection in Persistent Memory Programs. Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. (1187-1202).

    https://doi.org/10.1145/3373376.3378452

  • Raad A, Wickerson J, Neiger G and Vafeiadis V. (2019). Persistency semantics of the Intel-x86 architecture. Proceedings of the ACM on Programming Languages. 4:POPL. (1-31). Online publication date: 1-Jan-2020.

    https://doi.org/10.1145/3371079

  • Lee S, Mohan J, Kashyap S, Kim T and Chidambaram V. Recipe. Proceedings of the 27th ACM Symposium on Operating Systems Principles. (462-477).

    https://doi.org/10.1145/3341301.3359635

  • Raad A, Wickerson J and Vafeiadis V. (2019). Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models. Proceedings of the ACM on Programming Languages. 3:OOPSLA. (1-27). Online publication date: 10-Oct-2019.

    https://doi.org/10.1145/3360561

  • Liu S, Seemakhupt K, Pekhimenko G, Kolli A and Khan S. Janus. Proceedings of the 46th International Symposium on Computer Architecture. (143-156).

    https://doi.org/10.1145/3307650.3322206