Serverless computing separates function execution from state management. Simple retry-
based fault tolerance might corrupt the shared state with duplicate updates. Existing …

Byte-addressable Non-Volatile Memory (NVM) allows programs to directly access storage
using memory interface without going through the expensive conventional storage stack …

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 …

We present Metis, a model-checking framework designed for versatile, thorough, yet
configurable file system testing in the form of input and state exploration. It uses a …

Byte-addressable persistent memory (PM) has been widely studied in the past few years.
Recently, the emerging eADR technology further incorporates CPU cache into the …

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 …

Non-Volatile Main Memory (NVMM) technologies make it possible for applications to
permanently store data in memory. To do so, they need to make sure that updates to …

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 …

Modern software systems are deeply embedded into our daily lives; the failures of these
systems can therefore result in massive real-world harm. Consequently, considerable …

File systems are a crucial component of operating systems, serving as the backbone of the
modern storage hierarchy and supporting a wide range of applications including databases …