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

2024 12

ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation

ACM Transactions on Software Engineering and Methodology, v. 33, (4), May 2024, article number 96
Zhou, Anshunkang; Hu, Yikun; Xu, Xiangzhe; Zhang, Chuan
Article

Balance Seed Scheduling via Monte Carlo Planning

IEEE Transactions on Dependable and Secure Computing, v. 21, (3), June 2024, article number 10149344, p. 1469-1483
Huang, Heqing; Chiu, Hung Chun; Shi, Qingkai; Yao, Peisen; Zhang, Chuan
Article

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis

Proceedings of the ACM on Programming Languages, v. 8, June 2024, article number 170, p. 1-26
Yao, Peisen; Zhou, Jinguo; Xiao, Xiao; Shi, Qingkai; Wu, Rongxin; Zhang, Chuan
Article

Mole: Efficient Crash Reproduction in Android Applications with Enforcing Necessary UI Events

IEEE Transactions on Software Engineering, v. 50, (8), August 2024, article number 10599338, p. 2200-2218
Masoudian Targhi, Maryam Alsadat; Huang, Heqing; Amini, Morteza; Zhang, Chuan
Article

Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions

ACM Transactions on Software Engineering and Methodology, v. 33, (3), March 2024, article number 66
Tang, Wensheng; Dong, Dejun; Li, Shijie; Wang, Chengpeng; Yao, Peisen; Zhou, Jinguo; Zhang, Charles
Article

GIANTSAN: Efficient Memory Sanitization with Segment Folding

ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, v. 2, April 2024, p. 433-449
Ling, Hao; Huang, Heqing; Wang, Chengpeng; Cai, Yuandao; Zhang, Chuan
Conference paper

LIBALCHEMY: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems

ICSE '24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, v. 105, April 2024, p. 1285-1297
Wu, Rongxin; He, Yuxuan; Huang, Jiafeng; Wang, Chengpeng; Tang, Wensheng; Shi, Qingkai; Xiao, Xiao; Zhang, Chuan
Conference paper

Plankton: Reconciling Binary Code and Debug Information

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, v. 2, April 2024, p. 912-928
Zhou, Anshunkang; Ye, Chengfeng; Huang, Heqing; Cai, Yuandao; Zhang, Chuan
Conference paper

Precise Compositional Buffer Overflow Detection via Heap Disjointness

3rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024 / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2024, p. 63-75
Guo, Yiyuan; Yao, Peisen; Zhang, Chuan
Conference paper

SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis

ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, v. 3, April 2024, p. 882-899
Zhang, Bowen; Chen, Wei; Yao, Peisen; Wang, Chengpeng; Tang, Wensheng; Zhang, Charles
Conference paper

Titan : Efficient Multi-target Directed Greybox Fuzzing

Huang, Heqing; Yao, Peisen; Chiu, Hung-chun; Guo, Yiyuan; Zhang, Chuan
Conference paper

Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information

Cai, Yuandao; Jin, Yibo; Zhang, Chuan
Conference paper

2023 8

A Cocktail Approach to Practical Call Graph Construction

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA2), October 2023, article number 257, p. 1001-1033
Cai, Yuandao; Zhang, Chuan
Article

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

WFDefProxy: Real World Implementation and Evaluation of Website Fingerprinting Defenses

IEEE Transactions on Information Forensics and Security, v. 19, October 2023 , article number 10295524, p. 1357-1371
Gong, Jiajun; Zhang, Wuqi; Zhang, Chuan; Wang, Tao
Article

DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems

Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, November 2023, article number 10298354, p. 914-925
Tang, Wensheng; Wang, Chengpeng; Yao, Peisen; Wu, Rongxin; Fu, Xianjin; Fan, Gang; Zhang, Chuan
Conference paper

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

Proceedings of the 2023 USENIX Annual Technical Conference, ATC 2023, July 2023, p. 345-358
Hao, Zongyin; Huang, Quanfeng; Wang, Chengpeng; Wang, Jianfeng; Zhang, Yushan; Wu, Rongxin; Zhang, Chuan
Conference paper

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs

32nd USENIX Security Symposium, USENIX Security 2023, v. 5, August 2023, p. 3727-3744
Cai, Yuandao; Yao, Peisen; Ye, Chengfeng; Zhang, Chuan
Conference paper

Synthesizing Conjunctive Queries for Code Search

Leibniz International Proceedings in Informatics, LIPIcs, v. 263, July 2023, article number 36
Wang, Chengpeng; Yao, Peisen; Tang, Wensheng; Fan, Gang; Zhang, Chuan
Conference paper

Verifying Data Constraint Equivalence in FinTech Systems

Proceedings - International Conference on Software Engineering, May 2023, article number 10172850, p. 1329-1341
Wang, Chengpeng; Fan, Gang; Yao, Peisen; Pan, Fuxiong; Zhang, Chuan
Conference paper

2022 7

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

Accelerating Build Dependency Error Detection via Virtual Build

ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, October 2022, article number 5, p. 1-12
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

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, NY, USA : Association for Computing Machinery, 2022, p. 784-796
Cai, Yuandao; Ye, Chengfeng; Shi, Qingkai; Zhang, Chuan
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 5

ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation

ACM Transactions on Software Engineering and Methodology, v. 33, (4), May 2024, article number 96
Zhou, Anshunkang; Hu, Yikun; Xu, Xiangzhe; Zhang, Chuan

Balance Seed Scheduling via Monte Carlo Planning

IEEE Transactions on Dependable and Secure Computing, v. 21, (3), June 2024, article number 10149344, p. 1469-1483
Huang, Heqing; Chiu, Hung Chun; Shi, Qingkai; Yao, Peisen; Zhang, Chuan

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis

Proceedings of the ACM on Programming Languages, v. 8, June 2024, article number 170, p. 1-26
Yao, Peisen; Zhou, Jinguo; Xiao, Xiao; Shi, Qingkai; Wu, Rongxin; Zhang, Chuan

Mole: Efficient Crash Reproduction in Android Applications with Enforcing Necessary UI Events

IEEE Transactions on Software Engineering, v. 50, (8), August 2024, article number 10599338, p. 2200-2218
Masoudian Targhi, Maryam Alsadat; Huang, Heqing; Amini, Morteza; Zhang, Chuan

Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions

ACM Transactions on Software Engineering and Methodology, v. 33, (3), March 2024, article number 66
Tang, Wensheng; Dong, Dejun; Li, Shijie; Wang, Chengpeng; Yao, Peisen; Zhou, Jinguo; Zhang, Charles

Conference paper 7

GIANTSAN: Efficient Memory Sanitization with Segment Folding

ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, v. 2, April 2024, p. 433-449
Ling, Hao; Huang, Heqing; Wang, Chengpeng; Cai, Yuandao; Zhang, Chuan

LIBALCHEMY: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems

ICSE '24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, v. 105, April 2024, p. 1285-1297
Wu, Rongxin; He, Yuxuan; Huang, Jiafeng; Wang, Chengpeng; Tang, Wensheng; Shi, Qingkai; Xiao, Xiao; Zhang, Chuan

Plankton: Reconciling Binary Code and Debug Information

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, v. 2, April 2024, p. 912-928
Zhou, Anshunkang; Ye, Chengfeng; Huang, Heqing; Cai, Yuandao; Zhang, Chuan

Precise Compositional Buffer Overflow Detection via Heap Disjointness

3rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024 / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2024, p. 63-75
Guo, Yiyuan; Yao, Peisen; Zhang, Chuan

SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis

ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, v. 3, April 2024, p. 882-899
Zhang, Bowen; Chen, Wei; Yao, Peisen; Wang, Chengpeng; Tang, Wensheng; Zhang, Charles

Titan : Efficient Multi-target Directed Greybox Fuzzing

Huang, Heqing; Yao, Peisen; Chiu, Hung-chun; Guo, Yiyuan; Zhang, Chuan

Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information

Cai, Yuandao; Jin, Yibo; Zhang, Chuan

Article 3

A Cocktail Approach to Practical Call Graph Construction

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA2), October 2023, article number 257, p. 1001-1033
Cai, Yuandao; Zhang, Chuan

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

WFDefProxy: Real World Implementation and Evaluation of Website Fingerprinting Defenses

IEEE Transactions on Information Forensics and Security, v. 19, October 2023 , article number 10295524, p. 1357-1371
Gong, Jiajun; Zhang, Wuqi; Zhang, Chuan; Wang, Tao

Conference paper 5

DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems

Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, November 2023, article number 10298354, p. 914-925
Tang, Wensheng; Wang, Chengpeng; Yao, Peisen; Wu, Rongxin; Fu, Xianjin; Fan, Gang; Zhang, Chuan

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

Proceedings of the 2023 USENIX Annual Technical Conference, ATC 2023, July 2023, p. 345-358
Hao, Zongyin; Huang, Quanfeng; Wang, Chengpeng; Wang, Jianfeng; Zhang, Yushan; Wu, Rongxin; Zhang, Chuan

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs

32nd USENIX Security Symposium, USENIX Security 2023, v. 5, August 2023, p. 3727-3744
Cai, Yuandao; Yao, Peisen; Ye, Chengfeng; Zhang, Chuan

Synthesizing Conjunctive Queries for Code Search

Leibniz International Proceedings in Informatics, LIPIcs, v. 263, July 2023, article number 36
Wang, Chengpeng; Yao, Peisen; Tang, Wensheng; Fan, Gang; Zhang, Chuan

Verifying Data Constraint Equivalence in FinTech Systems

Proceedings - International Conference on Software Engineering, May 2023, article number 10172850, p. 1329-1341
Wang, Chengpeng; Fan, Gang; Yao, Peisen; Pan, Fuxiong; Zhang, Chuan

Article 1

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

Conference paper 6

Accelerating Build Dependency Error Detection via Virtual Build

ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, October 2022, article number 5, p. 1-12
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

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, NY, USA : Association for Computing Machinery, 2022, p. 784-796
Cai, Yuandao; Ye, Chengfeng; Shi, Qingkai; Zhang, Chuan

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

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

Teaching Assignment

COMP2011	Programming with C++
COMP4981	Final Year Project

COMP3021	Java Programming
RMBI4980	Risk Management and Business Intelligence Capstone Project I
RMBI4990	Risk Management and Business Intelligence Capstone Project II

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

COMP6921C

Research Project: Concurrency Study

No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Doctor of Philosophy

CHEN, Xiang
Computer Science and Engineering
FU, Shuhao
Computer Science and Engineering
GAO, Yuanchen
Computer Science and Engineering
HUDEC, Pavel
Computer Science and Engineering
KOCHEKOV, Kerim (co-supervision)
Computer Science and Engineering
LI, Pingjiang
Computer Science and Engineering
SUN, Chenyang
Computer Science and Engineering
ZHANG, Qi
Computer Science and Engineering
CHEN, Wei
Computer Science and Engineering
PENG, Sixiang
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
MASOUDIAN TARGHI, Maryam Alsadat
Computer Science and Engineering
ZHOU, Anshunkang
Computer Science and Engineering
GUO, Yiyuan
Computer Science and Engineering
WANG, Yongchao
Computer Science and Engineering

Master of Philosophy

DU, Bangyan
Computer Science and Engineering

Graduated RPGs

Doctor of Philosophy

TANG, Wensheng
Computer Science and Engineering( Completed in 2024 )
CAI, Yuandao
Computer Science and Engineering( Completed in 2023 )
GONG, Jiajun
Computer Science and Engineering( Completed in 2023 )
WANG, Chengpeng
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 )

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 )

Projects

From January 2022 to December 2024

No Projects.
Performance impact analysis and optimization for massive online micro-services Leading

WeChat International Pte. Ltd.
Project Team (HKUST)
ZHANG Charles Chuan (Lead)
2024 -
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 - 2024
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
The research and development of MID technology

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

TCL Corporation
Project Team (HKUST)
ZHANG Charles Chuan (Lead)
2012 -

Research Interest

Publications

2024 12

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 5

Conference paper 7

Article 3

Conference paper 5

Article 1

Conference paper 6

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

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

Teaching Assignment

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Graduated RPGs

Projects

From January 2022 to December 2024

Your browser is out of date!