With high memory density, non-volatility, and DRAM-scale latency, persistent memory (PM)
is promising to improve the storage system performance. Hashing-based index structures …

Implementing highly efficient and correct synchronization primitives on modern Weak
Memory Model (WMM) architectures, such as ARM and RISC-V, is very difficult even for …

We present IronSync, an automated verification framework for concurrent code with shared
memory. IronSync scales to complex systems by splitting system-wide proofs into isolated …

Kernel synchronization primitives are the backbone of any OS design. Kernel locks, for
instance, are crucial for both application performance and correctness. However, unlike …

Modern multi-threaded software systems commonly leverage locks to prevent concurrency
bugs. Nevertheless, due to the complexity of writing the correct concurrent code, using locks …

The bandwidth of flash storage has been surging in recent years. Employing multicores to
fully unleash its abundant bandwidth becomes a necessary step towards building high …

We propose logical memory pools, a memory disaggregation architecture for the emerging
Compute Express Link (CXL) technology in datacenters. The key idea is to create a memory …

Writing a correct operating system kernel is notoriously hard. Kernel code requires manual
memory management and type-unsafe code and must efficiently handle complex …

In the age of the cloud-native, container technology, referred as OS-level virtualization, is
increasingly adopted to deploy cloud applications. Compared with virtual machines …

Efficient locking mechanisms are extremely important to support large-scale concurrency
and exploit the performance promises of many-core servers. Implementing an efficient …