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☆37Updated 2 months ago
- ☆31Updated 2 months ago
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆14Updated this week
- ☆26Updated 4 years ago
- ☆23Updated 3 years ago
- ☆55Updated 5 months ago
- ☆15Updated last year
- ☆19Updated last year
- ☆20Updated 3 years ago
- ☆48Updated this week
- 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
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 4 months ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆114Updated 6 months ago
- Major CS conference publication stats (including accepted and submitted) by year.☆111Updated last month
- Collaborative Parallelization Framework (CPF)☆32Updated last year
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆23Updated 6 months ago
- One-for-all python script for running LLVM experiment☆10Updated 2 years ago
- 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
- Yizhou' Homepage☆46Updated 5 months ago
- ☆126Updated last year
- This is the implementation of our research system Illuminator that was published in ASPLOS 2018 with the title "Making Huge Pages Actuall…☆11Updated 4 years ago
- ☆12Updated 2 years ago
- Verifying concurrent crash-safe systems☆162Updated this week
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆13Updated last month
- KAIST Educational Virtualization☆13Updated last month