Charles Zhang

1.8k total citations
75 papers, 1.2k citations indexed

About

Charles Zhang is a scholar working on Software, Computer Networks and Communications and Hardware and Architecture. According to data from OpenAlex, Charles Zhang has authored 75 papers receiving a total of 1.2k indexed citations (citations by other indexed papers that have themselves been cited), including 40 papers in Software, 34 papers in Computer Networks and Communications and 31 papers in Hardware and Architecture. Recurrent topics in Charles Zhang's work include Software Testing and Debugging Techniques (38 papers), Parallel Computing and Optimization Techniques (27 papers) and Advanced Malware Detection Techniques (22 papers). Charles Zhang is often cited by papers focused on Software Testing and Debugging Techniques (38 papers), Parallel Computing and Optimization Techniques (27 papers) and Advanced Malware Detection Techniques (22 papers). Charles Zhang collaborates with scholars based in Hong Kong, China and United States. Charles Zhang's co-authors include Jeff Huang, Peng Liu, Qingkai Shi, Rongxin Wu, Hans‐Arno Jacobsen, Xiao Xiao, Julian Dolby, Heqing Huang, Peng Liu and Songlin Hu and has published in prestigious journals such as IEEE Transactions on Software Engineering, Proceedings of the VLDB Endowment and ACM Transactions on Computer Systems.

In The Last Decade

Charles Zhang

70 papers receiving 1.2k citations

Peers

Charles Zhang

SOFTW

CNC

Cristian Zamfir Switzerland

Jeff Huang United States

Glenn Ammons United States

Vijay Sundaresan Canada

Eitan Farchi Israel

Gilles Muller France

Zijiang Yang United States

Fan Long Canada

Veselin Raychev Switzerland

Julia Lawall France

Cristian Zamfir Switzerland

Charles Zhang

615 ×0.9

SOFTW

598 ×1.1

606 ×1.1

CNC

377 ×0.9

273 ×0.7

Citations per year, relative to Charles Zhang Charles Zhang (= 1×) peers Cristian Zamfir

Countries citing papers authored by Charles Zhang

Since Specialization

Citations

This map shows the geographic impact of Charles Zhang's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Charles Zhang with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Charles Zhang more than expected).

Fields of papers citing papers by Charles Zhang

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Charles Zhang. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Charles Zhang. The network helps show where Charles Zhang may publish in the future.

Co-authorship network of co-authors of Charles Zhang

This figure shows the co-authorship network connecting the top 25 collaborators of Charles Zhang. A scholar is included among the top collaborators of Charles Zhang based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Charles Zhang. Charles Zhang is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Zhang, Charles, et al.. (2025). Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches. Rare & Special e-Zone (The Hong Kong University of Science and Technology). 1246–1262.

Wu, Rongxin, et al.. (2024). LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems. Rare & Special e-Zone (The Hong Kong University of Science and Technology). 1–13. 2 indexed citations

Zhang, Charles, et al.. (2024). ARCTURUS : Full Coverage Binary Similarity Analysis with Reachability-guided Emulation. ACM Transactions on Software Engineering and Methodology. 33(4). 1–31. 1 indexed citations

Zhang, Jipeng, et al.. (2024). DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization. Proceedings of the ACM on software engineering.. 1(FSE). 2469–2492. 2 indexed citations

Wang, Tianyang, Ming Liu, Xinyuan Song, et al.. (2024). From Bench to Bedside: A Review of Clinical Trials in Drug Discovery and Development. arXiv (Cornell University).

Zhang, Charles, et al.. (2024). Precise Compositional Buffer Overflow Detection via Heap Disjointness. Rare & Special e-Zone (The Hong Kong University of Science and Technology). 63–75. 1 indexed citations

Wu, Rongxin, et al.. (2023). DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. Rare & Special e-Zone (The Hong Kong University of Science and Technology). 914–925.

Shi, Qingkai, et al.. (2022). Complexity-guided container replacement synthesis. Proceedings of the ACM on Programming Languages. 6(OOPSLA1). 1–31. 7 indexed citations

Huang, Heqing, et al.. (2021). Skeletal approximation enumeration for SMT solver testing. Rare & Special e-Zone (The Hong Kong University of Science and Technology). 1141–1153. 11 indexed citations

10.

Wu, Rongxin, et al.. (2019). SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code. Rare & Special e-Zone (The Hong Kong University of Science and Technology). 72–82. 51 indexed citations

11.

Shi, Qingkai, et al.. (2018). Pinpoint: fast and precise sparse value flow analysis for million lines of code. Rare & Special e-Zone (The Hong Kong University of Science and Technology). 693–706. 80 indexed citations

12.

Terragni, Valerio, Shing-Chi Cheung, & Charles Zhang. (2015). RECONTEST: effective regression testing of concurrent programs. International Conference on Software Engineering. 1. 246–256. 23 indexed citations

13.

Zhang, Charles. (2015). Mars: A 64-core ARMv8 processor. 18 indexed citations

14.

Zhang, Qirun, Xiao Xiao, Charles Zhang, Hao Yuan, & Zhendong Su. (2014). Efficient subcubic alias analysis for C. ACM SIGPLAN Notices. 49(10). 829–845. 6 indexed citations

15.

Xiao, Xiao, et al.. (2014). Persistent pointer information. ACM SIGPLAN Notices. 49(6). 463–474. 2 indexed citations

16.

Huang, Jeff, Charles Zhang, & Julian Dolby. (2013). CLAP. ACM SIGPLAN Notices. 48(6). 141–152. 17 indexed citations

17.

Liu, Peng & Charles Zhang. (2012). Axis: automatically fixing atomicity violations through solving control constraints. International Conference on Software Engineering. 299–309. 53 indexed citations

18.

Wang, Yin, Peng Liu, Terence Kelly, et al.. (2012). On atomicity enforcement in concurrent software via Discrete Event Systems theory. Rare & Special e-Zone (The Hong Kong University of Science and Technology). 38. 7230–7237. 4 indexed citations

19.

Li, Wei, Charles Zhang, & Songlin Hu. (2010). G-Finder. ACM SIGPLAN Notices. 45(10). 62–73. 3 indexed citations

20.

Zhang, Charles & Hans‐Arno Jacobsen. (2007). Efficiently mining crosscutting concerns through random walks. Rare & Special e-Zone (The Hong Kong University of Science and Technology). 226–238. 17 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact