Zhiqiang Zuo

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 25

Top Topics

Static Analysis

Relational Algebra

Top Venues

Publications

Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, Zhiqiang Zuo
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing. CoRR (2024)
Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau-Cheng Khoo, Shan Lu, Chengnian Sun, Guoqing Harry Xu
Toward More Efficient Statistical Debugging with Abstraction Refinement. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework. ESEC/SIGSOFT FSE (2023)
Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi
Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware. IEEE Internet Things J. 10 (23) (2023)
Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. ISSTA (2023)
Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao
DStream: A Streaming-Based Highly Parallel IFDS Framework. ICSE (2023)
Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. OSDI (2022)
Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan. ACM Trans. Comput. Syst. 38 (1-2) (2021)
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong
Identifying privacy weaknesses from multi-party trigger-action integration platforms. ISSTA (2021)
Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu
Vulnerable Region-Aware Greybox Fuzzing. J. Comput. Sci. Technol. 36 (5) (2021)
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. PLDI (2021)
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. PLDI (2021)
Rong Gu, Zhiqiang Zuo, Xi Jiang, Han Yin, Zhaokang Wang, Linzhang Wang, Xuandong Li, Yihua Huang
Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation. IEEE Trans. Parallel Distributed Syst. 32 (4) (2021)
Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo
SpecuSym: speculative symbolic execution for cache timing leak detection. ICSE (2020)
Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, Huibo Wang
Exposing cache timing side-channel leaks through out-of-order symbolic execution. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Peng Zhang, Yuhao Huang, Aaron Gember-Jacobson, Wenbo Shi, Xu Liu, Hongkun Yang, Zhiqiang Zuo
Incremental Network Configuration Verification. HotNets (2020)
Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, Baowen Xu
Hunting for bugs in code coverage tools via randomized differential testing. ICSE (2019)
Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li
Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. EuroSys (2019)
Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection. CoRR (2019)
Yibiao Yang, Yanyan Jiang, Zhiqiang Zuo, Yang Wang, Hao Sun, Hongmin Lu, Yuming Zhou, Baowen Xu
Automatic Self-Validation for Code Coverage Profilers. ASE (2019)
Zhiqiang Zuo, Rong Gu, Xi Jiang, Zhaokang Wang, Yihua Huang, Linzhang Wang, Xuandong Li
BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud. IPDPS (2019)
Kai Wang, Zhiqiang Zuo, John Thorpe, Tien Quang Nguyen, Guoqing Harry Xu
RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. OSDI (2018)
Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su
Calling-to-reference context translation via constraint-guided CFL-reachability. PLDI (2018)
Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, Ardalan Amiri Sani
Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code. ASPLOS (2017)
Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu
Low-overhead and fully automated statistical debugging with abstraction refinement. OOPSLA (2016)
Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun
Efficient predicated bug signature mining via hierarchical instrumentation. ISSTA (2014)
Zhiqiang Zuo
Efficient statistical debugging via hierarchical instrumentation. ISSTA (2014)
Zhiqiang Zuo, Siau-Cheng Khoo
Mining Dataflow Sensitive Specifications. ICFEM (2013)