Tian, Hongliang
- Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
2025/06/04 by Yuke Peng, Hongliang Tian, Peng, Yuke +23 · 2 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Operating Systems (cs.OS) #Real-Time Systems Scheduling #Security and Verification in Computing