-
Rebellions Inc.
- Seongnam, Korea
-
03:37
(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)
-
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
If the problem persists, check the GitHub status page or contact support.