Hongliang Tian
- 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 · 3 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
- Chromium picolinate supplementation for overweight or obese adults
2013/11/29 by Hongliang Tian, Xiaohu Guo, Xiyu Wang +4 · 1 citation
Environmental Science · Medicine · Agricultural and Biological Sciences · #Chromium effects and bioremediation #Iron Metabolism and Disorders #Plant Micronutrient Interactions and Effects