2ndStrike: toward manifesting hidden concurrency typestate bugs Q Gao, W Zhang, Z Chen, M Zheng, F Qin ACM SIGPLAN Notices 47 (4), 239-250, 2012 | 67 | 2012 |
Flowchecker: Detecting bugs in MPI libraries via message flow checking Z Chen, Q Gao, W Zhang, F Qin Proceedings of the 2010 ACM/IEEE International Conference for High …, 2010 | 47 | 2010 |
Debugging high-performance computing applications at massive scales I Laguna, DH Ahn, BR de Supinski, T Gamblin, GL Lee, M Schulz, ... Communications of the ACM 58 (9), 72-81, 2015 | 42 | 2015 |
MC-checker: detecting memory consistency errors in MPI one-sided applications Z Chen, J Dinan, Z Tang, P Balaji, H Zhong, J Wei, T Huang, F Qin Proceedings of the International Conference for High Performance Computing …, 2014 | 40 | 2014 |
D2taint: Differentiated and dynamic information flow tracking on smartphones for numerous data sources B Gu, X Li, G Li, AC Champion, Z Chen, F Qin, D Xuan INFOCOM, 2013 Proceedings IEEE, 791-799, 2013 | 25 | 2013 |
SyncChecker: Detecting synchronization errors between MPI applications and libraries Z Chen, X Li, JY Chen, H Zhong, F Qin Parallel & Distributed Processing Symposium (IPDPS), 2012 IEEE 26th …, 2012 | 25 | 2012 |
Improving the Reliability of MPI Libraries via Message Flow Checking Z Chen, Q Gao, W Zhang, F Qin Parallel and Distributed Systems, IEEE Transactions on 24 (3), 535-549, 2013 | | 2013 |