Charles Zhang

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 43

Top Topics

Conjunctive Queries

Dependency Graph

Top Venues

Proc. ACM Program. Lang.

Publications

Bowen Zhang, Wei Chen, Hung-Chun Chiu, Charles Zhang
Unveiling the Power of Intermediate Representations for Static Analysis: A Survey. CoRR (2024)
Jiaxin Song, Hongfei Fu, Charles Zhang
Equational Bit-Vector Solving via Strong Gröbner Bases. CoRR (2024)
Jiming Wang, Yan Kang, Chenggang Wu, Yuhao Hu, Yue Sun, Jikai Ren, Yuanming Lai, Mengyao Xie, Charles Zhang, Tao Li, Zhe Wang
OptFuzz: Optimization Path Guided Fuzzing for JavaScript JIT Compilers. USENIX Security Symposium (2024)
Jiajun Gong, Wuqi Zhang, Charles Zhang, Tao Wang
WFDefProxy: Real World Implementation and Evaluation of Website Fingerprinting Defenses. IEEE Trans. Inf. Forensics Secur. 19 (2024)
Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang
Synthesizing Conjunctive Queries for Code Search. CoRR (2023)
Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, Charles Zhang
Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. USENIX Annual Technical Conference (2023)
Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang
Synthesizing Conjunctive Queries for Code Search. ECOOP (2023)
Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang
Verifying Data Constraint Equivalence in FinTech Systems. CoRR (2023)
Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang
DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. ASE (2023)
Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang
Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs. USENIX Security Symposium (2023)
Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang
Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang
Verifying Data Constraint Equivalence in FinTech Systems. ICSE (2023)
Yuandao Cai, Charles Zhang
A Cocktail Approach to Practical Call Graph Construction. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Longling Geng, Xinzhang Xiong, Zhenyao Liu, Yifan Wei, Ziliang Lan, Mingyuan Hu, Mengxi Guo, Rebecca Xu, Hao Yuan, Zhiyuan Yang, Hanxia Li, Yifan Zhou, Huchong Jin, Chenyi Wang, Liuxuan Jiao, Qiuhang Huang, Fengyang Wang, Katrina Sung, Charles Zhang, Mingyang Sun, Xiaojing Li, Nanbo Zhang, Xuan Liu, Ruiyang Gao, Haihan Wang, Juntao Jiang, Yi Tao, Lifeng Zhang, Shengsheng Cao, Longfei Zhou, Xiaoman Duan, Yajun Fang
Evaluation of Smart Home Systems and Novel UV-Oriented Solution for Integration, Resilience, Inclusiveness & Sustainability. UV (2022)
Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang
Precise Divide-By-Zero Detection with Affirmative Evidence. ICSE (2022)
Jiajun Gong, Wuqi Zhang, Charles Zhang, Tao Wang
Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense. IEEE Symposium on Security and Privacy (2022)
Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. IEEE Symposium on Security and Privacy (2022)
Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang
Indexing the extended Dyck-CFL reachability for context-sensitive program analysis. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang
Peahen: fast and precise static deadlock detection via context reduction. ESEC/SIGSOFT FSE (2022)
Rongxin Wu, Minglei Chen, Chengpeng Wang, Gang Fan, Jiguang Qiu, Charles Zhang
Accelerating Build Dependency Error Detection via Virtual Build. ASE (2022)
Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang
Complexity-guided container replacement synthesis. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Jiajun Gong, Wuqi Zhang, Charles Zhang, Tao Wang
WFDefProxy: Modularly Implementing and Empirically Evaluating Website Fingerprinting Defenses. CoRR (2021)
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
Efficient Path-Sensitive Data-Dependence Analysis. CoRR (2021)
Yuandao Cai, Peisen Yao, Charles Zhang
Canary: practical static detection of inter-thread value-flow bugs. PLDI (2021)
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
Skeletal approximation enumeration for SMT solver testing. ESEC/SIGSOFT FSE (2021)
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
Program analysis via efficient symbolic abstraction. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Yushan Zhang, Peisen Yao, Rongxin Wu, Charles Zhang
Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection. CoRR (2021)
Qingkai Shi, Yongchao Wang, Charles Zhang
Indexing Context-Sensitive Reachability. CoRR (2021)
Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu, Guangyuan Bai, Pengcheng Wang, Charles Zhang
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems. ASE (2021)
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
Fuzzing SMT solvers via two-dimensional input space exploration. ISSTA (2021)
Mohamed Y. Eltabakh, Anantha Subramanian, Awny Alomari, Mohammed Al-Kateb, Sanjay Nair, Mahbub Hasan, Wellington Cabrera, Charles Zhang, Amit Kishore, Snigdha Prasad
Not Black-Box Anymore! Enabling Analytics-Aware Optimizations in Teradata Vantage. Proc. VLDB Endow. 14 (12) (2021)
Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
Path-sensitive sparse analysis without path conditions. PLDI (2021)
Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. IEEE Symposium on Security and Privacy (2020)
Qingkai Shi, Charles Zhang
Pipelining bottom-up data flow analysis. ICSE (2020)
Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang
Conquering the extensional scalability problem for value-flow analysis frameworks. ICSE (2020)
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
Fast bit-vector satisfiability. ISSTA (2020)
Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang
Escaping dependency hell: finding build dependency errors with the unified dependency graph. ISSTA (2020)
Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks. CoRR (2019)
Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, Charles Zhang
Smoke: scalable path-sensitive memory leak detection for millions of lines of code. ICSE (2019)
Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang
Pinpoint: fast and precise sparse value flow analysis for million lines of code. PLDI (2018)
Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, Charles Zhang
Casper: an efficient approach to call trace collection. POPL (2016)
Jeff Huang, Charles Zhang
Debugging Concurrent Software: Advances and Challenges. J. Comput. Sci. Technol. 31 (5) (2016)
Matthew B. Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang
Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 42 (3) (2016)
Charles Zhang
Mars: A 64-core ARMv8 processor. Hot Chips Symposium (2015)
Valerio Terragni, Shing-Chi Cheung, Charles Zhang
RECONTEST: Effective Regression Testing of Concurrent Programs. ICSE (1) (2015)
Xiao Xiao, Shi Han, Charles Zhang, Dongmei Zhang
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations. APLAS (2015)
Peng Liu, Charles Zhang
Unleashing concurrency for irregular data structures. ICSE (2014)
Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang
Persistent pointer information. PLDI (2014)
Peng Liu, Omer Tripp, Charles Zhang
Grail: context-aware fixing of concurrency bugs. SIGSOFT FSE (2014)
Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su
Efficient subcubic alias analysis for C. OOPSLA (2014)
Peng Liu, Julian Dolby, Charles Zhang
Finding incorrect compositions of atomicity. ESEC/SIGSOFT FSE (2013)
Jeff Huang, Charles Zhang, Julian Dolby
CLAP: recording local executions to reproduce concurrency failures. PLDI (2013)
Jeff Huang, Jinguo Zhou, Charles Zhang
Scaling predictive analysis of concurrent programs by removing trace redundancy. ACM Trans. Softw. Eng. Methodol. 22 (1) (2013)
Peng Liu, Charles Zhang
Axis: Automatically fixing atomicity violations through solving control constraints. ICSE (2012)
Jinguo Zhou, Xiao Xiao, Charles Zhang
Stride: Search-based deterministic replay in polynomial time via bounded linkage. ICSE (2012)
Charles Zhang, Hans-Arno Jacobsen
Mining Crosscutting Concerns through Random Walks. IEEE Trans. Software Eng. 38 (5) (2012)
Jeff Huang, Charles Zhang
Execution privatization for scheduler-oblivious concurrent programs. OOPSLA (2012)
Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang
On atomicity enforcement in concurrent software via Discrete Event Systems theory. CDC (2012)
Jeff Huang, Charles Zhang
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. OOPSLA (2012)
Peng Liu, Charles Zhang
Pert: The Application-Aware Tailoring of Java Object Persistence. IEEE Trans. Software Eng. 38 (4) (2012)
Xiao Xiao, Jinguo Zhou, Charles Zhang
Tracking data structures for postmortem analysis. ICSE (2011)
Jeff Huang, Charles Zhang
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. SAS (2011)
Jeff Huang, Charles Zhang
Persuasive prediction of concurrency access anomalies. ISSTA (2011)
Xiao Xiao, Charles Zhang
Geometric encoding: forging the high performance context sensitive points-to analysis for Java. ISSTA (2011)
Wei Li, Charles Zhang, Songlin Hu
G-Finder: routing programming questions closer to the experts. OOPSLA (2010)
Wei Jiang, Charles Zhang, Zhenqiu Huang, Mingwen Chen, Songlin Hu, Zhiyong Liu
QSynth: A Tool for QoS-aware Automatic Service Composition. ICWS (2010)
Jeff Huang, Peng Liu, Charles Zhang
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE (2010)
Jeff Huang, Peng Liu, Charles Zhang
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE (2010)
Charles Zhang
FlexSync: An aspect-oriented approach to Java synchronization. ICSE (2009)
Charles Zhang, Hans-Arno Jacobsen
Externalizing Java Server Concurrency with CAL. ECOOP (2008)
Charles Zhang, Hans-Arno Jacobsen
Efficiently mining crosscutting concerns through random walks. AOSD (2007)
Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen
Generic Middleware Substrate Through Modelware. Middleware (2005)
Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen
Towards just-in-time middleware architectures. AOSD (2005)
Charles Zhang, Hans-Arno Jacobsen
PRISM is research in aSpect mining. OOPSLA Companion (2004)
Charles Zhang, Hans-Arno Jacobsen
Resolving feature convolution in middleware systems. OOPSLA (2004)
Charles Zhang, Hans-Arno Jacobsen
Refactoring Middleware with Aspects. IEEE Trans. Parallel Distributed Syst. 14 (11) (2003)
Charles Zhang, Hans-Arno Jacobsen
Re-factoring Middleware Systems: A Case Study. OTM (2003)
Charles Zhang, Hans-Arno Jacobsen
Quantifying aspects in middleware platforms. AOSD (2003)