Heming Cui
Chinese University of Hong Kong(CN)Chinese University of Hong Kong(HK)Shanghai Artificial Intelligence LaboratoryUniversity of Hong Kong(HK)
Publications by Year
Research Areas
Distributed systems and fault tolerance, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques, Cloud Computing and Resource Management, Adversarial Robustness in Machine Learning
Most-Cited Works
- → Parrot(2013)104 cited
- → Efficient deterministic multithreading through schedule relaxation(2011)103 cited
- → Stable deterministic multithreading through schedule memoization(2010)94 cited
- → APUS(2017)71 cited
- → One fuzzing strategy to rule them all(2022)64 cited
- → Verifying systems rules using rule-directed symbolic execution(2013)56 cited
- → Bypassing races in live applications with execution filters(2010)54 cited