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
1722013
Quantifying aspects in middleware platforms
C Zhang, HA Jacobsen
Proceedings of the 2nd international conference on Aspect-oriented software …, 2003
1622003
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
1512010
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
1382010
Resolving feature convolution in middleware systems
C Zhang, HA Jacobsen
Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
1322004
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
1282018
Refactoring middleware with aspects
C Zhang, HA Jacobsen
IEEE Transactions on Parallel and Distributed Systems 14 (11), 1058-1073, 2003
1222003
Axis: Automatically fixing atomicity violations through solving control constraints
P Liu, C Zhang
2012 34th International Conference on Software Engineering (ICSE), 299-309, 2012
1102012
Persuasive prediction of concurrency access anomalies
J Huang, C Zhang
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
972011
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
922022
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
912020
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
802019
Grail: Context-aware fixing of concurrency bugs
P Liu, O Tripp, C Zhang
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014
732014
Towards just-in-time middleware architectures
C Zhang, D Gao, HA Jacobsen
Proceedings of the 4th international conference on Aspect-oriented software …, 2005
722005
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
572006
Efficiently mining crosscutting concerns through random walks
C Zhang, HA Jacobsen
Proceedings of the 6th international conference on Aspect-oriented software …, 2007
542007
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
432009
Prism is research in aspect mining
C Zhang, HA Jacobsen
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
432004
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
412022
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
412014
The system can't perform the operation now. Try again later.
Articles 1–20