KAIST Concurrency and Parallelism Laboratory
Where theory meets practice
Pinned Loading
Repositories
Showing 10 of 28 repositories
- smr-benchmark Public
SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
kaist-cp/smr-benchmark’s past year of commit activity - trio-plus Public
kaist-cp/trio-plus’s past year of commit activity - cs431 Public
kaist-cp/cs431’s past year of commit activity - smr-verification Public
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
kaist-cp/smr-verification’s past year of commit activity - as602 Public
kaist-cp/as602’s past year of commit activity - shakeflow Public
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
kaist-cp/shakeflow’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…