KAIST Concurrency and Parallelism Laboratory's repositories
kecc-public
KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
smr-benchmark
SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
hazardflow
HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
smr-verification
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)
memento-proof
[WORK IN PROGRESS] Mechanized Proof for Article: "Memento: A Framework for Detectable Recoverability in Persistent Memory" (PLDI 2023)