💬
...
(λf.(λx.f (x x)) (λx.f (x x))) fix_bug
-
Rebellions Inc.
- Seongnam, Korea
-
13:54
(UTC +09:00) - https://kyeongmincho.com
- https://orcid.org/0000-0003-3685-2320
- in/kyeongmincho
Highlights
- Pro
Pinned Loading
-
kaist-cp/memento
kaist-cp/memento PublicMemento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
Rust 15
-
kaist-cp/view-hw
kaist-cp/view-hw PublicMechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
Coq 3
-
kaist-cp/memento-proof
kaist-cp/memento-proof Public[WORK IN PROGRESS] Mechanized Proof for Article: "Memento: A Framework for Detectable Recoverability in Persistent Memory" (PLDI 2023)
Coq
-
hc-zenburn-vscode
hc-zenburn-vscode Public🌘A Higher Contrast Version of the Popular Zenburn Theme for Visual Studio Code
-
SomaLDEN/lden
SomaLDEN/lden PublicLinux Dynamic Event Notifier using extended Berkeley Packet Filter in Linux Kernel
Python 4
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.