There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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
cs500
Moved to https://cp-git.kaist.ac.kr/jeehoon.kang/cs500helpdesk
memento
Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)software-foundations
Unofficial Mirror of Software Foundations (https://softwarefoundations.cis.upenn.edu/)study-csl
kaist-cp.github.io
hp-plus
HP++: A Hazard Pointers Extension for Better Applicabilitychase-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)smr-verification
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)rmem-persistency
events
as602
Love Open Source and this site? Check out how you can help us