Quantifying aspects in middleware platforms. - Charles Zhang 001; Hans-Arno Jacobsen (AOSD, 2003)

Re-factoring Middleware Systems: A Case Study. - Charles Zhang 001; Hans-Arno Jacobsen (OTM, 2003)

Refactoring Middleware with Aspects. - Charles Zhang 001; Hans-Arno Jacobsen (IEEE Trans. Parallel Distributed Syst., 2003)

PRISM is research in aSpect mining. - Charles Zhang 001; Hans-Arno Jacobsen (OOPSLA Companion, 2004)

Resolving feature convolution in middleware systems. - Charles Zhang 001; Hans-Arno Jacobsen (OOPSLA, 2004)

Towards just-in-time middleware architectures. - Charles Zhang 001; Dapeng Gao; Hans-Arno Jacobsen (AOSD, 2005)

Generic Middleware Substrate Through Modelware. - Charles Zhang 001; Dapeng Gao; Hans-Arno Jacobsen (Middleware, 2005)

Efficiently mining crosscutting concerns through random walks. - Charles Zhang 001; Hans-Arno Jacobsen (AOSD, 2007)

Externalizing Java Server Concurrency with CAL. - Charles Zhang 001; Hans-Arno Jacobsen (ECOOP, 2008)

FlexSync: An aspect-oriented approach to Java synchronization. - Charles Zhang 001 (ICSE, 2009)

QSynth: A Tool for QoS-aware Automatic Service Composition. - Wei Jiang 028; Charles Zhang 001; Zhenqiu Huang; Mingwen Chen; Songlin Hu 001; Zhiyong Liu 002 (ICWS, 2010)

G-Finder: routing programming questions closer to the experts. - Wei Li; Charles Zhang 001; Songlin Hu 001 (OOPSLA, 2010)

LEAP: lightweight deterministic multi-processor replay of concurrent java programs. - Jeff Huang 001; Peng Liu 010; Charles Zhang 001 (SIGSOFT FSE, 2010)

Tracking data structures for postmortem analysis. - Xiao Xiao 003; Jinguo Zhou; Charles Zhang 001 (ICSE, 2011)

Persuasive prediction of concurrency access anomalies. - Jeff Huang 001; Charles Zhang 001 (ISSTA, 2011)

Geometric encoding: forging the high performance context sensitive points-to analysis for Java. - Xiao Xiao 003; Charles Zhang 001 (ISSTA, 2011)

An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. - Jeff Huang 001; Charles Zhang 001 (SAS, 2011)

Axis: Automatically fixing atomicity violations through solving control constraints. - Peng Liu 010; Charles Zhang 001 (ICSE, 2012)

Stride: Search-based deterministic replay in polynomial time via bounded linkage. - Jinguo Zhou; Xiao Xiao 003; Charles Zhang 001 (ICSE, 2012)

LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. - Jeff Huang 001; Charles Zhang 001 (OOPSLA, 2012)

Execution privatization for scheduler-oblivious concurrent programs. - Jeff Huang 001; Charles Zhang 001 (OOPSLA, 2012)

Pert: The Application-Aware Tailoring of Java Object Persistence. - Peng Liu 010; Charles Zhang 001 (IEEE Trans. Software Eng., 2012)

Mining Crosscutting Concerns through Random Walks. - Charles Zhang 001; Hans-Arno Jacobsen (IEEE Trans. Software Eng., 2012)

CLAP: recording local executions to reproduce concurrency failures. - Jeff Huang 001; Charles Zhang 001; Julian Dolby (PLDI, 2013)

Finding incorrect compositions of atomicity. - Peng Liu 010; Julian Dolby; Charles Zhang 001 (ESEC/SIGSOFT FSE, 2013)

Scaling predictive analysis of concurrent programs by removing trace redundancy. - Jeff Huang 001; Jinguo Zhou; Charles Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2013)

Unleashing concurrency for irregular data structures. - Peng Liu 010; Charles Zhang 001 (ICSE, 2014)

Efficient subcubic alias analysis for C. - Qirun Zhang; Xiao Xiao 003; Charles Zhang 001; Hao Yuan; Zhendong Su 001 (OOPSLA, 2014)

Persistent pointer information. - Xiao Xiao 003; Qirun Zhang; Jinguo Zhou; Charles Zhang 001 (PLDI, 2014)

Grail: context-aware fixing of concurrency bugs. - Peng Liu 010; Omer Tripp; Charles Zhang 001 (SIGSOFT FSE, 2014)

Uncovering JavaScript Performance Code Smells Relevant to Type Mutations. - Xiao Xiao 003; Shi Han; Charles Zhang 001; Dongmei Zhang 001 (APLAS, 2015)

RECONTEST: Effective Regression Testing of Concurrent Programs. - Valerio Terragni; Shing-Chi Cheung; Charles Zhang 001 (ICSE (1), 2015)

Casper: an efficient approach to call trace collection. - Rongxin Wu; Xiao Xiao 003; Shing-Chi Cheung; Hongyu Zhang 002; Charles Zhang 001 (POPL, 2016)

Debugging Concurrent Software: Advances and Challenges. - Jeff Huang 001; Charles Zhang 001 (J. Comput. Sci. Technol., 2016)

Pinpoint: fast and precise sparse value flow analysis for million lines of code. - Qingkai Shi; Xiao Xiao 003; Rongxin Wu; Jinguo Zhou; Gang Fan; Charles Zhang 001 (PLDI, 2018)

Smoke: scalable path-sensitive memory leak detection for millions of lines of code. - Gang Fan; Rongxin Wu; Qingkai Shi; Xiao Xiao 003; Jinguo Zhou; Charles Zhang 001 (ICSE, 2019)

Conquering the extensional scalability problem for value-flow analysis frameworks. - Qingkai Shi; Rongxin Wu; Gang Fan; Charles Zhang 001 (ICSE, 2020)

Pipelining bottom-up data flow analysis. - Qingkai Shi; Charles Zhang 001 (ICSE, 2020)

Escaping dependency hell: finding build dependency errors with the unified dependency graph. - Gang Fan; Chengpeng Wang 001; Rongxin Wu; Xiao Xiao 003; Qingkai Shi; Charles Zhang 001 (ISSTA, 2020)

Fast bit-vector satisfiability. - Peisen Yao; Qingkai Shi; Heqing Huang 002; Charles Zhang 001 (ISSTA, 2020)

Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. - Heqing Huang 002; Peisen Yao; Rongxin Wu; Qingkai Shi; Charles Zhang 001 (SP, 2020)

Fuzzing SMT solvers via two-dimensional input space exploration. - Peisen Yao; Heqing Huang 002; Wensheng Tang; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (ISSTA, 2021)

Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems. - Wensheng Tang; Yikun Hu; Gang Fan; Peisen Yao; Rongxin Wu; Guangyuan Bai; Pengcheng Wang; Charles Zhang 001 (ASE, 2021)

Canary: practical static detection of inter-thread value-flow bugs. - Yuandao Cai; Peisen Yao; Charles Zhang 001 (PLDI, 2021)

Path-sensitive sparse analysis without path conditions. - Qingkai Shi; Peisen Yao; Rongxin Wu; Charles Zhang 001 (PLDI, 2021)

Skeletal approximation enumeration for SMT solver testing. - Peisen Yao; Heqing Huang 002; Wensheng Tang; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (ESEC/SIGSOFT FSE, 2021)

Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection. - Yushan Zhang; Peisen Yao; Rongxin Wu; Charles Zhang 001 (CoRR, 2021)

Indexing Context-Sensitive Reachability. - Qingkai Shi; Yongchao Wang; Charles Zhang 001 (CoRR, 2021)

Efficient Path-Sensitive Data-Dependence Analysis. - Peisen Yao; Jinguo Zhou; Xiao Xiao 003; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (CoRR, 2021)

WFDefProxy: Modularly Implementing and Empirically Evaluating Website Fingerprinting Defenses. - Jiajun Gong; Wuqi Zhang; Charles Zhang 001; Tao Wang 012 (CoRR, 2021)

Program analysis via efficient symbolic abstraction. - Peisen Yao; Qingkai Shi; Heqing Huang 002; Charles Zhang 001 (Proc. ACM Program. Lang., 2021)

Precise Divide-By-Zero Detection with Affirmative Evidence. - Yiyuan Guo; Jinguo Zhou; Peisen Yao; Qingkai Shi; Charles Zhang 001 (ICSE, 2022)

Accelerating Build Dependency Error Detection via Virtual Build. - Rongxin Wu; Minglei Chen; Chengpeng Wang 001; Gang Fan; Jiguang Qiu; Charles Zhang 001 (ASE, 2022)

Peahen: fast and precise static deadlock detection via context reduction. - Yuandao Cai; Chengfeng Ye; Qingkai Shi; Charles Zhang 001 (ESEC/SIGSOFT FSE, 2022)

Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense. - Jiajun Gong; Wuqi Zhang; Charles Zhang 001; Tao Wang 012 (SP, 2022)

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. - Heqing Huang 002; Yiyuan Guo; Qingkai Shi; Peisen Yao; Rongxin Wu; Charles Zhang 001 (SP, 2022)

Indexing the extended Dyck-CFL reachability for context-sensitive program analysis. - Qingkai Shi; Yongchao Wang; Peisen Yao; Charles Zhang 001 (Proc. ACM Program. Lang., 2022)

Complexity-guided container replacement synthesis. - Chengpeng Wang 001; Peisen Yao; Wensheng Tang; Qingkai Shi; Charles Zhang 001 (Proc. ACM Program. Lang., 2022)

Synthesizing Conjunctive Queries for Code Search. - Chengpeng Wang 001; Peisen Yao; Wensheng Tang; Gang Fan; Charles Zhang 001 (ECOOP, 2023)

Verifying Data Constraint Equivalence in FinTech Systems. - Chengpeng Wang 001; Gang Fan; Peisen Yao; Fuxiong Pan; Charles Zhang 001 (ICSE, 2023)

DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. - Wensheng Tang; Chengpeng Wang 001; Peisen Yao; Rongxin Wu; Xianjin Fu; Gang Fan; Charles Zhang 001 (ASE, 2023)

Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. - Zongyin Hao; Quanfeng Huang; Chengpeng Wang 001; Jianfeng Wang; Yushan Zhang; Rongxin Wu; Charles Zhang 001 (USENIX ATC, 2023)

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs. - Yuandao Cai; Peisen Yao; Chengfeng Ye; Charles Zhang 001 (USENIX Security Symposium, 2023)

Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation. - Chengpeng Wang 001; Wenyang Wang; Peisen Yao; Qingkai Shi; Jinguo Zhou; Xiao Xiao 003; Charles Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2023)

A Cocktail Approach to Practical Call Graph Construction. - Yuandao Cai; Charles Zhang 001 (Proc. ACM Program. Lang., 2023)

GIANTSAN: Efficient Memory Sanitization with Segment Folding. - Hao Ling; Heqing Huang 002; Chengpeng Wang 001; Yuandao Cai; Charles Zhang 001 (ASPLOS (2), 2024)

Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries. - Chengfeng Ye; Yuandao Cai; Anshunkang Zhou; Heqing Huang 002; Hao Ling; Charles Zhang 001 (ASPLOS (4), 2024)

SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis. - Bowen Zhang; Wei Chen; Peisen Yao; Chengpeng Wang 001; Wensheng Tang; Charles Zhang 001 (ASPLOS (3), 2024)

Plankton: Reconciling Binary Code and Debug Information. - Anshunkang Zhou; Chengfeng Ye; Heqing Huang 002; Yuandao Cai; Charles Zhang 001 (ASPLOS (2), 2024)

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 001; Wensheng Tang; Qingkai Shi; Xiao Xiao 003; Charles Zhang 001 (ICSE, 2024)

Precise Compositional Buffer Overflow Detection via Heap Disjointness. - Yiyuan Guo; Peisen Yao; Charles Zhang 001 (ISSTA, 2024)

Titan : Efficient Multi-target Directed Greybox Fuzzing. - Heqing Huang 002; Peisen Yao; Hung-Chun Chiu; Yiyuan Guo; Charles Zhang 001 (SP, 2024)

Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference. - Heqing Huang 002; Anshunkang Zhou; Mathias Payer; Charles Zhang 001 (SP, 2024)

Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information. - Yuandao Cai; Yibo Jin 004; Charles Zhang 001 (USENIX Security Symposium, 2024)

When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux. - Chengfeng Ye; Yuandao Cai; Charles Zhang 001 (USENIX Security Symposium, 2024)

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis. - Peisen Yao; Jinguo Zhou; Xiao Xiao 003; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (Proc. ACM Program. Lang., 2024)

DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization. - Chengpeng Wang 001; Jipeng Zhang; Rongxin Wu; Charles Zhang 001 (Proc. ACM Softw. Eng., 2024)

Balance Seed Scheduling via Monte Carlo Planning. - Heqing Huang 002; Hung-Chun Chiu; Qingkai Shi; Peisen Yao; Charles Zhang 001 (IEEE Trans. Dependable Secur. Comput., 2024)

WFDefProxy: Real World Implementation and Evaluation of Website Fingerprinting Defenses. - Jiajun Gong; Wuqi Zhang; Charles Zhang 001; Tao Wang 012 (IEEE Trans. Inf. Forensics Secur., 2024)

Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions. - Wensheng Tang; Dejun Dong; Shijie Li; Chengpeng Wang 001; Peisen Yao; Jinguo Zhou; Charles Chuan Zhang (ACM Trans. Softw. Eng. Methodol., 2024)

ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation. - Anshunkang Zhou; Yikun Hu; Xiangzhe Xu; Charles Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events. - Maryam Masoudian; Heqing Huang 002; Morteza Amini; Charles Zhang 001 (IEEE Trans. Software Eng., 2024)

Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches. - Wei Chen; Bowen Zhang; Chengpeng Wang 001; Wensheng Tang; Charles Zhang 001 (EuroSys, 2025)

Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries. - Yongchao Wang; Yuandao Cai; Charles Zhang 001 (ICSE, 2025)

KRAKEN: Program-Adaptive Parallel Fuzzing. - Anshunkang Zhou; Heqing Huang 002; Charles Zhang 001 (Proc. ACM Softw. Eng., 2025)