| 2025 | IROS | From Learning to Mastery: Achieving Safe and Efficient Real-World Autonomous Driving with Human-in-the-Loop Reinforcement Learning. | Zeqiao Li, Yijing Wang, Haoyu Wang, Zheng Li, Peng Li, Wenfei Liu, Zhiqiang Zuo |
| 2023 | ICSE | DStream: A Streaming-Based Highly Parallel IFDS Framework. | Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao |
| 2023 | ISSTA | Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. | Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo |
| 2023 | KDD | PASS: Personalized Advertiser-aware Sponsored Search. | Zhoujin Tian, Chaozhuo Li, Zhiqiang Zuo, Zengxuan Wen, Lichao Sun, Xinyue Hu, Wen Zhang, Haizhen Huang, Senzhang Wang, Weiwei Deng, Xing Xie, Qi Zhang |
| 2023 | SIGIR | Multi-Grained Topological Pre-Training of Language Models in Sponsored Search. | Zhoujin Tian, Chaozhuo Li, Zhiqiang Zuo, Zengxuan Wen, Xinyue Hu, Xiao Han, Haizhen Huang, Senzhang Wang, Weiwei Deng, Xing Xie, Qi Zhang |
| 2022 | EMNLP | RAPO: An Adaptive Ranking Paradigm for Bilingual Lexicon Induction. | Zhoujin Tian, Chaozhuo Li, Shuo Ren, Zhiqiang Zuo, Zengxuan Wen, Xinyue Hu, Xiao Han, Haizhen Huang, Denvy Deng, Qi Zhang, Xing Xie |
| 2022 | OSDI | 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 |
| 2021 | ISSTA | 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 |
| 2021 | PLDI | 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 |
| 2021 | PLDI | 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 |
| 2020 | HOTNETS | Incremental Network Configuration Verification. | Peng Zhang, Yuhao Huang, Aaron Gember-Jacobson, Wenbo Shi, Xu Liu, Hongkun Yang, Zhiqiang Zuo |
| 2020 | ICSE | SpecuSym: speculative symbolic execution for cache timing leak detection. | Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo |
| 2019 | EuroSys | 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 |
| 2019 | ICSE | 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 |
| 2018 | OSDI | 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 |
| 2018 | PLDI | Calling-to-reference context translation via constraint-guided CFL-reachability. | Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su |
| 2017 | ASPLOS | 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 |
| 2016 | OOPSLA | Low-overhead and fully automated statistical debugging with abstraction refinement. | Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu |
| 2014 | ISSTA | Efficient statistical debugging via hierarchical instrumentation. | Zhiqiang Zuo |
| 2014 | ISSTA | Efficient predicated bug signature mining via hierarchical instrumentation. | Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun |
| 2013 | ICFEM | Mining Dataflow Sensitive Specifications. | Zhiqiang Zuo, Siau-Cheng Khoo |
| 2012 | ICARCV | Distributed containment control of linear multi-agent systems using output information. | Guanghui Wen, Guoqiang Hu, Zhiqiang Zuo, Yu Zhao |
| 2007 | ACC | Stability Analysis and Controller Design for Linear Time Delay Systems with Actuator Saturation. | Zhiqiang Zuo, Yijing Wang, Guoshan Zhang |
| 2007 | ACC | New Absolute Stability Condition for Time-Delay Systems with Sector-Bounded Nonlinearity. | Yijing Wang, Zhiqiang Zuo, Guoshan Zhang |
| 2007 | ICNC | New Delay-Dependent Stabilization Criterion for Time-Delay Chaotic Systems. | Yijing Wang, Zhiqiang Zuo |
| 2005 | SMC | An Improved Set Invariance Analysis and Gain-Scheduled Control of LPV Systems subject to Actuator Saturation. | Yijing Wang, Zhiqiang Zuo |
| 2005 | SMC | On quadratic stabilizability of linear switched systems with polytopic uncertainties. | Yijing Wang, Zhiqiang Zuo |
| 2005 | SMC | H | Yijing Wang, Zhiqiang Zuo |
| 2005 | SMC | A descriptor system approach to robust quadratic stability and stabilization of nonlinear systems. | Zhiqiang Zuo, Yijing Wang |
| 2005 | SMC | Robust Stability Criteria of Uncertain Fuzzy Systems with Time-varying Delays. | Zhiqiang Zuo, Yijing Wang |