Loading...
The system can't perform the operation now. Try again later.
Citations per year
Duplicate citations
The following articles are merged in Scholar. Their
combined citations
are counted only for the first article.
Merged citations
This "Cited by" count includes citations to the following articles in Scholar. The ones marked
*
may be different from the article in the profile.
Add co-authors
Co-authors
Follow
New articles by this author
New citations to this author
New articles related to this author's research
Email address for updates
Done
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Get my own profile
Cited by
View all
All
Since 2019
Citations
562
524
h-index
12
12
i10-index
15
14
0
140
70
35
105
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
8
3
4
10
12
47
60
107
95
134
79
Public access
View all
View all
17 articles
5 articles
available
not available
Based on funding mandates
Co-authors
Harry Xu
Professor of Computer Science, University of California, Los Angeles
Verified email at cs.ucla.edu
Yibiao Yang(杨已彪)
Nanjing University
Verified email at nju.edu.cn
Chengnian Sun
Associate Professor of Computer Science, University of Waterloo
Verified email at uwaterloo.ca
Lei Bu
Nanjing University
Verified email at nju.edu.cn
Shan Lu
Professor of Computer Science, University of Chicago
Verified email at uchicago.edu
Guangdong Bai
Associate Professor of The University of Queensland
Verified email at uq.edu.au
Linzhang Wang
Professor of Computer Science, Nanjing University
Verified email at nju.edu.cn
Yanyan Jiang
Nanjing University
Verified email at nju.edu.cn
Siau-Cheng Khoo
Follow
Zhiqiang Zuo
Associate Professor,
Nanjing University
, China
Verified email at nju.edu.cn -
Homepage
Compiler and runtime
Program analysis
Programming languages
Software engineering
Articles
Cited by
Public access
Co-authors
Title
Sort
Sort by citations
Sort by year
Sort by title
Cited by
Cited by
Year
{RStream}: Marrying relational algebra with streaming for efficient graph mining on a single machine
K Wang, Z Zuo, J Thorpe, TQ Nguyen, GH Xu
13th USENIX Symposium on Operating Systems Design and Implementation (OSDI …
, 2018
127
2018
Graspan: A single-machine disk-based graph system for interprocedural static analyses of large-scale systems code
K Wang, A Hussain, Z Zuo, G Xu, A Amiri Sani
ACM SIGARCH Computer Architecture News 45 (1), 389-404
, 2017
98
2017
SpecuSym: Speculative symbolic execution for cache timing leak detection
S Guo, Y Chen, P Li, Y Cheng, H Wang, M Wu, Z Zuo
Proceedings of the ACM/IEEE 42nd International Conference on Software …
, 2020
56
2020
Grapple: A graph system for static finite-state property checking of large-scale systems code
Z Zuo, J Thorpe, Y Wang, Q Pan, S Lu, K Wang, GH Xu, L Wang, X Li
Proceedings of the Fourteenth EuroSys Conference 2019, 1-17
, 2019
36
2019
Hunting for bugs in code coverage tools via randomized differential testing
Y Yang, Y Zhou, H Sun, Z Su, Z Zuo, L Xu, B Xu
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …
, 2019
35
2019
Efficient predicated bug signature mining via hierarchical instrumentation
Z Zuo, SC Khoo, C Sun
Proceedings of the 2014 International Symposium on Software Testing and …
, 2014
28
2014
Identifying privacy weaknesses from multi-party trigger-action integration platforms
K Mahadewa, Y Zhang, G Bai, L Bu, Z Zuo, D Fernando, Z Liang, JS Dong
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …
, 2021
24
2021
BigSpa: An efficient interprocedural static analysis engine in the cloud
Z Zuo, R Gu, X Jiang, Z Wang, Y Huang, L Wang, X Li
2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS …
, 2019
19
2019
Incremental network configuration verification
P Zhang, Y Huang, A Gember-Jacobson, W Shi, X Liu, H Yang, Z Zuo
Proceedings of the 19th ACM Workshop on Hot Topics in Networks, 81-87
, 2020
16
2020
Chianina: An evolving graph system for flow-and context-sensitive analyses of million lines of C code
Z Zuo, Y Zhang, Q Pan, S Lu, Y Li, L Wang, X Li, GH Xu
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …
, 2021
15
2021
Towards efficient large-scale interprocedural program static analysis on distributed data-parallel computation
R Gu, Z Zuo, X Jiang, H Yin, Z Wang, L Wang, X Li, Y Huang
IEEE Transactions on Parallel and Distributed Systems 32 (4), 867-883
, 2020
14
2020
Calling-to-reference context translation via constraint-guided CFL-reachability
C Cai, Q Zhang, Z Zuo, K Nguyen, G Xu, Z Su
ACM SIGPLAN Notices 53 (4), 196-210
, 2018
14
2018
Automatic self-validation for code coverage profilers
Y Yang, Y Jiang, Z Zuo, Y Wang, H Sun, H Lu, Y Zhou, B Xu
2019 34th IEEE/ACM International Conference on Automated Software …
, 2019
11
2019
Low-overhead and fully automated statistical debugging with abstraction refinement
Z Zuo, L Fang, SC Khoo, G Xu, S Lu
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …
, 2016
11
2016
Efficient statistical debugging via hierarchical instrumentation
Z Zuo
Proceedings of the 2014 International Symposium on Software Testing and …
, 2014
10
2014
Systemizing interprocedural static analysis of large-scale systems code with Graspan
Z Zuo, K Wang, A Hussain, AA Sani, Y Zhang, S Lu, W Dou, L Wang, X Li, ...
ACM Transactions on Computer Systems (TOCS) 38 (1-2), 1-39
, 2021
8
2021
JPortal: Precise and efficient control-flow tracing for JVM programs with Intel Processor Trace
Z Zuo, K Ji, Y Wang, W Tao, L Wang, X Li, GH Xu
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …
, 2021
8
2021
Exposing cache timing side-channel leaks through out-of-order symbolic execution
S Guo, Y Chen, J Yu, M Wu, Z Zuo, P Li, Y Cheng, H Wang
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-32
, 2020
8
2020
{UPGRADVISOR}: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing
Y David, X Sun, RJ Sofaer, A Senthilnathan, J Yang, Z Zuo, GH Xu, J Nieh, ...
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …
, 2022
5
2022
Physical devices-agnostic hybrid fuzzing of IoT firmware
L Situ, C Zhang, L Guan, Z Zuo, L Wang, X Li, P Liu, J Shi
IEEE Internet of Things Journal
, 2023
4
2023
The system can't perform the operation now. Try again later.
Articles 1–20
Show more
Privacy
Terms
Help
About Scholar
Search help