KAIST Concurrency and Parallelism Laboratory

cs431

cs420

KAIST CS420: Compiler Design (2023 Spring)

cs220

rv6

kecc-public

KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!

rust-school

shakeflow

ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)

smr-benchmark

SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes

circ

CIRC: Concurrent Immediate Reference Counting

cs500

Moved to https://cp-git.kaist.ac.kr/jeehoon.kang/cs500

helpdesk

memento

Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)

hp-plus

HP++: A Hazard Pointers Extension for Better Applicability

chase-lev-verification

view-hw

Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)

relaxed-memory-separation-logic

rmem-persistency

smr-verification

Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)

as602

hafnium-verification

memento-proof

[WORK IN PROGRESS] Mechanized Proof for Article: "Memento: A Framework for Detectable Recoverability in Persistent Memory" (PLDI 2023)

crossbeam

Tools for concurrent programming in Rust

kaist-cp.github.io.comments

murmur3