Zhiqiang Zuo

According to our database, Zhiqiang Zuo authored at least 27 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing.

Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, Zhiqiang Zuo

CoRR, 2024

2023

Toward More Efficient Statistical Debugging with Abstraction Refinement.

Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau-Cheng Khoo, Shan Lu, Chengnian Sun, Guoqing Harry Xu

ACM Trans. Softw. Eng. Methodol., April, 2023

Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware.

Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi

IEEE Internet Things J., 2023

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework.

Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration.

Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

DStream: A Streaming-Based Highly Parallel IFDS Framework.

Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing.

Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation.

Rong Gu, Zhiqiang Zuo, Xi Jiang, Han Yin, Zhaokang Wang, Linzhang Wang, Xuandong Li, Yihua Huang

IEEE Trans. Parallel Distributed Syst., 2021

Vulnerable Region-Aware Greybox Fuzzing.

Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu

J. Comput. Sci. Technol., 2021

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.

Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace.

Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Identifying privacy weaknesses from multi-party trigger-action integration platforms.

Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.

Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu

ACM Trans. Comput. Syst., 2020

Exposing cache timing side-channel leaks through out-of-order symbolic execution.

Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, Huibo Wang

Proc. ACM Program. Lang., 2020

SpecuSym: speculative symbolic execution for cache timing leak detection.

Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Incremental Network Configuration Verification.

Peng Zhang, Yuhao Huang, Aaron Gember-Jacobson, Wenbo Shi, Xu Liu, Hongkun Yang, Zhiqiang Zuo

Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2019

Automatic Self-Validation for Code Coverage Profilers.

Yibiao Yang, Yanyan Jiang, Zhiqiang Zuo, Yang Wang, Hao Sun, Hongmin Lu, Yuming Zhou, Baowen Xu

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud.

Zhiqiang Zuo, Rong Gu, Xi Jiang, Zhaokang Wang, Yihua Huang, Linzhang Wang, Xuandong Li

Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019

Hunting for bugs in code coverage tools via randomized differential testing.

Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, Baowen Xu

Proceedings of the 41st International Conference on Software Engineering, 2019

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code.

Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

Calling-to-reference context translation via constraint-guided CFL-reachability.

Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine.

Kai Wang, Zhiqiang Zuo, John Thorpe, Tien Quang Nguyen, Guoqing Harry Xu

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017

Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code.

Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, Ardalan Amiri Sani

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

Low-overhead and fully automated statistical debugging with abstraction refinement.

Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2014

Efficient predicated bug signature mining via hierarchical instrumentation.

Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Efficient statistical debugging via hierarchical instrumentation.

Zhiqiang Zuo

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

Mining Dataflow Sensitive Specifications.

Zhiqiang Zuo, Siau-Cheng Khoo

Proceedings of the Formal Methods and Software Engineering, 2013