Clap: Recording local executions to reproduce concurrency failures J Huang, C Zhang, J Dolby Acm Sigplan Notices 48 (6), 141-152, 2013 | 172 | 2013 |
Quantifying aspects in middleware platforms C Zhang, HA Jacobsen Proceedings of the 2nd international conference on Aspect-oriented software …, 2003 | 162 | 2003 |
LEAP: Lightweight deterministic multi-processor replay of concurrent Java programs J Huang, P Liu, C Zhang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 151 | 2010 |
Qsynth: A tool for qos-aware automatic service composition W Jiang, C Zhang, Z Huang, M Chen, S Hu, Z Liu 2010 IEEE International Conference on Web Services, 42-49, 2010 | 138 | 2010 |
Resolving feature convolution in middleware systems C Zhang, HA Jacobsen Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004 | 132 | 2004 |
Pinpoint: Fast and precise sparse value flow analysis for million lines of code Q Shi, X Xiao, R Wu, J Zhou, G Fan, C Zhang Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 128 | 2018 |
Refactoring middleware with aspects C Zhang, HA Jacobsen IEEE Transactions on Parallel and Distributed Systems 14 (11), 1058-1073, 2003 | 122 | 2003 |
Axis: Automatically fixing atomicity violations through solving control constraints P Liu, C Zhang 2012 34th International Conference on Software Engineering (ICSE), 299-309, 2012 | 110 | 2012 |
Persuasive prediction of concurrency access anomalies J Huang, C Zhang Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 97 | 2011 |
Beacon: Directed grey-box fuzzing with provable path pruning H Huang, Y Guo, Q Shi, P Yao, R Wu, C Zhang 2022 IEEE Symposium on Security and Privacy (SP), 36-50, 2022 | 92 | 2022 |
Pangolin: Incremental hybrid fuzzing with polyhedral path abstraction H Huang, P Yao, R Wu, Q Shi, C Zhang 2020 IEEE Symposium on Security and Privacy (SP), 1613-1627, 2020 | 91 | 2020 |
Smoke: scalable path-sensitive memory leak detection for millions of lines of code G Fan, R Wu, Q Shi, X Xiao, J Zhou, C Zhang 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 80 | 2019 |
Grail: Context-aware fixing of concurrency bugs P Liu, O Tripp, C Zhang Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014 | 73 | 2014 |
Towards just-in-time middleware architectures C Zhang, D Gao, HA Jacobsen Proceedings of the 4th international conference on Aspect-oriented software …, 2005 | 72 | 2005 |
Characterization of YSZ solid oxide fuel cells electrolyte deposited by atmospheric plasma spraying and low pressure plasma spraying C Zhang, HL Liao, WY Li, G Zhang, C Coddet, C Zhang, CJ Li, CX Li, ... Journal of thermal spray technology 15, 598-603, 2006 | 57 | 2006 |
Efficiently mining crosscutting concerns through random walks C Zhang, HA Jacobsen Proceedings of the 6th international conference on Aspect-oriented software …, 2007 | 54 | 2007 |
Effect of heat treatment on microstructure and mechanical properties of cold sprayed Ti coatings with relatively large powder particles WY Li, C Zhang, H Liao, C Coddet Journal of Coatings Technology and Research 6, 401-406, 2009 | 43 | 2009 |
Prism is research in aspect mining C Zhang, HA Jacobsen Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004 | 43 | 2004 |
Surakav: Generating realistic traces for a strong website fingerprinting defense J Gong, W Zhang, C Zhang, T Wang 2022 IEEE Symposium on Security and Privacy (SP), 1558-1573, 2022 | 41 | 2022 |
Efficient subcubic alias analysis for C Q Zhang, X Xiao, C Zhang, H Yuan, Z Su Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 41 | 2014 |