jeehoonkang
searching for the "right" abstraction for fearless systems programming. associate professor of computing at KAIST.
@kaist-cp, @kaist-pl, @furiosa-aiDaejeon, Korea
Pinned Repositories
crossbeam
Tools for concurrent programming in Rust
bulletproof-rs
Rust library for bulletproof memory access
concurrent-circbuf
Concurrent channels based on circular buffer
concurrent-priority-queue
easyword
membarrier-rs
Rust library for memory barrier
phd-thesis
An UNOFFICIAL LaTeX thesis template for Seoul National University (SNU), Korea.
shakeflow
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
crellvm
Crellvm: Verified Credible Compilation for LLVM
promising-coq
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
jeehoonkang's Repositories
jeehoonkang/membarrier-rs
Rust library for memory barrier
jeehoonkang/bulletproof-rs
Rust library for bulletproof memory access
jeehoonkang/easyword
jeehoonkang/concurrent-circbuf
Concurrent channels based on circular buffer
jeehoonkang/phd-thesis
An UNOFFICIAL LaTeX thesis template for Seoul National University (SNU), Korea.
jeehoonkang/concurrent-priority-queue
jeehoonkang/iRRAM-coq
jeehoonkang/jeehoonkang.github.io
jeehoonkang/crossbeam-rfcs
RFCs for changes to Crossbeam
jeehoonkang/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
jeehoonkang/minirel
Minimal Relational DBMS for Advanced Database course at Seoul National University
jeehoonkang/CompCert
The CompCert C verified compiler
jeehoonkang/crossbeam
Support for parallelism and low-level concurrency in Rust
jeehoonkang/hafnium-verification
jeehoonkang/handle-example-rs
jeehoonkang/lecture-koi
jeehoonkang/model-checker-benchmarks
CDSChecker benchmark suite
jeehoonkang/seqlock
A reader-writer lock that provides extremely fast read access without starving writers
jeehoonkang/skiplist
DEPRECATED: see https://github.com/kaist-cp/smr-benchmark/blob/main/src/ebr/skip_list.rs
jeehoonkang/sparc