| 2026 | ASPLOS | Optimizer-Friendly Instrumentation for Event Quantification with PRUE Algorithm. | Hao Ling, Yiyuan Guo, Charles Zhang |
| 2026 | NDSS | Enhancing Semantic-Aware Binary Diffing with High-Confidence Dynamic Instruction Alignment. | Chengfeng Ye, Anshunkang Zhou, Charles Zhang |
| 2025 | EuroSys | Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches. | Wei Chen, Bowen Zhang, Chengpeng Wang, Wensheng Tang, Charles Zhang |
| 2025 | ICSE | Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries. | Yongchao Wang, Yuandao Cai, Charles Zhang |
| 2024 | ASPLOS | GIANTSAN: Efficient Memory Sanitization with Segment Folding. | Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang |
| 2024 | ASPLOS | Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries. | Chengfeng Ye, Yuandao Cai, Anshunkang Zhou, Heqing Huang, Hao Ling, Charles Zhang |
| 2024 | ASPLOS | SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis. | Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang |
| 2024 | ASPLOS | Plankton: Reconciling Binary Code and Debug Information. | Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang |
| 2024 | ICSE | LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems. | Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang |
| 2024 | ISSTA | Precise Compositional Buffer Overflow Detection via Heap Disjointness. | Yiyuan Guo, Peisen Yao, Charles Zhang |
| 2024 | NAACL | Diverse Perspectives, Divergent Models: Cross-Cultural Evaluation of Depression Detection on Twitter. | Nuredin Ali Abdelkadir, Charles Zhang, Ned Mayo, Stevie Chancellor |
| 2024 | SP | Titan : Efficient Multi-target Directed Greybox Fuzzing. | Heqing Huang, Peisen Yao, Hung-Chun Chiu, Yiyuan Guo, Charles Zhang |
| 2024 | SP | Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference. | Heqing Huang, Anshunkang Zhou, Mathias Payer, Charles Zhang |
| 2023 | ECOOP | Synthesizing Conjunctive Queries for Code Search. | Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang |
| 2023 | ICSE | Verifying Data Constraint Equivalence in FinTech Systems. | Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang |
| 2023 | USENIX | Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. | Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, Charles Zhang |
| 2022 | ICSE | Precise Divide-By-Zero Detection with Affirmative Evidence. | Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang |
| 2022 | SP | Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense. | Jiajun Gong, Wuqi Zhang, Charles Zhang, Tao Wang |
| 2022 | SP | BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. | Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang |
| 2021 | ISSTA | Fuzzing SMT solvers via two-dimensional input space exploration. | Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang |
| 2021 | PLDI | Canary: practical static detection of inter-thread value-flow bugs. | Yuandao Cai, Peisen Yao, Charles Zhang |
| 2021 | PLDI | Path-sensitive sparse analysis without path conditions. | Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang |
| 2020 | ICSE | Conquering the extensional scalability problem for value-flow analysis frameworks. | Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang |
| 2020 | ICSE | Pipelining bottom-up data flow analysis. | Qingkai Shi, Charles Zhang |
| 2020 | ISSTA | Escaping dependency hell: finding build dependency errors with the unified dependency graph. | Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang |
| 2020 | ISSTA | Fast bit-vector satisfiability. | Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang |
| 2020 | SP | Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. | Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang |
| 2019 | ICSE | Smoke: scalable path-sensitive memory leak detection for millions of lines of code. | Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, Charles Zhang |
| 2018 | PLDI | Pinpoint: fast and precise sparse value flow analysis for million lines of code. | Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang |
| 2016 | POPL | Casper: an efficient approach to call trace collection. | Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, Charles Zhang |
| 2015 | APLAS | Uncovering JavaScript Performance Code Smells Relevant to Type Mutations. | Xiao Xiao, Shi Han, Charles Zhang, Dongmei Zhang |
| 2015 | ICSE | RECONTEST: Effective Regression Testing of Concurrent Programs. | Valerio Terragni, Shing-Chi Cheung, Charles Zhang |
| 2014 | ICSE | Unleashing concurrency for irregular data structures. | Peng Liu, Charles Zhang |
| 2014 | OOPSLA | Efficient subcubic alias analysis for C. | Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su |
| 2014 | PLDI | Persistent pointer information. | Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang |
| 2013 | PLDI | CLAP: recording local executions to reproduce concurrency failures. | Jeff Huang, Charles Zhang, Julian Dolby |
| 2012 | ICSE | Axis: Automatically fixing atomicity violations through solving control constraints. | Peng Liu, Charles Zhang |
| 2012 | ICSE | Stride: Search-based deterministic replay in polynomial time via bounded linkage. | Jinguo Zhou, Xiao Xiao, Charles Zhang |
| 2012 | OOPSLA | LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. | Jeff Huang, Charles Zhang |
| 2012 | OOPSLA | Execution privatization for scheduler-oblivious concurrent programs. | Jeff Huang, Charles Zhang |
| 2011 | ICSE | Tracking data structures for postmortem analysis. | Xiao Xiao, Jinguo Zhou, Charles Zhang |
| 2011 | ISSTA | Persuasive prediction of concurrency access anomalies. | Jeff Huang, Charles Zhang |
| 2011 | ISSTA | Geometric encoding: forging the high performance context sensitive points-to analysis for Java. | Xiao Xiao, Charles Zhang |
| 2011 | SAS | An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. | Jeff Huang, Charles Zhang |
| 2010 | ICWS | QSynth: A Tool for QoS-aware Automatic Service Composition. | Wei Jiang, Charles Zhang, Zhenqiu Huang, Mingwen Chen, Songlin Hu, Zhiyong Liu |
| 2010 | OOPSLA | G-Finder: routing programming questions closer to the experts. | Wei Li, Charles Zhang, Songlin Hu |
| 2009 | ICSE | FlexSync: An aspect-oriented approach to Java synchronization. | Charles Zhang |
| 2008 | ECOOP | Externalizing Java Server Concurrency with CAL. | Charles Zhang, Hans-Arno Jacobsen |
| 2005 | Middleware | Generic Middleware Substrate Through Modelware. | Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen |
| 2004 | OOPSLA | PRISM is research in aSpect mining. | Charles Zhang, Hans-Arno Jacobsen |
| 2004 | OOPSLA | Resolving feature convolution in middleware systems. | Charles Zhang, Hans-Arno Jacobsen |
| 2003 | CoopIS | Re-factoring Middleware Systems: A Case Study. | Charles Zhang, Hans-Arno Jacobsen |