Charles Chuan ZHANG
張川
PhD in Electrical and Computer Engineering
University of Toronto, 2007

Associate Professor
Department of Computer Science and Engineering



(852) 2358 6997
charlesz@ust.hk
Room 3516
Personal Web

---

Google Scholar
Zmppp9kAAAAJ

ORCID
0000-0001-6417-1034

ResearcherID
C-6840-2013

Scopus ID
7405494017




Research Interest Publications Projects Teaching Assignment RPG Supervision Space used




Research Interest

---

Program analysis
Software security
Software engineering
Programming languages



Publications

---

All Years 50 2022 0 2021 6 2020 5 2019 1 2018 1 2017 0 2016 37

---

Expand All Collapse All


2021 6

Program analysis via efficient symbolic abstraction
Proceedings of the ACM on Programming Languages, v. 5, (OOPSLA), October 2021, article number 118, p. 1-32
Yao, Peisen; Shi, Qingkai; Huang, Heqing; Zhang, Charles Article
高精度的大規模程序數據競爭檢測方法
軟件學報=Journal of Software, v. 32, (7), July 2021, p. 2039-2055
高鳳娟; 王豫; 周金果; 徐安孜; 王林章; 吳榮鑫; 張川; 蘇振東 Article
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI) / ACM. New York, NY, United States : ACM, 2021, p. 1126-1140
Cai, Yuandao; Yao, Peisen; Zhang, Chuan Conference paper
Fuzzing SMT solvers via two-dimensional input space exploration
ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2021, p. 322-335
Yao, Peisen; Huang, Heqing; Tang, Wensheng; Shi, Qingkai; Wu, Rongxin; Zhang, Chuan Conference paper
Path-Sensitive Sparse Analysis without Path Conditions
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation / Edited by Stephen N. Freund S.N. and Eran Yahav. New York, NY, USA : Association for Computing Machinery, 2021, p. 930-943
Shi, Qingkai; Yao, Peisen; Wu, Rongxin; Zhang, Chuan Conference paper
Skeletal Approximation Enumeration for SMT Solver Testing
ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2021, p. 1141-1153
Yao, Peisen; Huang, Heqing; Tang, Wensheng; Shi, Qingkai; Wu, Rongxin; Zhang, Chuan Conference paper

2020 5

Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 2020, p. 812-823, Article number 3380346
Shi, Qingkai; Wu, Rongxin; Fan, Gang; Zhang, Chuan Conference paper
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis / Association for Computing Machinery. New York : Association for Computing Machinery, 2020, p. 463-474
Fan, Gang; Wang, Chengpeng; Wu, Rongxin; Xiao, Xiao; Shi, Qingkai; Zhang, Chuan Conference paper
Fast Bit-Vector Satisfiability
ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2020, p. 38-50
Yao, Peisen; Shi, Qingkai; Huang, Heqing; Zhang, Chuan Conference paper
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
Proceedings - IEEE Symposium on Security and Privacy, v. 2020-May, May 2020, article number 9152662, p. 1613-1627
Huang, Heqing; Yao, Peisen; Wu, Rongxin; Shi, Qingkai; Zhang, Chuan Conference paper
Pipelining bottom-up data flow analysis
ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 2020, p. 835-847, Article number 3380425
Shi, Qingkai; Zhang, Chuan Conference paper

2019 1

SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
Proceedings - International Conference on Software Engineering, v. 2019-May, May 2019, article number 8812075, p. 72-82
Fan, Gang; Wu, Rongxin; Shi, Qingkai; Xiao, Xiao; Zhou, Jinguo; Zhang, Chuan Conference paper

2018 1

Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
ACM Sigplan Notice, v.53, (4), June 2018, p. 693-706
Shi, Qingkai; Xiao, Xiao; Wu, Rongxin; Zhou, Jinguo; Fan, Gang; Zhang, Chuan Charles Conference paper

2016 2

Debugging Concurrent Software: Advances and Challenges
Journal of Computer Science and Technology, v. 31, (5), September 2016, p. 861-868
Huang, Jeff; Zhang, Charles C. Article
Casper: An Efficient Approach to Call Trace Collection
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, January 2016, p. 678-690
Wu, Rongxin; Xiao, Xiao; Cheung, Shing Chi; Zhang, Hongyu; Zhang, Charles C. Conference paper

2015 2

RECONTEST: Effective Regression Testing of Concurrent Programs
Proceedings: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015), v. 2, 2015, p. 246-256
Terragni, Valerio; Cheung, Shing Chi; Zhang, Charles Chuan Conference paper
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015: Proceedings, Editors: Xinyu Feng, Sungwoo Park. Cham : Springer International Publishing, 2015, p. 335-355, Part of the Lecture Notes in Computer Science book series (LNCS, volume 9458)
Xiao, Xiao; Han, Shi; Zhang, Charles C.; Zhang, Dongmei Conference paper

2014 4

Efficient Subcubic Alias Analysis for C
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, v. 3, October 2014, p. 829-845
Zhang, Qirun; Xiao, Xiao; Zhang, Charles; Yuan, Hao; Su, Zhengdong Conference paper
Grail: Context-Aware Fixing of Concurrency Bugs
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, v. 16-21-November-2014, November 2014, p. 318-329
Liu, peng; Tripp, omer; Zhang, Charles Chuan Conference paper
Persistent Pointer Information
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), v. 49, (6), June 2014, p. 463-474
Xiao, Xiao; Zhang, Qirun; Zhou, Jinguo; Zhang, Charles Chuan Conference paper
Unleashing Concurrency for Irregular Data Structures
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering, New York, NY, USA : ACM, 2014, p. 480-490
Liu, Peng; Zhang, Chuan Conference paper

2013 3

Scaling Predictive Analysis of Concurrent Programs by Removing Trace Redundancy
ACM Transactions on Software Engineering and Methodology, v. 22, (1), February 2013, article number 2430542
Huang, Jeff Shaoming; Zhou, Jinguo; Zhang, Charles Chuan Article
CLAP: Recording local executions to reproduce concurrency failures
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), ACM SIGPLAN, 2013, p. 141-151
Huang, Jeff Shaoming; Zhang, Charles C; Dolby, Julian Conference paper
Finding Incorrect Compositions of Atomicity
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, New York, NY, USA : ACM, 2013, p. 158-168
Liu, Peng; Dolby, Julian; Zhang, Chuan Conference paper

2012 9

Execution Privatization for Scheduler-Oblivious Concurrent Programs
ACM SIGPLAN notices, v. 47, (10), October 2012, p. 737-752
Huang, Jeff; Zhang, Charles Article
LEAN: Simplifying Concurrency Bug Reproduction via Replay-supported Execution Reduction
ACM SIGPLAN notices, v. 47, (10), October 2012, p. 451-465
Huang, Jeff; Zhang, Charles Article
Mining Crosscutting Concerns through Random Walks
IEEE Transactions on Software Engineering, v. 38, (5), September 2012, p. 1123-1137
Zhang, Charles; Jacobsen, Hans-Arno Article
Pert: The Application-Aware Tailoring of Java Object Persistence
IEEE Transactions on Software Engineering, v. 38, (4), 2012, Jul, p. 909-922
Liu, Peng; Zhang, Charles Article
Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints
IEEE International Conference on Software Engineering, 2012, p. 299-309
Liu, Peng; Zhang, Charles Conference paper
K Means of Cloud Computing: MapReduce, DVM, and Windows Azure
4th International Conference on Cloud Computing, GRIDs, and Virtualization, Valencia, Spain, May 27-June 1 2013, p. 13-18
Gu, Lin; Sheng, Zhonghua; Gao, Xiang; Zhang, Chuan; Jin, Yaohui Conference paper
LEAN: Simplifying Concurrency Bug Reproduction via Replay-Supported Execution Reduction
OOPSLA '12 Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, 2012, p. 451-466
Huang, Jeff; Zhang, Charles C. Conference paper
On Atomicity Enforcement in Concurrent Software via Discrete Event Systems Theory
Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes, 10-13 December 2012, p. 7230-7237
Wang, Yin; Liu, Peng; Kelly, Terence; Lafortune, Stephane; Reveliotis, Spyros; Zhang, Charles Conference paper
Stride: Search-based Deterministic Replay in Polynomial Time via Bounded Linkage
International Conference of Software Engineering (ICSE), Zurich Switzerland, 2012, June, p. 892-90, Article number 6227130
Zhou, Jinguo; Xiao, Xiao; Zhang, Charles Conference paper

2011 4

An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs
The 18th International Static Analysis Symposium Lecture Notes in Computer Science, v. 6887, 2011, p. 163-179
Huang, Jeff; Zhang, Charles Conference paper
Geometric encoding: Forging the high performance context sensitive points-to analysis for Java
2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings, Toronto, Canada, 2011, p. 188-198
Xiao, Xiao; Zhang, Charles Chuan Conference paper
Persuasive prediction of concurrency access anomalies
2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings, 2011, p. 144-154
Huang, J.; Zhang, C. Conference paper
Tracking data structures for postmortem analysis (NIER track)
The 33rd Interntional Conference on Software Engineering (NIER Track);Waikiki, Honolulu, HI; United States; May 2011, p. 896-899
Xiao, Xiao; Zhou, Jinguo; Zhang, Charles C. Conference paper

2010 4

G-Finder: Routing programming questions closer to the experts
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 2010, p. 62-73
Li, W.; Zhang, C.; Hu, S. Conference paper
LEAP: Lightweight deterministic multi-processor replay of concurrent java programs
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2010, p. 207-216
Huang, J.; Liu, P.; Zhang, C. Conference paper
LEAP: Lightweight deterministic multi-processor replay of concurrent java programs
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2010, p. 385-386
Huang, J.; Liu, P.; Zhang, C. Conference paper
QSynth: A Tool for QoS-aware Automatic Service Composition
ICWS 2010 - 2010 IEEE 8th International Conference on Web Services, 2010, p. 42-49
Jiang, W.; Zhang, C.; Huang, Z.; Chen, M.; Hu, S. Conference paper

2009 1

FlexSync: An aspect-oriented approach to Java synchronization
Proceedings - International Conference on Software Engineering, 2009, p. 375-385
Zhang, C. Conference paper

2008 1

Externalizing Java server concurrency with CAL
Lecture Notes in Computer Science, v. 5142, 2008, p. 362-386
Zhang, C.; Jacobsen, H.A. Conference paper

2007 1

Efficiently mining crosscutting concerns through random walks
AOSD'07: Proceedings of the 6th international conference on Aspect-oriented software development, Vancouver, BC, Canada, 12-16 March 2007, p. 226-238
Zhang, Charles C.; Jacobsen, Hans-Arno Conference paper

2005 2

Generic middleware substrate through modelware
Middleware'05: Proceedings of the 6th ACM/IFIP/USENIX international middleware conference, Grenoble, France, Springer Verlag, Lecture Notes in Computer Science 3790, 2005, p. 314-333
Zhang, Charles C.; Gao, Dapeng; Jacobsen, Hans-Arno Conference paper
Towards just-in-time middleware architectures
AOSD'05: Proceedings of the 4th international conference on Aspect-oriented software development Chicago, Illinois, USA, ACM Press, 2005, p.63-74
Zhang, Charles C.; Gao, Dapeng; Jacobsen, Hans-Arno Conference paper

2004 1

Resolving feature convolution in middleware systems
OOPSLA'04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vancouver, BC, Canada, ACM Press, 2004, p. 188-205
Zhang, Charles C.; Jacobsen, Hans-Arno Conference paper

2003 3

Refactoring Middleware with Aspects
IEEE Transactions on Parallel and Distributed Systems, v. 14, (11), November 2003, p. 1058-1073
Zhang, Charles C.; Jacobsen, Hans-Arno Article
Quantifying aspects in middleware platforms
AOSD'03: Proceedings of the 2nd international conference on Aspect-oriented software development, Boston, MA, USA, ACM Press, 2003, p. 130-139
Zhang, Charles C.; Jacobsen, Hans-Arno Conference paper
Refactoring middleware systems: A Case Study
DOA'03: Proceedings of the international symposium on distributed objects and applications, Catania, Sicily (Italy), Springer Verlag, Lecture Notes in Computer Science, 2003, p. 1243-1262
Zhang, Charles C.; Jacobsen, Hans-Arno Conference paper


Expand All Collapse All


Article 2

Program analysis via efficient symbolic abstraction
Proceedings of the ACM on Programming Languages, v. 5, (OOPSLA), October 2021, article number 118, p. 1-32
Yao, Peisen; Shi, Qingkai; Huang, Heqing; Zhang, Charles
高精度的大規模程序數據競爭檢測方法
軟件學報=Journal of Software, v. 32, (7), July 2021, p. 2039-2055
高鳳娟; 王豫; 周金果; 徐安孜; 王林章; 吳榮鑫; 張川; 蘇振東

Conference paper 4

Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI) / ACM. New York, NY, United States : ACM, 2021, p. 1126-1140
Cai, Yuandao; Yao, Peisen; Zhang, Chuan
Fuzzing SMT solvers via two-dimensional input space exploration
ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2021, p. 322-335
Yao, Peisen; Huang, Heqing; Tang, Wensheng; Shi, Qingkai; Wu, Rongxin; Zhang, Chuan
Path-Sensitive Sparse Analysis without Path Conditions
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation / Edited by Stephen N. Freund S.N. and Eran Yahav. New York, NY, USA : Association for Computing Machinery, 2021, p. 930-943
Shi, Qingkai; Yao, Peisen; Wu, Rongxin; Zhang, Chuan
Skeletal Approximation Enumeration for SMT Solver Testing
ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2021, p. 1141-1153
Yao, Peisen; Huang, Heqing; Tang, Wensheng; Shi, Qingkai; Wu, Rongxin; Zhang, Chuan


Expand All Collapse All


Conference paper 5

Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 2020, p. 812-823, Article number 3380346
Shi, Qingkai; Wu, Rongxin; Fan, Gang; Zhang, Chuan
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis / Association for Computing Machinery. New York : Association for Computing Machinery, 2020, p. 463-474
Fan, Gang; Wang, Chengpeng; Wu, Rongxin; Xiao, Xiao; Shi, Qingkai; Zhang, Chuan
Fast Bit-Vector Satisfiability
ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2020, p. 38-50
Yao, Peisen; Shi, Qingkai; Huang, Heqing; Zhang, Chuan
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
Proceedings - IEEE Symposium on Security and Privacy, v. 2020-May, May 2020, article number 9152662, p. 1613-1627
Huang, Heqing; Yao, Peisen; Wu, Rongxin; Shi, Qingkai; Zhang, Chuan
Pipelining bottom-up data flow analysis
ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 2020, p. 835-847, Article number 3380425
Shi, Qingkai; Zhang, Chuan


Expand All Collapse All


Conference paper 1

SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
Proceedings - International Conference on Software Engineering, v. 2019-May, May 2019, article number 8812075, p. 72-82
Fan, Gang; Wu, Rongxin; Shi, Qingkai; Xiao, Xiao; Zhou, Jinguo; Zhang, Chuan


Expand All Collapse All


Conference paper 1

Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
ACM Sigplan Notice, v.53, (4), June 2018, p. 693-706
Shi, Qingkai; Xiao, Xiao; Wu, Rongxin; Zhou, Jinguo; Fan, Gang; Zhang, Chuan Charles


Expand All Collapse All


Article 1

Debugging Concurrent Software: Advances and Challenges
Journal of Computer Science and Technology, v. 31, (5), September 2016, p. 861-868
Huang, Jeff; Zhang, Charles C.

Conference paper 1

Casper: An Efficient Approach to Call Trace Collection
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, January 2016, p. 678-690
Wu, Rongxin; Xiao, Xiao; Cheung, Shing Chi; Zhang, Hongyu; Zhang, Charles C.


Expand All Collapse All


Conference paper 2

RECONTEST: Effective Regression Testing of Concurrent Programs
Proceedings: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015), v. 2, 2015, p. 246-256
Terragni, Valerio; Cheung, Shing Chi; Zhang, Charles Chuan
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015: Proceedings, Editors: Xinyu Feng, Sungwoo Park. Cham : Springer International Publishing, 2015, p. 335-355, Part of the Lecture Notes in Computer Science book series (LNCS, volume 9458)
Xiao, Xiao; Han, Shi; Zhang, Charles C.; Zhang, Dongmei


Expand All Collapse All


Conference paper 4

Efficient Subcubic Alias Analysis for C
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, v. 3, October 2014, p. 829-845
Zhang, Qirun; Xiao, Xiao; Zhang, Charles; Yuan, Hao; Su, Zhengdong
Grail: Context-Aware Fixing of Concurrency Bugs
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, v. 16-21-November-2014, November 2014, p. 318-329
Liu, peng; Tripp, omer; Zhang, Charles Chuan
Persistent Pointer Information
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), v. 49, (6), June 2014, p. 463-474
Xiao, Xiao; Zhang, Qirun; Zhou, Jinguo; Zhang, Charles Chuan
Unleashing Concurrency for Irregular Data Structures
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering, New York, NY, USA : ACM, 2014, p. 480-490
Liu, Peng; Zhang, Chuan


Expand All Collapse All


Article 1

Scaling Predictive Analysis of Concurrent Programs by Removing Trace Redundancy
ACM Transactions on Software Engineering and Methodology, v. 22, (1), February 2013, article number 2430542
Huang, Jeff Shaoming; Zhou, Jinguo; Zhang, Charles Chuan

Conference paper 2

CLAP: Recording local executions to reproduce concurrency failures
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), ACM SIGPLAN, 2013, p. 141-151
Huang, Jeff Shaoming; Zhang, Charles C; Dolby, Julian
Finding Incorrect Compositions of Atomicity
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, New York, NY, USA : ACM, 2013, p. 158-168
Liu, Peng; Dolby, Julian; Zhang, Chuan


Expand All Collapse All


Article 4

Execution Privatization for Scheduler-Oblivious Concurrent Programs
ACM SIGPLAN notices, v. 47, (10), October 2012, p. 737-752
Huang, Jeff; Zhang, Charles
LEAN: Simplifying Concurrency Bug Reproduction via Replay-supported Execution Reduction
ACM SIGPLAN notices, v. 47, (10), October 2012, p. 451-465
Huang, Jeff; Zhang, Charles
Mining Crosscutting Concerns through Random Walks
IEEE Transactions on Software Engineering, v. 38, (5), September 2012, p. 1123-1137
Zhang, Charles; Jacobsen, Hans-Arno
Pert: The Application-Aware Tailoring of Java Object Persistence
IEEE Transactions on Software Engineering, v. 38, (4), 2012, Jul, p. 909-922
Liu, Peng; Zhang, Charles

Conference paper 5

Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints
IEEE International Conference on Software Engineering, 2012, p. 299-309
Liu, Peng; Zhang, Charles
K Means of Cloud Computing: MapReduce, DVM, and Windows Azure
4th International Conference on Cloud Computing, GRIDs, and Virtualization, Valencia, Spain, May 27-June 1 2013, p. 13-18
Gu, Lin; Sheng, Zhonghua; Gao, Xiang; Zhang, Chuan; Jin, Yaohui
LEAN: Simplifying Concurrency Bug Reproduction via Replay-Supported Execution Reduction
OOPSLA '12 Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, 2012, p. 451-466
Huang, Jeff; Zhang, Charles C.
On Atomicity Enforcement in Concurrent Software via Discrete Event Systems Theory
Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes, 10-13 December 2012, p. 7230-7237
Wang, Yin; Liu, Peng; Kelly, Terence; Lafortune, Stephane; Reveliotis, Spyros; Zhang, Charles
Stride: Search-based Deterministic Replay in Polynomial Time via Bounded Linkage
International Conference of Software Engineering (ICSE), Zurich Switzerland, 2012, June, p. 892-90, Article number 6227130
Zhou, Jinguo; Xiao, Xiao; Zhang, Charles


Expand All Collapse All


Conference paper 4

An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs
The 18th International Static Analysis Symposium Lecture Notes in Computer Science, v. 6887, 2011, p. 163-179
Huang, Jeff; Zhang, Charles
Geometric encoding: Forging the high performance context sensitive points-to analysis for Java
2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings, Toronto, Canada, 2011, p. 188-198
Xiao, Xiao; Zhang, Charles Chuan
Persuasive prediction of concurrency access anomalies
2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings, 2011, p. 144-154
Huang, J.; Zhang, C.
Tracking data structures for postmortem analysis (NIER track)
The 33rd Interntional Conference on Software Engineering (NIER Track);Waikiki, Honolulu, HI; United States; May 2011, p. 896-899
Xiao, Xiao; Zhou, Jinguo; Zhang, Charles C.


Expand All Collapse All


Conference paper 4

G-Finder: Routing programming questions closer to the experts
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 2010, p. 62-73
Li, W.; Zhang, C.; Hu, S.
LEAP: Lightweight deterministic multi-processor replay of concurrent java programs
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2010, p. 207-216
Huang, J.; Liu, P.; Zhang, C.
LEAP: Lightweight deterministic multi-processor replay of concurrent java programs
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2010, p. 385-386
Huang, J.; Liu, P.; Zhang, C.
QSynth: A Tool for QoS-aware Automatic Service Composition
ICWS 2010 - 2010 IEEE 8th International Conference on Web Services, 2010, p. 42-49
Jiang, W.; Zhang, C.; Huang, Z.; Chen, M.; Hu, S.


Expand All Collapse All


Conference paper 1

FlexSync: An aspect-oriented approach to Java synchronization
Proceedings - International Conference on Software Engineering, 2009, p. 375-385
Zhang, C.


Expand All Collapse All


Conference paper 1

Externalizing Java server concurrency with CAL
Lecture Notes in Computer Science, v. 5142, 2008, p. 362-386
Zhang, C.; Jacobsen, H.A.


Expand All Collapse All


Conference paper 1

Efficiently mining crosscutting concerns through random walks
AOSD'07: Proceedings of the 6th international conference on Aspect-oriented software development, Vancouver, BC, Canada, 12-16 March 2007, p. 226-238
Zhang, Charles C.; Jacobsen, Hans-Arno


Expand All Collapse All


Conference paper 2

Generic middleware substrate through modelware
Middleware'05: Proceedings of the 6th ACM/IFIP/USENIX international middleware conference, Grenoble, France, Springer Verlag, Lecture Notes in Computer Science 3790, 2005, p. 314-333
Zhang, Charles C.; Gao, Dapeng; Jacobsen, Hans-Arno
Towards just-in-time middleware architectures
AOSD'05: Proceedings of the 4th international conference on Aspect-oriented software development Chicago, Illinois, USA, ACM Press, 2005, p.63-74
Zhang, Charles C.; Gao, Dapeng; Jacobsen, Hans-Arno


Expand All Collapse All


Conference paper 1

Resolving feature convolution in middleware systems
OOPSLA'04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vancouver, BC, Canada, ACM Press, 2004, p. 188-205
Zhang, Charles C.; Jacobsen, Hans-Arno


Expand All Collapse All


Article 1

Refactoring Middleware with Aspects
IEEE Transactions on Parallel and Distributed Systems, v. 14, (11), November 2003, p. 1058-1073
Zhang, Charles C.; Jacobsen, Hans-Arno

Conference paper 2

Quantifying aspects in middleware platforms
AOSD'03: Proceedings of the 2nd international conference on Aspect-oriented software development, Boston, MA, USA, ACM Press, 2003, p. 130-139
Zhang, Charles C.; Jacobsen, Hans-Arno
Refactoring middleware systems: A Case Study
DOA'03: Proceedings of the international symposium on distributed objects and applications, Catania, Sicily (Italy), Springer Verlag, Lecture Notes in Computer Science, 2003, p. 1243-1262
Zhang, Charles C.; Jacobsen, Hans-Arno


Expand All Collapse All


2016 2

Debugging Concurrent Software: Advances and Challenges
Journal of Computer Science and Technology, v. 31, (5), September 2016, p. 861-868
Huang, Jeff; Zhang, Charles C. Article
Casper: An Efficient Approach to Call Trace Collection
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, January 2016, p. 678-690
Wu, Rongxin; Xiao, Xiao; Cheung, Shing Chi; Zhang, Hongyu; Zhang, Charles C. Conference paper

2015 2

RECONTEST: Effective Regression Testing of Concurrent Programs
Proceedings: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015), v. 2, 2015, p. 246-256
Terragni, Valerio; Cheung, Shing Chi; Zhang, Charles Chuan Conference paper
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015: Proceedings, Editors: Xinyu Feng, Sungwoo Park. Cham : Springer International Publishing, 2015, p. 335-355, Part of the Lecture Notes in Computer Science book series (LNCS, volume 9458)
Xiao, Xiao; Han, Shi; Zhang, Charles C.; Zhang, Dongmei Conference paper

2014 4

Efficient Subcubic Alias Analysis for C
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, v. 3, October 2014, p. 829-845
Zhang, Qirun; Xiao, Xiao; Zhang, Charles; Yuan, Hao; Su, Zhengdong Conference paper
Grail: Context-Aware Fixing of Concurrency Bugs
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, v. 16-21-November-2014, November 2014, p. 318-329
Liu, peng; Tripp, omer; Zhang, Charles Chuan Conference paper
Persistent Pointer Information
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), v. 49, (6), June 2014, p. 463-474
Xiao, Xiao; Zhang, Qirun; Zhou, Jinguo; Zhang, Charles Chuan Conference paper
Unleashing Concurrency for Irregular Data Structures
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering, New York, NY, USA : ACM, 2014, p. 480-490
Liu, Peng; Zhang, Chuan Conference paper

2013 3

Scaling Predictive Analysis of Concurrent Programs by Removing Trace Redundancy
ACM Transactions on Software Engineering and Methodology, v. 22, (1), February 2013, article number 2430542
Huang, Jeff Shaoming; Zhou, Jinguo; Zhang, Charles Chuan Article
CLAP: Recording local executions to reproduce concurrency failures
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), ACM SIGPLAN, 2013, p. 141-151
Huang, Jeff Shaoming; Zhang, Charles C; Dolby, Julian Conference paper
Finding Incorrect Compositions of Atomicity
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, New York, NY, USA : ACM, 2013, p. 158-168
Liu, Peng; Dolby, Julian; Zhang, Chuan Conference paper

2012 9

Execution Privatization for Scheduler-Oblivious Concurrent Programs
ACM SIGPLAN notices, v. 47, (10), October 2012, p. 737-752
Huang, Jeff; Zhang, Charles Article
LEAN: Simplifying Concurrency Bug Reproduction via Replay-supported Execution Reduction
ACM SIGPLAN notices, v. 47, (10), October 2012, p. 451-465
Huang, Jeff; Zhang, Charles Article
Mining Crosscutting Concerns through Random Walks
IEEE Transactions on Software Engineering, v. 38, (5), September 2012, p. 1123-1137
Zhang, Charles; Jacobsen, Hans-Arno Article
Pert: The Application-Aware Tailoring of Java Object Persistence
IEEE Transactions on Software Engineering, v. 38, (4), 2012, Jul, p. 909-922
Liu, Peng; Zhang, Charles Article
Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints
IEEE International Conference on Software Engineering, 2012, p. 299-309
Liu, Peng; Zhang, Charles Conference paper
K Means of Cloud Computing: MapReduce, DVM, and Windows Azure
4th International Conference on Cloud Computing, GRIDs, and Virtualization, Valencia, Spain, May 27-June 1 2013, p. 13-18
Gu, Lin; Sheng, Zhonghua; Gao, Xiang; Zhang, Chuan; Jin, Yaohui Conference paper
LEAN: Simplifying Concurrency Bug Reproduction via Replay-Supported Execution Reduction
OOPSLA '12 Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, 2012, p. 451-466
Huang, Jeff; Zhang, Charles C. Conference paper
On Atomicity Enforcement in Concurrent Software via Discrete Event Systems Theory
Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes, 10-13 December 2012, p. 7230-7237
Wang, Yin; Liu, Peng; Kelly, Terence; Lafortune, Stephane; Reveliotis, Spyros; Zhang, Charles Conference paper
Stride: Search-based Deterministic Replay in Polynomial Time via Bounded Linkage
International Conference of Software Engineering (ICSE), Zurich Switzerland, 2012, June, p. 892-90, Article number 6227130
Zhou, Jinguo; Xiao, Xiao; Zhang, Charles Conference paper

2011 4

An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs
The 18th International Static Analysis Symposium Lecture Notes in Computer Science, v. 6887, 2011, p. 163-179
Huang, Jeff; Zhang, Charles Conference paper
Geometric encoding: Forging the high performance context sensitive points-to analysis for Java
2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings, Toronto, Canada, 2011, p. 188-198
Xiao, Xiao; Zhang, Charles Chuan Conference paper
Persuasive prediction of concurrency access anomalies
2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings, 2011, p. 144-154
Huang, J.; Zhang, C. Conference paper
Tracking data structures for postmortem analysis (NIER track)
The 33rd Interntional Conference on Software Engineering (NIER Track);Waikiki, Honolulu, HI; United States; May 2011, p. 896-899
Xiao, Xiao; Zhou, Jinguo; Zhang, Charles C. Conference paper

2010 4

G-Finder: Routing programming questions closer to the experts
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 2010, p. 62-73
Li, W.; Zhang, C.; Hu, S. Conference paper
LEAP: Lightweight deterministic multi-processor replay of concurrent java programs
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2010, p. 207-216
Huang, J.; Liu, P.; Zhang, C. Conference paper
LEAP: Lightweight deterministic multi-processor replay of concurrent java programs
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2010, p. 385-386
Huang, J.; Liu, P.; Zhang, C. Conference paper
QSynth: A Tool for QoS-aware Automatic Service Composition
ICWS 2010 - 2010 IEEE 8th International Conference on Web Services, 2010, p. 42-49
Jiang, W.; Zhang, C.; Huang, Z.; Chen, M.; Hu, S. Conference paper

2009 1

FlexSync: An aspect-oriented approach to Java synchronization
Proceedings - International Conference on Software Engineering, 2009, p. 375-385
Zhang, C. Conference paper

2008 1

Externalizing Java server concurrency with CAL
Lecture Notes in Computer Science, v. 5142, 2008, p. 362-386
Zhang, C.; Jacobsen, H.A. Conference paper

2007 1

Efficiently mining crosscutting concerns through random walks
AOSD'07: Proceedings of the 6th international conference on Aspect-oriented software development, Vancouver, BC, Canada, 12-16 March 2007, p. 226-238
Zhang, Charles C.; Jacobsen, Hans-Arno Conference paper

2005 2

Generic middleware substrate through modelware
Middleware'05: Proceedings of the 6th ACM/IFIP/USENIX international middleware conference, Grenoble, France, Springer Verlag, Lecture Notes in Computer Science 3790, 2005, p. 314-333
Zhang, Charles C.; Gao, Dapeng; Jacobsen, Hans-Arno Conference paper
Towards just-in-time middleware architectures
AOSD'05: Proceedings of the 4th international conference on Aspect-oriented software development Chicago, Illinois, USA, ACM Press, 2005, p.63-74
Zhang, Charles C.; Gao, Dapeng; Jacobsen, Hans-Arno Conference paper

2004 1

Resolving feature convolution in middleware systems
OOPSLA'04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vancouver, BC, Canada, ACM Press, 2004, p. 188-205
Zhang, Charles C.; Jacobsen, Hans-Arno Conference paper

2003 3

Refactoring Middleware with Aspects
IEEE Transactions on Parallel and Distributed Systems, v. 14, (11), November 2003, p. 1058-1073
Zhang, Charles C.; Jacobsen, Hans-Arno Article
Quantifying aspects in middleware platforms
AOSD'03: Proceedings of the 2nd international conference on Aspect-oriented software development, Boston, MA, USA, ACM Press, 2003, p. 130-139
Zhang, Charles C.; Jacobsen, Hans-Arno Conference paper
Refactoring middleware systems: A Case Study
DOA'03: Proceedings of the international symposium on distributed objects and applications, Catania, Sicily (Italy), Springer Verlag, Lecture Notes in Computer Science, 2003, p. 1243-1262
Zhang, Charles C.; Jacobsen, Hans-Arno Conference paper


No Publications


No Publications






Teaching Assignment

---

2021-22 Winter 0 2021-22 Fall 1 2020-21 Summer 1 2020-21 Spring 3 2020-21 Winter 0 2020-21 Fall 4

---

COMP3511 Operating Systems


UROP1000 Undergraduate Research Opportunities


COMP3021 Java Programming
COMP4981 Final Year Project
CPEG4901 Computer Engineering Final Year Project in COMP


COMP3111 Software Engineering
COMP3111H Honors Software Engineering
COMP4981 Final Year Project
CPEG4901 Computer Engineering Final Year Project in COMP


No Teaching Assignments


No Teaching Assignments






Research Postgraduate (RPG) Supervision From January 2019 to December 2022 (As of 30 January 2022)

---

All Supervisions Current RPGs Graduated RPGs

---

Current RPGs

---

Doctor of Philosophy CHIU, Hung-chun
Computer Science and Engineering( 2021 - )

YE, Chengfeng
Computer Science and Engineering( 2021 - )

ZHANG, Bowen
Computer Science and Engineering( 2021 - )

GONG, Jiajun
Computer Science and Engineering( 2020 - )

LING, Hao
Computer Science and Engineering( 2020 - )

YAO, Peisen
Computer Science and Engineering( 2020 - )

CAI, Yuandao
Computer Science and Engineering( 2019 - )

MASOUDIAN TARGHI, Maryam Alsadat
Computer Science and Engineering( 2019 - )

WANG, Chengpeng
Computer Science and Engineering( 2019 - )

ZHOU, Anshunkang
Computer Science and Engineering( 2019 - )

GUO, Yiyuan
Computer Science and Engineering( 2018 - )

HUANG, Heqing
Computer Science and Engineering( 2018 - )

WANG, Yongchao
Computer Science and Engineering( 2018 - )

TANG, Wensheng
Computer Science and Engineering( 2017 - )

---

Master of Philosophy MA, Kexin
Computer Science and Engineering( 2020 - )

---

Graduated RPGs

---

Doctor of Philosophy FAN, Gang
Computer Science and Engineering( Completed in 2020 )

SHI, Qingkai
Computer Science and Engineering( Completed in 2020 )

---

Master of Philosophy HUANG, Linjie
Computer Science and Engineering( Completed in 2021 )

ZHANG, Yushan
Computer Science and Engineering( Completed in 2021 )

DEWAR-ROBSON, Robert Craig
Technology Leadership and Entrepreneurship( Completed in 2020 )









ProjectsFrom January 2020 to December 2022

---

All Projects 5

---

No Projects.
Foundational Program Analysis Techniques for Financial-grade Enterprise Software


面向金融級雲原生系統的程序分析技術研究 Leading


Innovation and Technology Fund


Project Team (HKUST)
ZHANG Charles Chuan (Lead)


2021 -




PinCloud: A Cloud Service Platform for Detecting Security Threats from Mobile Apps


PinCloud: 探測流動應用程式安全威脅的雲服務平臺 Leading


Innovation and Technology Fund, TCL Corporate Research (Hong Kong) Co., Limited


Project Team (HKUST)
ZHANG Charles Chuan (Lead)


2019 -




Boost static software vulnerability detection through post-verification


以後置核查強化靜態軟件漏洞檢查 Leading


RGC - General Research Fund


Project Team (HKUST)
ZHANG Charles Chuan (Lead)


2018 - 2020




Behavior-directed optimization of javascript programs Leading


Microsoft Research Asia


Project Team (HKUST)
ZHANG Charles Chuan (Lead)


2014 - 2021




The research and development of MID technology


無線移動互聯網終端研發及產業化 Leading


TCL Corporation


Project Team (HKUST)
ZHANG Charles Chuan (Lead)


2012 -