A repo for the code artifacts produced for the course on Persistent Memory (CS 839) in the Fall 2021 semester at the University of Wisconsin - Madison

[WORK IN PROGRESS] Mechanized Proof for Article: "Memento: A Framework for Detectable Recoverability in Persistent Memory" (PLDI 2023)

Dynamic RAM Console

Persistent Memory Analysis Tool (PMAT) - Valgrind Plugin that provides an online sampling approach towards performing verification on persistent memory.

SGX-Romulus is a SGX-compatible persistent memory (PM) library based on Romulus PM library.

A configurable persistent memory cache designed for real-time search engines

Efficient caching for non-volatile memory-backed search indices. A thesis submitted for undergraduate honours for the degree Software Engineering.

[bakup] An RDMA- & PMem-aware distributed KV storage system. (The original repo is on Gitee under the same account and project name.)

Persistent Memory Logic Loop

SPP: Safe Persistent Pointers for Memory Safety

Arthas: Checkpoint and Selective Rollback for PMEM Systems

Codes for our VLDB'23 paper "A Design Space Exploration and Evaluation for Main-Memory Hash Joins in Storage Class Memory".

Image Captioning with Sparsed Transformer and Persistent Memory

Implementation of the simplified version of the NV-Heap paper (https://courses.engr.illinois.edu/ece598ms/sp2018/papers/paper44.pdf)

Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)

A filesystem in user space built using FUSE.

Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)

A testcase generation tool for Persistent Memory Programs.

Interactive Benchmarking of Persistent Memory Indexes