Jinguo Zhou

Orcid: 0000-0002-7664-2718

According to our database1, Jinguo Zhou authored at least 12 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions.
ACM Trans. Softw. Eng. Methodol., March, 2024

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis.
Proc. ACM Program. Lang., 2024

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

2023
Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation.
ACM Trans. Softw. Eng. Methodol., May, 2023

2022
Precise Divide-By-Zero Detection with Affirmative Evidence.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
Efficient Path-Sensitive Data-Dependence Analysis.
CoRR, 2021

2019
Smoke: scalable path-sensitive memory leak detection for millions of lines of code.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
Pinpoint: fast and precise sparse value flow analysis for million lines of code.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2014
Persistent pointer information.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013
Scaling predictive analysis of concurrent programs by removing trace redundancy.
ACM Trans. Softw. Eng. Methodol., 2013

2012
Stride: Search-based deterministic replay in polynomial time via bounded linkage.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Tracking data structures for postmortem analysis.
Proceedings of the 33rd International Conference on Software Engineering, 2011


  Loading...