Faculty Profiles - ZHANG Charles Chuan | The Hong Kong University of Science and Technology

Charles Chuan ZHANG
張川

PhD in Electrical and Computer Engineering
University of Toronto, 2007

Professor
Department of Computer Science and Engineering

Google Scholar

Zmppp9kAAAAJ

ORCID

0000-0001-6417-1034

ResearcherID

C-6840-2013

Scopus ID

7405494017

Research Interest

Software security
Program analysis
Software engineering
Programming languages

Publications

2023 8

Anchor: Fast and Precise Value-Flow Analysis for Containers via Memory Orientation

The ACM Transactions on Software Engineering and Methodology, v. 32, (3), April 2023, article number 66, p. 1-39
Wang, Chengpeng; Wang, Wenyang; Yao, Peisen; Shi, Qingkai; Zhou, Jinguo; Xiao, Xiao; Zhang, Charles
Article

Balance Seed Scheduling via Monte Carlo Planning

IEEE Transactions on Dependable and Secure Computing, 2023, article number 10149344, p. 1-15
Huang, Heqing; Chiu, Hung Chun; Shi, Qingkai; Yao, Peisen; Zhang, Chuan
Article

A Cocktail Approach to Practical Call Graph Construction

Cai, Yuandao; Zhang, Chuan
Conference paper

DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems

Tang, Wensheng; Wang, Chengpeng; Yao, Peisen; Wu, Rongxin; Fu, Xianjin; Fan, Gang; Zhang, Charles Chuan
Conference paper

Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis

Hao, Zongyin; Huang, Quanfeng; Wang, Chengpeng; Wang, Jianfeng; Zhang, Yushan; Wu, Rongxin; Zhang, Charles Chuan
Conference paper

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs

Cai, Yuandao; Yao, Peisen; Ye, Chengfeng; Zhang, Chuan
Conference paper

Synthesizing Conjunctive Queries for Code Search

Wang, Chengpeng; Yao, Peisen; Tang, Wensheng; Fan, Gang; Zhang, Charles Chuan
Conference paper

Verifying Data Constraint Equivalence in FinTech Systems

Wang, Chengpeng; Fan, Gang; Yao, Peisen; Pan, Fuxiong; Zhang, Charles Chuan
Conference paper

2022 7

Accelerating Build Dependency Error Detection via Virtual Build

ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering / Association for Computing Machinery. New York, NY : Association for Computing Machinery, 2022, p. 1-12, article number 5
Wu, Rongxin; Chen, Minglei; Wang, Chengpeng; Fan, Gang; Qiu, Jiguang; Zhang, Chuan
Conference paper

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning

Proceedings - 2022 IEEE Symposium on Security and Privacy (SP), v. 2022-May, May 2022, article number 9833751, p. 36-50
Huang, Heqing; Guo, Yiyuan; Shi, Qingkai; Yao, Peisen; Wu, Rongxin; Zhang, Chuan
Conference paper

Complexity-Guided Container Replacement Synthesis

Proceedings of the ACM on Programming Languages, v. 6, OOPSLA1, April 2022, article number 68, p. 1-31
Wang, Chengpeng; Yao, Peisen; Tang, Wensheng; Shi, Qingkai; Zhang, Charles
Conference paper

Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis

Proceedings of the ACM on Programming Languages, v. 6, (OOPSLA2), October 2022, article number 176, p. 1438-1468
Shi, Qingkai; Wang, Yongchao; Yao, Peisen; Zhang, Charles Chuan
Conference paper

Peahen: fast and precise static deadlock detection via context reduction

ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering / Association for Computing Machinery. New York : Association for Computing Machinery, 2022, p. 784-796
Cai, Yuandao; Ye, Chengfeng; Shi, Qingkai; Zhang, Chuan Charles
Conference paper

Precise Divide-By-Zero Detection with Affirmative Evidence

Proceedings - International Conference on Software Engineering, v. 2022-May, May 2022, p. 1718-1729
Guo, Yiyuan; Zhou, Jinguo; Yao, Peisen; Shi, Qingkai; Zhang, Chuan
Conference paper

Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense

Proceedings of 2022 IEEE Symposium on Security and Privacy (SP), v. 2022-May, May 2022, article number 9833722, p. 1558-1573
Gong, Jiajun; Zhang, Wuqi; Zhang, Charles; Wang, Tao
Conference paper

2021 7

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

Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems

Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, November 2021, article number 9678823, p. 829-841
Tang, Wensheng; Hu, Yikun; Fan, Gang; Yao, Peisen; Wu, Rongxin; Bai, Guangyuan; Wang, Pengcheng; 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, Chuan
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;\t 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

Article 2

Anchor: Fast and Precise Value-Flow Analysis for Containers via Memory Orientation

The ACM Transactions on Software Engineering and Methodology, v. 32, (3), April 2023, article number 66, p. 1-39
Wang, Chengpeng; Wang, Wenyang; Yao, Peisen; Shi, Qingkai; Zhou, Jinguo; Xiao, Xiao; Zhang, Charles

Balance Seed Scheduling via Monte Carlo Planning

IEEE Transactions on Dependable and Secure Computing, 2023, article number 10149344, p. 1-15
Huang, Heqing; Chiu, Hung Chun; Shi, Qingkai; Yao, Peisen; Zhang, Chuan

Conference paper 6

A Cocktail Approach to Practical Call Graph Construction

Cai, Yuandao; Zhang, Chuan

DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems

Tang, Wensheng; Wang, Chengpeng; Yao, Peisen; Wu, Rongxin; Fu, Xianjin; Fan, Gang; Zhang, Charles Chuan

Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis

Hao, Zongyin; Huang, Quanfeng; Wang, Chengpeng; Wang, Jianfeng; Zhang, Yushan; Wu, Rongxin; Zhang, Charles Chuan

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs

Cai, Yuandao; Yao, Peisen; Ye, Chengfeng; Zhang, Chuan

Synthesizing Conjunctive Queries for Code Search

Wang, Chengpeng; Yao, Peisen; Tang, Wensheng; Fan, Gang; Zhang, Charles Chuan

Verifying Data Constraint Equivalence in FinTech Systems

Wang, Chengpeng; Fan, Gang; Yao, Peisen; Pan, Fuxiong; Zhang, Charles Chuan

Conference paper 7

Accelerating Build Dependency Error Detection via Virtual Build

ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering / Association for Computing Machinery. New York, NY : Association for Computing Machinery, 2022, p. 1-12, article number 5
Wu, Rongxin; Chen, Minglei; Wang, Chengpeng; Fan, Gang; Qiu, Jiguang; Zhang, Chuan

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning

Proceedings - 2022 IEEE Symposium on Security and Privacy (SP), v. 2022-May, May 2022, article number 9833751, p. 36-50
Huang, Heqing; Guo, Yiyuan; Shi, Qingkai; Yao, Peisen; Wu, Rongxin; Zhang, Chuan

Complexity-Guided Container Replacement Synthesis

Proceedings of the ACM on Programming Languages, v. 6, OOPSLA1, April 2022, article number 68, p. 1-31
Wang, Chengpeng; Yao, Peisen; Tang, Wensheng; Shi, Qingkai; Zhang, Charles

Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis

Proceedings of the ACM on Programming Languages, v. 6, (OOPSLA2), October 2022, article number 176, p. 1438-1468
Shi, Qingkai; Wang, Yongchao; Yao, Peisen; Zhang, Charles Chuan

Peahen: fast and precise static deadlock detection via context reduction

ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering / Association for Computing Machinery. New York : Association for Computing Machinery, 2022, p. 784-796
Cai, Yuandao; Ye, Chengfeng; Shi, Qingkai; Zhang, Chuan Charles

Precise Divide-By-Zero Detection with Affirmative Evidence

Proceedings - International Conference on Software Engineering, v. 2022-May, May 2022, p. 1718-1729
Guo, Yiyuan; Zhou, Jinguo; Yao, Peisen; Shi, Qingkai; Zhang, Chuan

Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense

Proceedings of 2022 IEEE Symposium on Security and Privacy (SP), v. 2022-May, May 2022, article number 9833722, p. 1558-1573
Gong, Jiajun; Zhang, Wuqi; Zhang, Charles; Wang, Tao

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 5

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

Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems

Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, November 2021, article number 9678823, p. 829-841
Tang, Wensheng; Hu, Yikun; Fan, Gang; Yao, Peisen; Wu, Rongxin; Bai, Guangyuan; Wang, Pengcheng; Zhang, Chuan

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

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

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

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, Chuan

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.

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

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

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

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

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;\t May 2011, p. 896-899
Xiao, Xiao; Zhou, Jinguo; Zhang, Charles C.

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.

Conference paper 1

FlexSync: An aspect-oriented approach to Java synchronization

Proceedings - International Conference on Software Engineering, 2009, p. 375-385
Zhang, C.

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.

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

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

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

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

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, Chuan
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;\t 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

Teaching Assignment

COMP2011	Programming with C++
RMBI4980	Risk Management and Business Intelligence Capstone Project I

COMP6921C

Research Project: Concurrency Study

COMP3021	Java Programming
COMP4971D	Independent Work
COMP6921C	Research Project: Concurrency Study

COMP2011

Programming with C++

COMP6931A	Independent Studies
UROP1000	Undergraduate Research Opportunities

No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2020 to December 2023 (As of 02 October 2023)

Current RPGs

Doctor of Philosophy

CHEN, Wei
Computer Science and Engineering
DU, Bangyan
Computer Science and Engineering
PENG, Sixiang
Computer Science and Engineering
SONG, Jiaxin
Computer Science and Engineering
JIN, Yibo
Computer Science and Engineering
CHIU, Hung-chun
Computer Science and Engineering
YE, Chengfeng
Computer Science and Engineering
ZHANG, Bowen
Computer Science and Engineering
LING, Hao
Computer Science and Engineering
CAI, Yuandao
Computer Science and Engineering
MASOUDIAN TARGHI, Maryam Alsadat
Computer Science and Engineering
WANG, Chengpeng
Computer Science and Engineering
ZHOU, Anshunkang
Computer Science and Engineering
GUO, Yiyuan
Computer Science and Engineering
WANG, Yongchao
Computer Science and Engineering
TANG, Wensheng
Computer Science and Engineering

Graduated RPGs

Doctor of Philosophy

GONG, Jiajun
Computer Science and Engineering( Completed in 2023 )
HUANG, Heqing
Computer Science and Engineering( Completed in 2022 )
YAO, Peisen
Computer Science and Engineering( Completed in 2022 )
FAN, Gang
Computer Science and Engineering( Completed in 2020 )
SHI, Qingkai
Computer Science and Engineering( Completed in 2020 )

Master of Philosophy

MA, Kexin
Computer Science and Engineering( Completed in 2022 )
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 )

Projects

From January 2021 to December 2023

No Projects.
Trustworthy Parallel Software

并行軟件的可信研究 Leading

Huawei Technologies Co., Ltd.
Project Team (HKUST)
ZHANG Charles Chuan (Lead)
2023 -
Trustwothiness of Basic Software

基礎軟件可信研究 Leading

Huawei Technologies Co., Ltd.
Project Team (HKUST)
ZHANG Charles Chuan (Lead)
2023 -
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 - 2022
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 -

Research Interest

Publications

2023 8

2022 7

2021 7

2020 5

2019 1

2018 1

2016 2

2015 2

2014 4

2013 3

2012 9

2011 4

2010 4

2009 1

2008 1

2007 1

2005 2

2004 1

2003 3

Article 2

Conference paper 6

Conference paper 7

Article 2

Conference paper 5

Conference paper 5

Conference paper 1

Conference paper 1

Article 1

Conference paper 1

Conference paper 2

Conference paper 4

Article 1

Conference paper 2

Article 4

Conference paper 5

Conference paper 4

Conference paper 4

Conference paper 1

Conference paper 1

Conference paper 1

Conference paper 2

Conference paper 1

Article 1

Conference paper 2

2016 2

2015 2

2014 4

2013 3

2012 9

2011 4

2010 4

2009 1

2008 1

2007 1

2005 2

2004 1

2003 3

Teaching Assignment

Research Postgraduate (RPG) Supervision

From January 2020 to December 2023 (As of 02 October 2023)

Current RPGs

Graduated RPGs

Projects

From January 2021 to December 2023

Your browser is out of date!