jeehoonkang Follow

😴

Zzz...

Jeehoon Kang jeehoonkang

😴

Zzz...

Follow

Assistant professor of computing at KAIST. Searching for the "right" abstraction of systems programming. Concurrency, parallelism, @rust-lang, @coq.

195 followers · 6 following

Achievements

Achievements

Highlights

Pro

Organizations

Block or Report

Block or report jeehoonkang

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

snu-sf/promising-coq Public

The Coq development of A Promising Semantics for Relaxed-Memory Concurrency

Coq 27 5
snu-sf/crellvm Public

Crellvm: Verified Credible Compilation for LLVM

Coq 9 1
crossbeam-rs/crossbeam Public

Tools for concurrent programming in Rust

Rust 4.4k 313

480 contributions in the last year

Learn how we count contributions

Less More

Contribution activity

February 2022

Created 4 commits in 2 repositories

Reviewed 3 pull requests in 1 repository

kaist-cp/rv6 3 pull requests

Implemented Lfs Feb 22
[Closes #471] Use where bound to const check at compilation time Feb 8
Updating LFS related structs Feb 8

3 contributions in private repositories Feb 2 – Feb 3