jeehoonkang

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/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