Haicheng Chen
Haicheng Chen
Meta Platforms, Inc.
Verified email at - Homepage
Cited by
Cited by
Understanding Exception-Related Bugs in Large-Scale Cloud Systems
H Chen, W Dou, Y Jiang, F Qin
The 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
CoFI: consistency-guided fault injection for cloud systems
H Chen, W Dou, D Wang, F Qin
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
Avis: In-situ model checking for unmanned aerial vehicles
M Taylor, H Chen, F Qin, C Stewart
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021
A study on software bugs in unmanned aircraft systems
M Taylor, J Boubin, H Chen, C Stewart, F Qin
2021 International Conference on Unmanned Aircraft Systems (ICUAS), 1439-1448, 2021
Crash consistency validation made easy
Y Jiang, H Chen, F Qin, C Xu, X Ma, J Lu
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
Combating Fault Tolerance Bugs in Cloud Systems
H Chen
The Ohio State University, 2021
The system can't perform the operation now. Try again later.
Articles 1–6