KAIST Concurrency & Parallelism Laboratory
Where theory meets practice
Pinned
Repositories
Showing 10 of 23 repositories
- smr-benchmark Public
SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
-
-
-
- smr-verification Public
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)