Skip to content
Avatar
😴
Zzz...
😴
Zzz...

Highlights

  • Arctic Code Vault Contributor
  • Pro

Organizations

@kaist-cp

Pinned

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

    Coq 23 6

  2. Crellvm: Verified Credible Compilation for LLVM

    Coq 8 1

  3. Tools for concurrent programming in Rust

    Rust 3.1k 227

2,055 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2020

Created an issue in kaist-cp/cs492-concur that received 23 comments

[Session 00] September, 1st

Please do the following for the online session. Watch the following video(s): https://www.youtube.com/watch?v=tmyeWw6VgtY https://www.youtube.co…

23 comments
83 contributions in private repositories Sep 1 – Sep 25

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.