Charles Zhang

According to our database, Charles Zhang authored at least 51 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, Charles Chuan Zhang

ACM Trans. Softw. Eng. Methodol., March, 2024

WFDefProxy: Real World Implementation and Evaluation of Website Fingerprinting Defenses.

Jiajun Gong, Wuqi Zhang, Charles Zhang, Tao Wang

IEEE Trans. Inf. Forensics Secur., 2024

2023

A Cocktail Approach to Practical Call Graph Construction.

Yuandao Cai, Charles Zhang

Proc. ACM Program. Lang., October, 2023

Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation.

Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang

ACM Trans. Softw. Eng. Methodol., May, 2023

DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems.

Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Verifying Data Constraint Equivalence in FinTech Systems.

Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Complexity-guided container replacement synthesis.

Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang

Proc. ACM Program. Lang., 2022

Indexing the extended Dyck-CFL reachability for context-sensitive program analysis.

Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang

Proc. ACM Program. Lang., 2022

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning.

Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense.

Jiajun Gong, Wuqi Zhang, Charles Zhang, Tao Wang

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Peahen: fast and precise static deadlock detection via context reduction.

Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Accelerating Build Dependency Error Detection via Virtual Build.

Rongxin Wu, Minglei Chen, Chengpeng Wang, Gang Fan, Jiguang Qiu, Charles Zhang

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Precise Divide-By-Zero Detection with Affirmative Evidence.

Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Program analysis via efficient symbolic abstraction.

Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang

Proc. ACM Program. Lang., 2021

Efficient Path-Sensitive Data-Dependence Analysis.

Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang

CoRR, 2021

Skeletal approximation enumeration for SMT solver testing.

Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Path-sensitive sparse analysis without path conditions.

Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Canary: practical static detection of inter-thread value-flow bugs.

Yuandao Cai, Peisen Yao, Charles Zhang

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 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

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Fuzzing SMT solvers via two-dimensional input space exploration.

Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction.

Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Fast bit-vector satisfiability.

Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Escaping dependency hell: finding build dependency errors with the unified dependency graph.

Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Pipelining bottom-up data flow analysis.

Qingkai Shi, Charles Zhang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Conquering the extensional scalability problem for value-flow analysis frameworks.

Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

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

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

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

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016

Debugging Concurrent Software: Advances and Challenges.

Jeff Huang, Charles Zhang

J. Comput. Sci. Technol., 2016

Casper: an efficient approach to call trace collection.

Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, Charles Zhang

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Uncovering JavaScript Performance Code Smells Relevant to Type Mutations.

Xiao Xiao, Shi Han, Charles Zhang, Dongmei Zhang

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Grail: context-aware fixing of concurrency bugs.

Peng Liu, Omer Tripp, Charles Zhang

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Persistent pointer information.

Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Efficient subcubic alias analysis for C.

Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Unleashing concurrency for irregular data structures.

Peng Liu, Charles Zhang

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Scaling predictive analysis of concurrent programs by removing trace redundancy.

Jeff Huang, Jinguo Zhou, Charles Zhang

ACM Trans. Softw. Eng. Methodol., 2013

Finding incorrect compositions of atomicity.

Peng Liu, Julian Dolby, Charles Zhang

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

CLAP: recording local executions to reproduce concurrency failures.

Jeff Huang, Charles Zhang, Julian Dolby

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Mining Crosscutting Concerns through Random Walks.

Charles Zhang, Hans-Arno Jacobsen

IEEE Trans. Software Eng., 2012

Pert: The Application-Aware Tailoring of Java Object Persistence.

Peng Liu, Charles Zhang

IEEE Trans. Software Eng., 2012

Execution privatization for scheduler-oblivious concurrent programs.

Jeff Huang, Charles Zhang

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction.

Jeff Huang, Charles Zhang

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Stride: Search-based deterministic replay in polynomial time via bounded linkage.

Jinguo Zhou, Xiao Xiao, Charles Zhang

Proceedings of the 34th International Conference on Software Engineering, 2012

Axis: Automatically fixing atomicity violations through solving control constraints.

Peng Liu, Charles Zhang

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs.

Jeff Huang, Charles Zhang

Proceedings of the Static Analysis - 18th International Symposium, 2011

Geometric encoding: forging the high performance context sensitive points-to analysis for Java.

Xiao Xiao, Charles Zhang

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Persuasive prediction of concurrency access anomalies.

Jeff Huang, Charles Zhang

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Tracking data structures for postmortem analysis.

Xiao Xiao, Jinguo Zhou, Charles Zhang

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

LEAP: lightweight deterministic multi-processor replay of concurrent java programs.

Jeff Huang, Peng Liu, Charles Zhang

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

G-Finder: routing programming questions closer to the experts.

Wei Li, Charles Zhang, Songlin Hu

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

FlexSync: An aspect-oriented approach to Java synchronization.

Charles Zhang

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Externalizing Java Server Concurrency with CAL.

Charles Zhang, Hans-Arno Jacobsen

Proceedings of the ECOOP 2008, 2008