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
1642003
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
1302010
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
1302010
Resolving feature convolution in middleware systems
C Zhang, HA Jacobsen
Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
1292004
Clap: Recording local executions to reproduce concurrency failures
J Huang, C Zhang, J Dolby
Acm Sigplan Notices 48 (6), 141-152, 2013
1242013
Refactoring middleware with aspects
C Zhang, HA Jacobsen
IEEE Transactions on Parallel and Distributed Systems 14 (11), 1058-1073, 2003
1142003
Axis: Automatically fixing atomicity violations through solving control constraints
P Liu, C Zhang
2012 34th International Conference on Software Engineering (ICSE), 299-309, 2012
932012
Persuasive prediction of concurrency access anomalies
J Huang, C Zhang
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
862011
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
522014
Efficiently mining crosscutting concerns through random walks
C Zhang, HA Jacobsen
Proceedings of the 6th international conference on Aspect-oriented software …, 2007
522007
Prism is research in aspect mining
C Zhang, HA Jacobsen
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
422004
Generic middleware substrate through modelware
C Zhang, D Gao, HA Jacobsen
ACM/IFIP/USENIX International Conference on Distributed Systems Platforms …, 2005
332005
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
302015
Lean: Simplifying concurrency bug reproduction via replay-supported execution reduction
J Huang, C Zhang
Proceedings of the ACM international conference on Object oriented …, 2012
302012
An efficient static trace simplification technique for debugging concurrent programs
J Huang, C Zhang
International Static Analysis Symposium, 163-179, 2011
302011
TinyC2: Towards building a dynamic weaving aspect language for C
C Zhang, HA Jacobsen
FOAL 2003 Proceedings, 25, 2003
302003
Finding incorrect compositions of atomicity
P Liu, J Dolby, C Zhang
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
242013
Flexsync: An aspect-oriented approach to java synchronization
C Zhang
2009 IEEE 31st International Conference on Software Engineering, 375-385, 2009
232009
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
222018
The system can't perform the operation now. Try again later.
Articles 1–20