Mining Dataflow Sensitive Specifications. - Zhiqiang Zuo 002; Siau-Cheng Khoo (ICFEM, 2013)

Efficient statistical debugging via hierarchical instrumentation. - Zhiqiang Zuo 002 (ISSTA, 2014)

Efficient predicated bug signature mining via hierarchical instrumentation. - Zhiqiang Zuo 002; Siau-Cheng Khoo; Chengnian Sun (ISSTA, 2014)

Low-overhead and fully automated statistical debugging with abstraction refinement. - Zhiqiang Zuo 002; Lu Fang 003; Siau-Cheng Khoo; Guoqing Xu 001; Shan Lu 001 (OOPSLA, 2016)

Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code. - Kai Wang 029; Aftab Hussain 001; Zhiqiang Zuo 002; Guoqing Xu 001; Ardalan Amiri Sani (ASPLOS, 2017)

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. - Kai Wang 029; Zhiqiang Zuo 002; John Thorpe; Tien Quang Nguyen; Guoqing Harry Xu (OSDI, 2018)

Calling-to-reference context translation via constraint-guided CFL-reachability. - Cheng Cai; Qirun Zhang; Zhiqiang Zuo 002; Khanh Nguyen 001; Guoqing Harry Xu; Zhendong Su 001 (PLDI, 2018)

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. - Zhiqiang Zuo 002; John Thorpe; Yifei Wang; Qiuhong Pan; Shenming Lu; Kai Wang 029; Guoqing Harry Xu; Linzhang Wang; Xuandong Li (EuroSys, 2019)

Hunting for bugs in code coverage tools via randomized differential testing. - Yibiao Yang; Yuming Zhou; Hao Sun 021; Zhendong Su 001; Zhiqiang Zuo 002; Lei Xu 003; Baowen Xu (ICSE, 2019)

BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud. - Zhiqiang Zuo 002; Rong Gu; Xi Jiang; Zhaokang Wang; Yihua Huang 001; Linzhang Wang; Xuandong Li (IPDPS, 2019)

Automatic Self-Validation for Code Coverage Profilers. - Yibiao Yang; Yanyan Jiang 001; Zhiqiang Zuo 002; Yang Wang 165; Hao Sun 021; Hongmin Lu; Yuming Zhou; Baowen Xu (ASE, 2019)

Incremental Network Configuration Verification. - Peng Zhang 011; Yuhao Huang; Aaron Gember-Jacobson; Wenbo Shi; Xu Liu 013; Hongkun Yang; Zhiqiang Zuo 002 (HotNets, 2020)

SpecuSym: speculative symbolic execution for cache timing leak detection. - Shengjian Guo; Yueqi Chen 001; Peng Li; Yueqiang Cheng; Huibo Wang; Meng Wu; Zhiqiang Zuo 002 (ICSE, 2020)

Exposing cache timing side-channel leaks through out-of-order symbolic execution. - Shengjian Guo; Yueqi Chen 001; Jiyong Yu; Meng Wu; Zhiqiang Zuo 002; Peng Li; Yueqiang Cheng; Huibo Wang (Proc. ACM Program. Lang., 2020)

Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan. - Zhiqiang Zuo 002; Kai Wang 029; Aftab Hussain 001; Ardalan Amiri Sani; Yiyu Zhang; Shenming Lu; Wensheng Dou; Linzhang Wang; Xuandong Li; Chenxi Wang; Guoqing Harry Xu (ACM Trans. Comput. Syst., 2020)

Identifying privacy weaknesses from multi-party trigger-action integration platforms. - Kulani Mahadewa; Yanjun Zhang; Guangdong Bai; Lei Bu; Zhiqiang Zuo 002; Dileepa Fernando; Zhenkai Liang; Jin Song Dong 001 (ISSTA, 2021)

JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. - Zhiqiang Zuo 002; Kai Ji; Yifei Wang; Wei Tao; Linzhang Wang; Xuandong Li; Guoqing Harry Xu (PLDI, 2021)

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. - Zhiqiang Zuo 002; Yiyu Zhang; Qiuhong Pan; Shenming Lu; Yue Li 006; Linzhang Wang; Xuandong Li; Guoqing Harry Xu (PLDI, 2021)

Vulnerable Region-Aware Greybox Fuzzing. - Lingyun Situ; Zhiqiang Zuo 002; Le Guan; Linzhang Wang; Xuandong Li; Jin Shi; Peng Liu 005 (J. Comput. Sci. Technol., 2021)

Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation. - Rong Gu; Zhiqiang Zuo 002; Xi Jiang; Han Yin; Zhaokang Wang; Linzhang Wang; Xuandong Li; Yihua Huang 001 (IEEE Trans. Parallel Distributed Syst., 2021)

UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. - Yaniv David; Xudong Sun 019; Raphael J. Sofaer; Aditya Senthilnathan; Junfeng Yang; Zhiqiang Zuo 002; Guoqing Harry Xu; Jason Nieh; Ronghui Gu (OSDI, 2022)

DStream: A Streaming-Based Highly Parallel IFDS Framework. - Xizao Wang; Zhiqiang Zuo 002; Lei Bu; Jianhua Zhao (ICSE, 2023)

Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. - Yiyu Zhang; Tianyi Liu; Zewen Sun; Zhe Chen 011; Xuandong Li; Zhiqiang Zuo 002 (ISSTA, 2023)

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework. - Zewen Sun; Duanchen Xu; Yiyu Zhang; Yun Qi; Yueyang Wang; Zhiqiang Zuo 002; Zhaokang Wang; Yue Li 006; Xuandong Li; Qingda Lu; Wenwen Peng; Shengjian Guo (ESEC/SIGSOFT FSE, 2023)

Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware. - Lingyun Situ; Chi Zhang 073; Le Guan; Zhiqiang Zuo 002; Linzhang Wang; Xuandong Li; Peng Liu 005; Jin Shi (IEEE Internet Things J., 2023)

Toward More Efficient Statistical Debugging with Abstraction Refinement. - Zhiqiang Zuo 002; Xintao Niu; Siyi Zhang 011; Lu Fang 003; Siau-Cheng Khoo; Shan Lu 001; Chengnian Sun; Guoqing Harry Xu (ACM Trans. Softw. Eng. Methodol., 2023)

HardRace: A Dynamic Data Race Monitor for Production Use. - Xudong Sun 019; Zhuo Chen; Jingyang Shi; Yiyu Zhang; Peng Di; Xuandong Li; Zhiqiang Zuo 002 (CoRR, 2024)

Scaling Inter-procedural Dataflow Analysis on the Cloud. - Zewen Sun; Yujin Zhang; Duanchen Xu; Yiyu Zhang; Yun Qi; Yueyang Wang; Yi Li; Zhaokang Wang; Yue Li 006; Xuandong Li; Zhiqiang Zuo 002; Qingda Lu; et al. (CoRR, 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 002 (Proc. ACM Program. Lang., 2024)