Pinned Repositories
circ
CIRC: Concurrent Immediate Reference Counting
cs220
cs420
KAIST CS420: Compiler Design (2023 Spring)
cs431
kecc-public
KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
memento
Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
rust-school
rv6
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
kaist-cp's Repositories
kaist-cp/cs431
kaist-cp/cs420
KAIST CS420: Compiler Design (2023 Spring)
kaist-cp/cs220
kaist-cp/rv6
kaist-cp/kecc-public
KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
kaist-cp/rust-school
kaist-cp/shakeflow
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
kaist-cp/circ
CIRC: Concurrent Immediate Reference Counting
kaist-cp/smr-benchmark
SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
kaist-cp/cs492-uarch
kaist-cp/cs500
Moved to https://cp-git.kaist.ac.kr/jeehoon.kang/cs500
kaist-cp/helpdesk
kaist-cp/memento
Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
kaist-cp/hazardflow
HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
kaist-cp/hp-plus
HP++: A Hazard Pointers Extension for Better Applicability
kaist-cp/chase-lev-verification
kaist-cp/smr-verification
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)
kaist-cp/view-hw
Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
kaist-cp/relaxed-memory-separation-logic
kaist-cp/rmem-persistency
kaist-cp/as602
kaist-cp/hafnium-verification
kaist-cp/murmur3
kaist-cp/memento-proof
[WORK IN PROGRESS] Mechanized Proof for Article: "Memento: A Framework for Detectable Recoverability in Persistent Memory" (PLDI 2023)
kaist-cp/crossbeam
Tools for concurrent programming in Rust
kaist-cp/kaist-cp.github.io.comments