Pinned Repositories
promising-arm
promising-ir-coq
promising-ldrf-coq
The Coq development of local data-race-freedom guarantees in the Promising Semantics
promising-seq-coq
The Coq development of PLDI'22 paper "Sequantial Reasoning for Optimizing Compilers under Weak Memory Concurrency"
promising2-coq
The Coq development of Promising 2.0 semantics for relaxed memory concurrency
hahn
Hahn: A Coq library
hugo-astatine-theme
An minimalist Hugo theme for Academics
llvm-miscompilation
software-foundations
Software Foundations
sunghwanl.github.io
sunghwanl's Repositories
sunghwanl/software-foundations
Software Foundations
sunghwanl/hahn
Hahn: A Coq library
sunghwanl/hugo-astatine-theme
An minimalist Hugo theme for Academics
sunghwanl/llvm-miscompilation
sunghwanl/sunghwanl.github.io