Zhiqiang Zuo

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