Skip to content
@kaist-cp

KAIST Concurrency and Parallelism Laboratory

Where theory meets practice

Pinned Loading

  1. kecc-public kecc-public Public

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

    Rust 188 20

  2. smr-benchmark smr-benchmark Public

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

    Rust 48 7

  3. cdpt cdpt Public

    An automatic, safe, and concurrent garbage collector for Rust

    Rust 19 2

Repositories

Showing 10 of 29 repositories
  • memento-proof Public

    Mechanized Proof for Article: "Memento: A Framework for Detectable Recoverability in Persistent Memory" (PLDI 2023)

    kaist-cp/memento-proof's past year of commit activity
    Rocq Prover 0 0 0 0 Updated Sep 28, 2026
  • cdpt Public

    An automatic, safe, and concurrent garbage collector for Rust

    kaist-cp/cdpt's past year of commit activity
    Rust 19 Apache-2.0 2 0 1 Updated Jul 19, 2026
  • smr-benchmark Public

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

    kaist-cp/smr-benchmark's past year of commit activity
    Rust 48 MIT 7 5 2 Updated Jun 6, 2026
  • cs220 Public
    kaist-cp/cs220's past year of commit activity
    Rust 303 56 3 1 Updated Apr 23, 2026
  • kecc-public Public

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

    kaist-cp/kecc-public's past year of commit activity
    Rust 188 20 0 5 Updated Apr 14, 2026
  • interval-vm Public

    IntervalVM artifact for SOSP 2025

    kaist-cp/interval-vm's past year of commit activity
    C 6 GPL-2.0 0 0 0 Updated Dec 1, 2025
  • trio-plus Public
    kaist-cp/trio-plus's past year of commit activity
    C 0 Apache-2.0 0 0 1 Updated Aug 11, 2025
  • cs431 Public
    kaist-cp/cs431's past year of commit activity
    Rust 1,485 161 10 2 Updated Aug 9, 2025
  • relaxed-memory-separation-logic Public
    kaist-cp/relaxed-memory-separation-logic's past year of commit activity
    Coq 8 1 1 0 Updated Jun 24, 2025
  • smr-verification Public

    Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic

    kaist-cp/smr-verification's past year of commit activity
    Rocq Prover 5 1 0 0 Updated Jun 14, 2025
View all repositories