Ming Fu

1. Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models
   2021/11/30 by Antonio Paolillo, Paolillo, Antonio, Ponce-de-León, Hernán +7 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Operating Systems (cs.OS) #Parallel Computing and Optimization Techniques #Security and Verification in Computing
2. Human Thermoregulation and Injury Evaluation in Fire Environments: A Review
   2023/04/22 by Wenguo Weng, Jie Yang, Jialin Wu +3 · 1 citation