Zzz...
Assistant professor of computing at KAIST. Searching for the "right" abstraction of systems programming. Concurrency, parallelism, @rust-lang, @coq.
- Daejeon, Korea
- https://cp.kaist.ac.kr
Highlights
- Pro
Block or Report
Block or report jeehoonkang
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
snu-sf/promising-coq Public
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
-
-
480 contributions in the last year
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
3
contributions
in private repositories
Feb 2 – Feb 3