Skip to content

@kaist-cp KAIST Concurrency and Parallelism Laboratory

Change the repository type filter

All

    Repositories list

    26 repositories

    • relaxed-memory-separation-logic

      Public
      Coq
      •
      Other
      •1•5•1•0•Updated Jun 24, 2025Jun 24, 2025

    • smr-verification

      Public
      Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
      Rocq Prover
      •
      Other
      •0•5•0•0•Updated Jun 14, 2025Jun 14, 2025

    • kecc-public

      Public
      KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
      Rust
      •18•168•0•4•Updated Jun 13, 2025Jun 13, 2025

    • smr-benchmark

      Public
      SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
      Rust
      •
      MIT License
      •5•42•5•0•Updated Jun 10, 2025Jun 10, 2025

    • cs420

      Public
      KAIST CS420: Compiler Design
      32•518•4•0•Updated Apr 3, 2025Apr 3, 2025

    • cs431

      Public
      Rust
      •148•1.5k•9•2•Updated Mar 5, 2025Mar 5, 2025

    • as602

      Public
      TeX
      •0•3•0•0•Updated Feb 20, 2025Feb 20, 2025

    • shakeflow

      Public
      ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
      Rust
      •
      Other
      •1•54•1•0•Updated Jan 23, 2025Jan 23, 2025

    • hazardflow

      Public
      HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
      SystemVerilog
      •
      Other
      •3•19•0•0•Updated Dec 5, 2024Dec 5, 2024

    • cs220

      Public
      Rust
      •54•286•3•0•Updated Nov 27, 2024Nov 27, 2024

    • rust-school

      Public
      4•76•1•0•Updated Nov 21, 2024Nov 21, 2024

    • cs492-uarch

      Public
      1•43•3•0•Updated Nov 20, 2024Nov 20, 2024

    • circ

      Public
      CIRC: Concurrent Immediate Reference Counting
      Rust
      •
      Apache License 2.0
      •3•52•5•0•Updated Nov 15, 2024Nov 15, 2024

    • crossbeam

      Public
      Tools for concurrent programming in Rust
      Rust
      •
      Apache License 2.0
      •502•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • hp-plus

      Public
      HP++: A Hazard Pointers Extension for Better Applicability
      Rust
      •1•4•0•0•Updated Nov 2, 2023Nov 2, 2023

    • memento-proof

      Public
      [WORK IN PROGRESS] Mechanized Proof for Article: "Memento: A Framework for Detectable Recoverability in Persistent Memory" (PLDI 2023)
      proofmementopersistent-memory
      Coq
      •0•0•0•0•Updated Jul 13, 2023Jul 13, 2023

    • murmur3

      Public
      Rust
      •
      Apache License 2.0
      •0•2•1•0•Updated May 20, 2023May 20, 2023

    • chase-lev-verification

      Public
      Coq
      •0•3•0•0•Updated May 20, 2023May 20, 2023

    • memento

      Public
      Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
      concurrencypersistent-memoryconcurrent-data-structurepersistencydetectability
      Rust
      •
      Creative Commons Attribution 4.0 International
      •1•16•0•0•Updated Apr 27, 2023Apr 27, 2023

    • rv6

      Public
      C
      •
      Other
      •13•131•32•3•Updated Apr 3, 2023Apr 3, 2023

    • kaist-cp.github.io.comments

      Public
      0•0•1•0•Updated Jan 25, 2022Jan 25, 2022

    • hafnium-verification

      Public
      C
      •
      Apache License 2.0
      •16•1•28•3•Updated Jun 29, 2021Jun 29, 2021

    • view-hw

      Public
      Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
      semanticsproofx86coq-formalizationarmv8theorempldipersistency
      Coq
      •
      BSD 2-Clause "Simplified" License
      •0•3•0•0•Updated Apr 14, 2021Apr 14, 2021

    • rmem-persistency

      Public
      JavaScript
      •
      BSD 2-Clause "Simplified" License
      •0•2•0•0•Updated Apr 14, 2021Apr 14, 2021

    • helpdesk

      Public archive
      Emacs Lisp
      •11•23•0•0•Updated Apr 1, 2021Apr 1, 2021

    • cs500

      Public archive
      Moved to https://cp-git.kaist.ac.kr/jeehoon.kang/cs500
      7•25•0•0•Updated Jan 27, 2021Jan 27, 2021