Follow
Charles Zhang
Charles Zhang
Professor of Computer Science, HKUST
Verified email at cse.ust.hk
Title
Cited by
Cited by
Year
Clap: Recording local executions to reproduce concurrency failures
J Huang, C Zhang, J Dolby
Acm Sigplan Notices 48 (6), 141-152, 2013
1672013
Quantifying aspects in middleware platforms
C Zhang, HA Jacobsen
Proceedings of the 2nd international conference on Aspect-oriented software …, 2003
1632003
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
1482010
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
1342010
Resolving feature convolution in middleware systems
C Zhang, HA Jacobsen
Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
1302004
Refactoring middleware with aspects
C Zhang, HA Jacobsen
IEEE Transactions on Parallel and Distributed Systems 14 (11), 1058-1073, 2003
1202003
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
1132018
Axis: Automatically fixing atomicity violations through solving control constraints
P Liu, C Zhang
2012 34th International Conference on Software Engineering (ICSE), 299-309, 2012
1082012
Persuasive prediction of concurrency access anomalies
J Huang, C Zhang
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
962011
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
802020
Towards just-in-time middleware architectures
C Zhang, D Gao, HA Jacobsen
Proceedings of the 4th international conference on Aspect-oriented software …, 2005
722005
Grail: Context-aware fixing of concurrency bugs
P Liu, O Tripp, C Zhang
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014
712014
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
692022
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
692019
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
552006
Efficiently mining crosscutting concerns through random walks
C Zhang, HA Jacobsen
Proceedings of the 6th international conference on Aspect-oriented software …, 2007
542007
Prism is research in aspect mining
C Zhang, HA Jacobsen
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
412004
Lean: Simplifying concurrency bug reproduction via replay-supported execution reduction
J Huang, C Zhang
Proceedings of the ACM international conference on Object oriented …, 2012
372012
Recontest: Effective regression testing of concurrent programs
V Terragni, SC Cheung, C Zhang
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
362015
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
362014
The system can't perform the operation now. Try again later.
Articles 1–20