Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
The advent of Persistent Memory (PM) opens the door to novel application designs that
explore its performance and durability benefits. However, there is no free lunch, and to …
explore its performance and durability benefits. However, there is no free lunch, and to …
Discovering Likely Program Invariants for Persistent Memory
We propose a method for automatically discovering likely program invariants for persistent
memory (PM), which is a type of fast and byte-addressable storage device that can retain …
memory (PM), which is a type of fast and byte-addressable storage device that can retain …
Constraint Based Program Repair for Persistent Memory Bugs
Z Huang, C Wang - Proceedings of the IEEE/ACM 46th International …, 2024 - dl.acm.org
We propose a constraint based method for repairing bugs associated with the use of
persistent memory (PM) in application software. Our method takes a program execution …
persistent memory (PM) in application software. Our method takes a program execution …
[PDF][PDF] HawkSet: An Automatic, Agnostic, and Efficient Concurrent PM Bug Detection Tool
JMF Oliveira - 2023 - miguelmatos.me
Persistent memory (PM) provides developers with byte-addressable and durable storage,
with performance comparable to that of DRAM. This allows for the development of …
with performance comparable to that of DRAM. This allows for the development of …