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
-
Updated
Dec 30, 2021 - C++
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)
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.
SPP: Safe Persistent Pointers for Memory Safety
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.)
Codes for our VLDB'23 paper "A Design Space Exploration and Evaluation for Main-Memory Hash Joins in Storage Class Memory".
Arthas: Checkpoint and Selective Rollback for PMEM Systems
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)
Image Captioning with Sparsed Transformer and Persistent Memory
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
Add a description, image, and links to the persistent-memory topic page so that developers can more easily learn about it.
To associate your repository with the persistent-memory topic, visit your repo's landing page and select "manage topics."