Skip to content

@kaist-cp KAIST Concurrency and Parallelism Laboratory

Change the repository type filter

All

    Repositories list

    26 repositories

    • cs420

      Public
      KAIST CS420: Compiler Design (2023 Spring)
      30•433•4•0•Updated Jan 7, 2025Jan 7, 2025

    • kecc-public

      Public
      KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
      Rust
      •10•120•0•0•Updated Jan 6, 2025Jan 6, 2025

    • cs431

      Public
      Rust
      •140•1.4k•8•2•Updated Jan 2, 2025Jan 2, 2025

    • hazardflow

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

    • smr-benchmark

      Public
      SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
      Rust
      •
      MIT License
      •5•39•5•0•Updated Nov 28, 2024Nov 28, 2024

    • smr-verification

      Public
      Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)
      Coq
      •
      Other
      •0•5•0•0•Updated Nov 28, 2024Nov 28, 2024

    • cs220

      Public
      Rust
      •52•270•3•0•Updated Nov 27, 2024Nov 27, 2024

    • rust-school

      Public
      4•75•2•0•Updated Nov 21, 2024Nov 21, 2024

    • cs492-uarch

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

    • circ

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

    • crossbeam

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

    • relaxed-memory-separation-logic

      Public
      Coq
      •
      Other
      •1•2•1•0•Updated May 20, 2024May 20, 2024

    • shakeflow

      Public
      ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
      Rust
      •
      Other
      •1•52•1•0•Updated Apr 9, 2024Apr 9, 2024

    • as602

      Public
      TeX
      •0•1•0•0•Updated Mar 3, 2024Mar 3, 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•1•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•15•0•0•Updated Apr 27, 2023Apr 27, 2023

    • rv6

      Public
      C
      •
      Other
      •13•127•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