Follow
Charles Zhang
Charles Zhang
Professor of Computer Science, HKUST
Verified email at cse.ust.hk
Title
Cited by
Cited by
Year
Quantifying aspects in middleware platforms
C Zhang, HA Jacobsen
Proceedings of the 2nd international conference on Aspect-oriented software …, 2003
1652003
Clap: Recording local executions to reproduce concurrency failures
J Huang, C Zhang, J Dolby
Acm Sigplan Notices 48 (6), 141-152, 2013
1402013
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
1362010
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
1312010
Resolving feature convolution in middleware systems
C Zhang, HA Jacobsen
Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
1292004
Refactoring middleware with aspects
C Zhang, HA Jacobsen
IEEE Transactions on Parallel and Distributed Systems 14 (11), 1058-1073, 2003
1182003
Axis: Automatically fixing atomicity violations through solving control constraints
P Liu, C Zhang
2012 34th International Conference on Software Engineering (ICSE), 299-309, 2012
1042012
Persuasive prediction of concurrency access anomalies
J Huang, C Zhang
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
902011
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
632014
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
602018
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
432004
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
402020
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
352015
Thermal-cycling-dependent magnetostructural transitions in a Ge-free system Mn0.5Fe0.5Ni(Si,Al)
CL Zhang, HF Shi, YG Nie, EJ Ye, ZD Han, DH Wang
Applied Physics Letters 105 (24), 242403, 2014
352014
Generic middleware substrate through modelware
C Zhang, D Gao, HA Jacobsen
ACM/IFIP/USENIX International Conference on Distributed Systems Platforms …, 2005
352005
Lean: Simplifying concurrency bug reproduction via replay-supported execution reduction
J Huang, C Zhang
Proceedings of the ACM international conference on Object oriented …, 2012
332012
An efficient static trace simplification technique for debugging concurrent programs
J Huang, C Zhang
International Static Analysis Symposium, 163-179, 2011
322011
TinyC2: Towards building a dynamic weaving aspect language for C
C Zhang, HA Jacobsen
FOAL 2003 Proceedings, 25, 2003
312003
The system can't perform the operation now. Try again later.
Articles 1–20