kaist-cp / memento
Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for memento
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆52Updated 7 months ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆38Updated 2 months ago
- ☆32Updated this week
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆14Updated this week
- ☆19Updated last year
- ☆23Updated 3 years ago
- ☆15Updated last year
- ☆20Updated 3 years ago
- ☆55Updated 5 months ago
- A translation validation framework for MLIR☆73Updated last week
- Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (ht…☆19Updated 4 years ago
- ☆48Updated last week
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆115Updated 6 months ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 4 months ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrency☆33Updated last month
- One-for-all python script for running LLVM experiment☆10Updated 2 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 3 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆23Updated 6 months ago
- ☆127Updated last year
- KAIST Educational Virtualization☆13Updated last month
- Ferrite, a toolkit for developing file system crash-consistency models☆17Updated 8 years ago
- In Spec We Trust☆32Updated 4 months ago
- CIRC: Concurrent Immediate Reference Counting☆46Updated last week
- 컴퓨터 신기술 특강☆11Updated last year
- Concurrent-C to Rust Automatic Translator☆14Updated last year
- ☆9Updated last year