1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.OS2024
Combining Type Checking and Formal Verification for Lightweight OS Correctness
Ramla Ijaz, Kevin Boos, Lin Zhong
This paper reports our experience of providing lightweight correctness guarantees to an open-source Rust OS, Theseus. First, we report new developments in intralingual design that…
cs.DC2023★ 1 cited
GCS: Generalized Cache Coherence For Efficient Synchronization
Yanpeng Yu, Seung-seob Lee, Anurag Khandelwal +1
We explore the design of scalable synchronization primitives for disaggregated shared memory. Porting existing synchronization primitives to disaggregated shared memory results in…