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

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

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

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

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

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

Dynamic RAM Console

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

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

Interactive Benchmarking of Persistent Memory Indexes

Persistent Memory Logic Loop

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".

SPP: Safe Persistent Pointers for Memory Safety

Image Captioning with Sparsed Transformer and Persistent Memory

A testcase generation tool for Persistent Memory Programs.

Cost/performance analysis of index structures on SSD and persistent memory (CIDR 2022)

PetPS: Supporting Huge Embedding Models with Tiered Memory