Explore @kaist-cp Open Source projects

KAIST Concurrency & Parallelism Laboratory (@kaist-cp)

kaist-cp

Stars
2,366
Global Org. Rank 8,206 (Top 3 %)
Registered over 7 years ago
Most used languages

Rust
41.2 %

Coq 23.5 %

Emacs Lisp
5.9 %

TeX
5.9 %

HTML
5.9 %

JavaScript
5.9 %

Ruby
5.9 %

C
5.9 %
Location 🇰🇷 South Korea
Country Total Rank 100
Country Ranking

Coq 2

Rust
2

Emacs Lisp
5

C
42

Ruby
103

TeX
105

HTML
308

JavaScript
4,838

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

helpdesk

cs500

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

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 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)

smr-verification

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

rmem-persistency

cs230

Moved to https://cp-git.kaist.ac.kr/cs230/cs230

events

as602