jeehoonkang

membarrier-rs

Rust library for memory barrier

bulletproof-rs

Rust library for bulletproof memory access

easyword

concurrent-circbuf

Concurrent channels based on circular buffer

phd-thesis

An UNOFFICIAL LaTeX thesis template for Seoul National University (SNU), Korea.

concurrent-priority-queue

iRRAM-coq

jeehoonkang.github.io

crossbeam-rfcs

RFCs for changes to Crossbeam

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.

minirel

Minimal Relational DBMS for Advanced Database course at Seoul National University

CompCert

The CompCert C verified compiler

crossbeam

Support for parallelism and low-level concurrency in Rust

hafnium-verification

handle-example-rs

lecture-koi

model-checker-benchmarks

CDSChecker benchmark suite

seqlock

A reader-writer lock that provides extremely fast read access without starving writers

skiplist

DEPRECATED: see https://github.com/kaist-cp/smr-benchmark/blob/main/src/ebr/skip_list.rs

sparc