{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 | 124 | 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 | 95 | 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 | 53 | 2020 |
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 | 34 | 2019 |
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 | 34 | 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 | 23 | 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 | 18 | 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 |
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 |
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 | 12 | 2020 |
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 |
Mining dataflow sensitive specifications Z Zuo, SC Khoo Formal Methods and Software Engineering: 15th International Conference on …, 2013 | 4 | 2013 |