Skip to content
@kaist-cp

KAIST Concurrency and Parallelism Laboratory

Where theory meets practice

Pinned Loading

  1. shakeflow shakeflow Public

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

    Rust 56 1

  2. kecc-public kecc-public Public

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

    Rust 175 19

  3. memento memento Public

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

    Rust 18 2

  4. smr-benchmark smr-benchmark Public

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

    Rust 44 7

Repositories

Showing 10 of 28 repositories
  • interval-vm Public

    IntervalVM artifact for SOSP 2025

    kaist-cp/interval-vm’s past year of commit activity
    C 3 GPL-2.0 0 0 0 Updated Nov 30, 2025
  • 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 44 MIT 7 5 0 Updated Aug 12, 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,471 155 9 2 Updated Aug 8, 2025
  • relaxed-memory-separation-logic Public
    kaist-cp/relaxed-memory-separation-logic’s past year of commit activity
    Coq 5 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 0 0 0 Updated Jun 13, 2025
  • kecc-public Public

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

    kaist-cp/kecc-public’s past year of commit activity
    Rust 175 19 0 4 Updated Jun 13, 2025
  • cs420 Public

    KAIST CS420: Compiler Design

    kaist-cp/cs420’s past year of commit activity
    545 32 4 0 Updated Apr 3, 2025
  • as602 Public
    kaist-cp/as602’s past year of commit activity
    TeX 3 0 0 0 Updated Feb 20, 2025
  • shakeflow Public

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

    kaist-cp/shakeflow’s past year of commit activity
    Rust 56 1 1 0 Updated Jan 23, 2025
View all repositories