Jinguo Zhou

According to our database, Jinguo Zhou authored at least 11 papers between 2011 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

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations.

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

CoRR, 2024

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

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

Efficient Path-Sensitive Data-Dependence Analysis.

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

CoRR, 2021

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

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

2013

Scaling predictive analysis of concurrent programs by removing trace redundancy.

Jeff Huang, Jinguo Zhou, Charles Zhang

ACM Trans. Softw. Eng. Methodol., 2013

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

2011

Tracking data structures for postmortem analysis.

Xiao Xiao, Jinguo Zhou, Charles Zhang

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