Charles Zhang - RankMe

94 papers A* 29A 16B 2Journal 27Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models. CoRR Maryam Masoudian, Anshunkang Zhou, Chengpeng Wang, Charles Zhang
2026	J	`jnl`	Efficient Fuzzing Infrastructure for Pointer-to-Object Association. ACM Trans. Softw. Eng. Methodol. Hao Ling, Heqing Huang, Yuandao Cai, Charles Zhang
2026	—	`conf`	Optimizer-Friendly Instrumentation for Event Quantification with PRUE Algorithm. ASPLOS (2) Hao Ling, Yiyuan Guo, Charles Zhang
2025	A*	`conf`	Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries. ICSE Yongchao Wang, Yuandao Cai, Charles Zhang
2025	J	`jnl`	Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries. CoRR Yongchao Wang, Yuandao Cai, Charles Zhang
2025	J	`jnl`	KRAKEN: Program-Adaptive Parallel Fuzzing. Proc. ACM Softw. Eng. Anshunkang Zhou, Heqing Huang, Charles Zhang
2025	A	`conf`	Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches. EuroSys Wei Chen, Bowen Zhang, Chengpeng Wang, Wensheng Tang, Charles Zhang
2024	J	`jnl`	ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation. ACM Trans. Softw. Eng. Methodol. Anshunkang Zhou, Yikun Hu, Xiangzhe Xu, Charles Zhang
2024	J	`jnl`	Balance Seed Scheduling via Monte Carlo Planning. IEEE Trans. Dependable Secur. Comput. Heqing Huang, Hung-Chun Chiu, Qingkai Shi, Peisen Yao, Charles Zhang
2024	J	`jnl`	DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization. Proc. ACM Softw. Eng. Chengpeng Wang, Jipeng Zhang, Rongxin Wu, Charles Zhang
2024	A*	`conf`	Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference. SP Heqing Huang, Anshunkang Zhou, Mathias Payer, Charles Zhang
2024	J	`jnl`	Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis. Proc. ACM Program. Lang. Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
2024	—	`conf`	GIANTSAN: Efficient Memory Sanitization with Segment Folding. ASPLOS (2) Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang
2024	A*	`conf`	LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems. ICSE Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang
2024	—	`conf`	Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries. ASPLOS (4) Chengfeng Ye, Yuandao Cai, Anshunkang Zhou, Heqing Huang, Hao Ling, Charles Zhang
2024	J	`jnl`	Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events. IEEE Trans. Software Eng. Maryam Masoudian, Heqing Huang, Morteza Amini, Charles Zhang
2024	—	`conf`	Plankton: Reconciling Binary Code and Debug Information. ASPLOS (2) Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang
2024	A	`conf`	Precise Compositional Buffer Overflow Detection via Heap Disjointness. ISSTA Yiyuan Guo, Peisen Yao, Charles Zhang
2024	—	`conf`	SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis. ASPLOS (3) Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang
2024	A*	`conf`	Titan : Efficient Multi-target Directed Greybox Fuzzing. SP Heqing Huang, Peisen Yao, Hung-Chun Chiu, Yiyuan Guo, Charles Zhang
2024	A*	`conf`	Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information. USENIX Security Symposium Yuandao Cai, Yibo Jin, Charles Zhang
2024	J	`jnl`	WFDefProxy: Real World Implementation and Evaluation of Website Fingerprinting Defenses. IEEE Trans. Inf. Forensics Secur. Jiajun Gong, Wuqi Zhang, Charles Zhang, Tao Wang
2024	A*	`conf`	When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux. USENIX Security Symposium Chengfeng Ye, Yuandao Cai, Charles Zhang
2023	J	`jnl`	A Cocktail Approach to Practical Call Graph Construction. Proc. ACM Program. Lang. Yuandao Cai, Charles Zhang
2023	J	`jnl`	Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation. ACM Trans. Softw. Eng. Methodol. Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang
2023	A*	`conf`	DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. ASE Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang
2023	—	`conf`	Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. USENIX ATC Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, Charles Zhang
2023	A*	`conf`	Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs. USENIX Security Symposium Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang
2023	A	`conf`	Synthesizing Conjunctive Queries for Code Search. ECOOP Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang
2023	J	`jnl`	Synthesizing Conjunctive Queries for Code Search. CoRR Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang
2023	A*	`conf`	Verifying Data Constraint Equivalence in FinTech Systems. ICSE Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang
2023	J	`jnl`	Verifying Data Constraint Equivalence in FinTech Systems. CoRR Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang
2022	A*	`conf`	Accelerating Build Dependency Error Detection via Virtual Build. ASE Rongxin Wu, Minglei Chen, Chengpeng Wang, Gang Fan, Jiguang Qiu, Charles Zhang
2022	A*	`conf`	BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. SP Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
2022	J	`jnl`	Complexity-guided container replacement synthesis. Proc. ACM Program. Lang. Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang
2022	J	`jnl`	Indexing the extended Dyck-CFL reachability for context-sensitive program analysis. Proc. ACM Program. Lang. Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang
2022	—	`conf`	Peahen: fast and precise static deadlock detection via context reduction. ESEC/SIGSOFT FSE Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang
2022	A*	`conf`	Precise Divide-By-Zero Detection with Affirmative Evidence. ICSE Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang
2022	A*	`conf`	Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense. SP Jiajun Gong, Wuqi Zhang, Charles Zhang, Tao Wang
2021	A*	`conf`	Canary: practical static detection of inter-thread value-flow bugs. PLDI Yuandao Cai, Peisen Yao, Charles Zhang
2021	J	`jnl`	Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection. CoRR Yushan Zhang, Peisen Yao, Rongxin Wu, Charles Zhang
2021	J	`jnl`	Efficient Path-Sensitive Data-Dependence Analysis. CoRR Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
2021	A	`conf`	Fuzzing SMT solvers via two-dimensional input space exploration. ISSTA Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
2021	J	`jnl`	Indexing Context-Sensitive Reachability. CoRR Qingkai Shi, Yongchao Wang, Charles Zhang
2021	A*	`conf`	Path-sensitive sparse analysis without path conditions. PLDI Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
2021	J	`jnl`	Program analysis via efficient symbolic abstraction. Proc. ACM Program. Lang. Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
2021	—	`conf`	Skeletal approximation enumeration for SMT solver testing. ESEC/SIGSOFT FSE Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
2021	A*	`conf`	Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems. ASE Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu, Guangyuan Bai, Pengcheng Wang, Charles Zhang
2021	J	`jnl`	WFDefProxy: Modularly Implementing and Empirically Evaluating Website Fingerprinting Defenses. CoRR Jiajun Gong, Wuqi Zhang, Charles Zhang, Tao Wang
2020	A*	`conf`	Conquering the extensional scalability problem for value-flow analysis frameworks. ICSE Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang
2020	A	`conf`	Escaping dependency hell: finding build dependency errors with the unified dependency graph. ISSTA Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang
2020	A	`conf`	Fast bit-vector satisfiability. ISSTA Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
2020	A*	`conf`	Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. SP Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang
2020	A*	`conf`	Pipelining bottom-up data flow analysis. ICSE Qingkai Shi, Charles Zhang
2019	J	`jnl`	Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks. CoRR Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang
2019	A*	`conf`	Smoke: scalable path-sensitive memory leak detection for millions of lines of code. ICSE Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, Charles Zhang
2018	A*	`conf`	Pinpoint: fast and precise sparse value flow analysis for million lines of code. PLDI Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang
2016	A*	`conf`	Casper: an efficient approach to call trace collection. POPL Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, Charles Zhang
2016	J	`jnl`	Debugging Concurrent Software: Advances and Challenges. J. Comput. Sci. Technol. Jeff Huang, Charles Zhang
2016	—	`ed.`	Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016 SOAP@PLDI Charles Zhang, Xavier Rival
2015	—	`conf`	RECONTEST: Effective Regression Testing of Concurrent Programs. ICSE (1) Valerio Terragni, Shing-Chi Cheung, Charles Zhang
2015	B	`conf`	Uncovering JavaScript Performance Code Smells Relevant to Type Mutations. APLAS Xiao Xiao, Shi Han, Charles Zhang, Dongmei Zhang
2014	A	`conf`	Efficient subcubic alias analysis for C. OOPSLA Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su
2014	—	`conf`	Grail: context-aware fixing of concurrency bugs. SIGSOFT FSE Peng Liu, Omer Tripp, Charles Zhang
2014	A*	`conf`	Persistent pointer information. PLDI Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang
2014	—	`ed.`	Proceedings of the 6th Asia-Pacific Symposium on Internetware, Internetware 2014, Hong Kong, China, November 17, 2014 Internetware Hong Mei, Jian Lv, Minghui Zhou, Charles Zhang
2014	A*	`conf`	Unleashing concurrency for irregular data structures. ICSE Peng Liu, Charles Zhang
2013	A*	`conf`	CLAP: recording local executions to reproduce concurrency failures. PLDI Jeff Huang, Charles Zhang, Julian Dolby
2013	—	`conf`	Finding incorrect compositions of atomicity. ESEC/SIGSOFT FSE Peng Liu, Julian Dolby, Charles Zhang
2013	J	`jnl`	Scaling predictive analysis of concurrent programs by removing trace redundancy. ACM Trans. Softw. Eng. Methodol. Jeff Huang, Jinguo Zhou, Charles Zhang
2012	A*	`conf`	Axis: Automatically fixing atomicity violations through solving control constraints. ICSE Peng Liu, Charles Zhang
2012	A	`conf`	Execution privatization for scheduler-oblivious concurrent programs. OOPSLA Jeff Huang, Charles Zhang
2012	A	`conf`	LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. OOPSLA Jeff Huang, Charles Zhang
2012	J	`jnl`	Mining Crosscutting Concerns through Random Walks. IEEE Trans. Software Eng. Charles Zhang, Hans-Arno Jacobsen
2012	J	`jnl`	Pert: The Application-Aware Tailoring of Java Object Persistence. IEEE Trans. Software Eng. Peng Liu, Charles Zhang
2012	A*	`conf`	Stride: Search-based deterministic replay in polynomial time via bounded linkage. ICSE Jinguo Zhou, Xiao Xiao, Charles Zhang
2011	B	`conf`	An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. SAS Jeff Huang, Charles Zhang
2011	A	`conf`	Geometric encoding: forging the high performance context sensitive points-to analysis for Java. ISSTA Xiao Xiao, Charles Zhang
2011	A	`conf`	Persuasive prediction of concurrency access anomalies. ISSTA Jeff Huang, Charles Zhang
2011	A*	`conf`	Tracking data structures for postmortem analysis. ICSE Xiao Xiao, Jinguo Zhou, Charles Zhang
2010	A	`conf`	G-Finder: routing programming questions closer to the experts. OOPSLA Wei Li, Charles Zhang, Songlin Hu
2010	—	`conf`	LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE Jeff Huang, Peng Liu, Charles Zhang
2010	—	`conf`	LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE Jeff Huang, Peng Liu, Charles Zhang
2010	A	`conf`	QSynth: A Tool for QoS-aware Automatic Service Composition. ICWS Wei Jiang, Charles Zhang, Zhenqiu Huang, Mingwen Chen, Songlin Hu, Zhiyong Liu
2009	A*	`conf`	FlexSync: An aspect-oriented approach to Java synchronization. ICSE Charles Zhang
2008	A	`conf`	Externalizing Java Server Concurrency with CAL. ECOOP Charles Zhang, Hans-Arno Jacobsen
2007	—	`conf`	Efficiently mining crosscutting concerns through random walks. AOSD Charles Zhang, Hans-Arno Jacobsen
2005	A	`conf`	Generic Middleware Substrate Through Modelware. Middleware Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen
2005	—	`conf`	Towards just-in-time middleware architectures. AOSD Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen
2004	—	`conf`	PRISM is research in aSpect mining. OOPSLA Companion Charles Zhang, Hans-Arno Jacobsen
2004	A	`conf`	Resolving feature convolution in middleware systems. OOPSLA Charles Zhang, Hans-Arno Jacobsen
2003	—	`conf`	Quantifying aspects in middleware platforms. AOSD Charles Zhang, Hans-Arno Jacobsen
2003	—	`conf`	Re-factoring Middleware Systems: A Case Study. OTM Charles Zhang, Hans-Arno Jacobsen
2003	J	`jnl`	Refactoring Middleware with Aspects. IEEE Trans. Parallel Distributed Syst. Charles Zhang, Hans-Arno Jacobsen