关注
Zhiqiang Zuo
Zhiqiang Zuo
Associate Professor, Nanjing University, China
在 nju.edu.cn 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
{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
1242018
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
952017
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
532020
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
342019
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
342019
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
282014
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
232021
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
182019
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
162020
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
152021
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
142018
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
122020
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
112019
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
112016
Efficient statistical debugging via hierarchical instrumentation
Z Zuo
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
102014
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
82021
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
82021
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
82020
{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
52022
Mining dataflow sensitive specifications
Z Zuo, SC Khoo
Formal Methods and Software Engineering: 15th International Conference on …, 2013
42013
系统目前无法执行此操作,请稍后再试。
文章 1–20