Name: Jeehoon Kang
Type: User
Company: @kaist-cp, @furiosa-ai
Bio: searching for the "right" abstraction for fearless systems programming. associate professor of computing at KAIST.
Location: Daejeon, Korea
Blog: https://cp.kaist.ac.kr
Jeehoon Kang's Projects
Rust library for bulletproof memory access
The CompCert C verified compiler
Concurrent channels based on circular buffer
Support for parallelism and low-level concurrency in Rust
RFCs for changes to Crossbeam
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.
Rust library for memory barrier
Minimal Relational DBMS for Advanced Database course at Seoul National University
CDSChecker benchmark suite
An UNOFFICIAL LaTeX thesis template for Seoul National University (SNU), Korea.
A reader-writer lock that provides extremely fast read access without starving writers
DEPRECATED: see https://github.com/kaist-cp/smr-benchmark/blob/main/src/ebr/skip_list.rs