Jinguo Zhou

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 8

Top Topics

Hough Transform

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, Charles Chuan Zhang
Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Xiaoheng Xie, Gang Fan, Xiaojun Lin, Ang Zhou, Shijie Li, Xunjin Zheng, Yinan Liang, Yu Zhang, Na Yu, Haokun Li, Xinyu Chen, Yingzhuang Chen, Yi Zhen, Dejun Dong, Xianjin Fu, Jinzhou Su, Fuxiong Pan, Pengshuai Luo, Youzheng Feng, Ruoxiang Hu, Jing Fan, Jinguo Zhou, Xiao Xiao, Peng Di
CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations. CoRR (2024)
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis. Proc. ACM Program. Lang. 8 (PLDI) (2024)
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)
Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang
Precise Divide-By-Zero Detection with Affirmative Evidence. ICSE (2022)
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
Efficient Path-Sensitive Data-Dependence Analysis. CoRR (2021)
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)
Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang
Persistent pointer information. PLDI (2014)
Jeff Huang, Jinguo Zhou, Charles Zhang
Scaling predictive analysis of concurrent programs by removing trace redundancy. ACM Trans. Softw. Eng. Methodol. 22 (1) (2013)
Jinguo Zhou, Xiao Xiao, Charles Zhang
Stride: Search-based deterministic replay in polynomial time via bounded linkage. ICSE (2012)
Xiao Xiao, Jinguo Zhou, Charles Zhang
Tracking data structures for postmortem analysis. ICSE (2011)