708 Computer Science Building
zqzuo AT nju.edu.cn
163 Xianlin Road, Qixia District, Nanjing, China
About Me
I am now an associate professor in the School of Computer Science & Technology, Nanjing University, China.
Before joining NJU, I got my PhD from National University of Singapore in 2015, and worked as a postdoc scholar at University of California, Irvine from 2015 to 2017.
I am recruiting PhD, Master and Undergraduate students. If interested, please feel free to drop me an email.
现招收博士、硕士以及南京大学本科生,对系统软件、编译器与运行时感兴趣的同学,请通过邮件(附简历和成绩单)取得联系。
I am serving the PC for the following conferences. Please consider submitting your work to them.
My research interests span Programming Languages, Software Engineering, and Systems.
I have been recently focusing on building and customizing systems software (e.g., compilers, runtime environments, and operating systems) for program efficiency, reliability, and safety.
News
•
[2024.10] Invited to serve on the program committee (PC) of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'25).
•
[2024.6] HardTaint was conditionally accepted to OOPSLA'24. Congrats to Yiyu, Tianyi, Yueyang, Yun Qi, and Kai Ji!
•
[2024.5] Congratulations to Yiyu for completing his PhD defense!
•
[2024.4] Invited to serve on the program committee (PC) of the ACM International Conference on the Foundations of Software Engineering (FSE'25).
•
[2024.2] Invited to serve on the review committee (RC) of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'24).
•
[2023.9] Invited to serve on the program committee (PC) of the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'24).
•
[2023.8] Invited to serve on the program committee (PC) of the ACM SIGPLAN International Conference on Compiler Construction (CC'24).
•
[2023.7] BigDataflow was accepted to FSE'23. Congrats to Zewen, Duanchen, Yiyu, Qiyun, and Yueyang!
•
[2023.6] Invited to serve on the program committee (PC) of the ACM International Conference on the Foundations of Software Engineering (FSE'24).
•
[2023.5] Invited to serve on the program committee (PC) of the IEEE/ACM International Conference on Automated Software Engineering (ASE'23).
•
[2023.5] Catamaran was accepted to ISSTA'23. Congrats to Yiyu, Tianyì, and Zewen!
•
[2023.4] Invited to serve on the program committee (PC) of the ACM SIGOPS ChinaSys'23.
•
[2022.12] DStream was accepted to ICSE'23. Congrats to Xizao!
•
[2022] Promoted as tenured associate professor (tenure-track) at NJU.
•
[2022.9] Invited to serve on the program committee (PC) of the ACM Student Research Competition (SRC) at ICSE 2023 (ICSE'23 SRC).
•
[2022.9] A grant (general program) is funded from NSFC.
•
[2022.5] Our journal paper on statistical debugging was accepted to TOSEM.
•
[2022.2] Invited to serve on the program committee (PC) of the ACM SIGOPS Asia-Pacific Workshop on Systems (APSys'22).
•
[2021.9] Received a CCF-Huawei Innovation Research Award to support our research on profile-guided optimization for GPU applications. Thanks Huawei!
•
[2021.7] Invited to serve on the program committee (PC) of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE'22).
•
[2021.7] Invited to serve on the external review committee (ERC) for the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'22).
•
[2021.7] Invited to serve on the program committee (PC) for the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'22).
•
[2021.5] A grant is funded from NJU-Huawei Joint Innovation Lab to support our research on low-overhead memory safety enforcement. Thanks Huawei!
•
[2021.5] GPU-backed static analysis engine was accepted to TOCS.
•
[2021.4] RegionFuzz was accepted with minor revision to JCST'21.
•
[2021.4] Our Taifu paper was conditionally accepted to ISSTA'21.
•
[2021.2] Both Chianina and JPortal were conditionally accepted to PLDI'21.
•
[2020.12] Received an Alibaba Innovation Research (AIR) Award to support our research on data integrity enforcement of distributed storage systems. Thanks Alibaba!
•
[2020.11] The journal version of BigSpa was accepted to TPDS.
•
[2020.8] Our SymO3 paper for out-of-order symbolic execution was conditionally accepted to OOPSLA'20.
•
[2020.7] Invited to serve on the program committee (PC) for the 14th Innovations in Software Engineering Conference ISEC'21.
•
[2020.6] Another grant is funded from Huawei to support our work on static analysis for performance tuning. Thanks Huawei!
•
[2020.4] A grant is funded from NJU-Huawei Joint Innovation Lab to support our research on safe language design and implementation. Thanks Huawei!
•
[2020.3] Invited to serve on the program committee (PC) for the 12th Asia-Pacific Symposium on Internetware Internetware'20.
•
[2019.12] Our SpecuSym paper for speculative symbolic execution was accepted to ICSE'20.
•
[2019.12] A brief survey paper of parallel static analysis was accepted with minor revision to Chinese Journal of Software.
•
[2019.9] A grant (general program) is funded from NSF of Jiangsu Province.
•
[2019.8] Our Cod paper for coverage profiler testing was accepted to ASE'19.
•
[2019.6] Invited to serve on the external review committee (ERC) for ASPLOS'20.
•
[2019.6] Invited to serve on the program committee (PC) for the 13th Innovations in Software Engineering Conference ISEC'20.
•
[2019.5] The presentation video and audio of Grapple at EuroSys'19 are available.
•
[2019.1] Our BigSpa paper was accepted to IPDPS'19.
•
[2019.1] Invited to give talks on "Systemized Program Analysis" at The University of Queensland and Griffith University, Australia.
•
[2018.12] Our Grapple paper was accepted to EuroSys'19.
•
[2018.12] Our ML-based memory leak detection paper was accepted to Chinese Journal of Software. My first paper in Chinese!
•
[2018.12] Our code coverage testing paper was accepted to ICSE'19.
† Research papers over 10 pages at top tier venues are marked as red. The underlined authors are students that I advised. * indicates (co-)corresponding author.
2024
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing by Yiyu Zhang, Tianyí Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, and Zhiqiang Zuo*.
accepted by the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications,
(OOPSLA'24), 2024.
编译技术与编译器设计专刊(In Chinese) by Xiaobing Feng, Dan Hao, Yaoqing Gao, and Zhiqiang Zuo*.
Special Issue in Journal of Software, (软件学报), 2024.
2023
Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware by Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, and Jin Shi.
In the IEEE Internet of Things Journal,
(IoT-J'23), 2023.
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework by Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo*, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, and Shengjian Guo.
In Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
(FSE'23), 2023.
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration by Yiyu Zhang, Tianyì Liu, Zewen Sun, Zhe Chen, Xuandong Li, and Zhiqiang Zuo*.
In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis,
(ISSTA'23), 2023.
Toward More Efficient Statistical Debugging with Abstraction Refinement by Zhiqiang Zuo*, Xintao Niu*, Siyi Zhang, Lu Fang, Siau Cheng Khoo, Shan Lu, Chengnian Sun, and Guoqing Harry Xu.
In ACM Transactions on Software Engineering and Methodology,
(TOSEM'23), Vol. 32, Iss. 2, No. 36, March 2023.
(This is an extended journal version of our ISSTA'14 and OOPSLA'16 papers under a unified and systematic formulation.)
基于多线程并行的符号执行引擎设计与实现(In Chinese) by Peng Zhou, and Zhiqiang Zuo*.
In Journal of Computer Research and Development, (计算机研究与发展), 60(2): 248-261, 2023.
DStream: A Streaming-Based Highly Parallel IFDS Framework by Xizao Wang, Zhiqiang Zuo*, Lei Bu*, and Jianhua Zhao.
In Proceedings of the IEEE/ACM International Conference on Software Engineering,
(ICSE'23), 2023.
2022
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing by Yaniv David, Xudong Sun, Aditya Senthilnathan, Raphael Jedidiah Sofaer, Junfeng Yang*, Zhiqiang Zuo*, Guoqing Harry Xu, Jason Nieh, and Ronghui Gu.
In Proceedings of USENIX Symposium on Operating System Design and Implementation,
(OSDI'22),
Carlsbad, CA, USA, July 11-13, 2022.
基于核外计算的Datalog引擎设计与实现(In Chinese) by Yiyu Zhang, Guihang Wang, Zhiqiang Zuo*, and Xuandong Li.
In Journal of Software, (软件学报), Online, January 2022.
2021
Systemizing Interprocedural Static Analysis of Large-Scale Systems Code with Graspan by Zhiqiang Zuo*, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, and Guoqing Harry Xu.
In ACM Transactions on Computer Systems,
(TOCS'21), Vol. 38, No. 4, July 2021.
(This is an extended journal version of our ASPLOS'17 paper by adding a GPU-accelerated analysis backend.)
Vulnerable Region-Aware Greybox Fuzzing by Lingyun Situ, Zhiqiang Zuo*, Le Guan, Linzhang Wang*, Xuandong Li, Jin Shi, and Peng Liu.
In the Journal of Computer Science and Technology,
(JCST'21), Vol. 36, No. 5, 2021.
Identifying Privacy Weaknesses from Multi-Party Trigger-Action Integration Platforms by Kulani Tharaka Mahadewa, Yanjun Zhang, Guangdong Bai*, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, and Jin Song Dong.
In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis,
(ISSTA'21),
Virtual, July 11-17, 2021.
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace by Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu.
In Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation,
(PLDI'21),
Virtual, June 20-25, 2021.
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code by Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu.
In Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation,
(PLDI'21),
Virtual, June 20-25, 2021.
Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation by Rong Gu, Zhiqiang Zuo*, Xi Jiang, Han Yin, Zhaokang Wang, Linzhang Wang, Xuandong Li, and Yihua Huang*.
In IEEE Transactions on Parallel and Distributed Systems,
(TPDS'21), Vol. 32, No. 4, April 2021.
(This is an extended journal version of our IPDPS'19 paper by adding the support for online incremental analysis.)
2020
Incremental Network Configuration Verification by Peng Zhang, Yuhao Huang, Aaron Gember-Jacobson, Wenbo Shi, Xu Liu, Hongkun Yang, and Zhiqiang Zuo.
In Proceedings of the 19th ACM Workshop on Hot Topics in Networks,
(HotNets'20),
Chicago, Illinois, USA, November 5-6, 2020.
Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution by Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng and Huibo Wang.
In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications,
(OOPSLA'20),
Illinois, United States, November 15-20, 2020.
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection by Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu and Zhiqiang Zuo.
In Proceedings of the 42nd International Conference on Software Engineering, (ICSE'20),
Seoul, South Korea, May 23-29, 2020.
静态程序分析并行化研究进展(In Chinese) by Shenming Lu, Zhiqiang Zuo*, and Linzhang Wang*.
In Journal of Software, (软件学报),
Vol. 31, No. 5, May 2020.
2019
Automatic Self-Validation for Code Coverage Profilers by Yibiao Yang, Yanyan Jiang, Zhiqiang Zuo, Yang Wang, Hao Sun, Hongmin Lu, Yuming Zhou*, and Baowen Xu*.
In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, (ASE'19),
San Diego, CA, USA, November 11-15, 2019.
BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud by Zhiqiang Zuo, Rong Gu, Xi Jiang, Zhaokang Wang, Yihua Huang, Linzhang Wang, and Xuandong Li.
In Proceedings of the 33rd IEEE International Parallel & Distributed Processing Symposium, (IPDPS'19),
Rio de Janeiro, Brazil, May 20-24, 2019.
Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code by Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Harry Xu, Linzhang Wang, and Xuandong Li.
In Proceedings of the European Conference on Computer Systems, (EuroSys'19),
Dresden, Germany, March 25-28, 2019.
C程序内存泄漏智能化检测方法(In Chinese) by Yawei Zhu, Zhiqiang Zuo, Linzhang Wang*, and Xuandong Li.
In Journal of Software, (软件学报),
Vol. 30, No. 5, May 2019.
Hunting for Bugs in Code Coverage Tools via Randomized Differential Testing by Yibiao Yang, Yuming Zhou*, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, and Baowen Xu*.
In Proceedings of the 41st International Conference on Software Engineering, (ICSE'19),
Montréal, QC, Canada, May 25–31, 2019.
2018
RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine by Kai Wang, Zhiqiang Zuo, John Thorpe, Tim Nguyen, and Guoqing Xu.
In Proceedings of USENIX Symposium on Operating System Design and Implementation, (OSDI'18),
Carlsbad, CA, USA, October 8–10, 2018.
Calling-to-Reference Context Translation
via Constraint-Guided CFL-Reachability by Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Harry Xu, and Zhendong Su.
In Proceedings of ACM SIGPLAN Conference on Programming
Language Design and Implementation, (PLDI'18),
Philadelphia, PA, USA, June 18-22, 2018.
Before 2018
Graspan:
A Single-Machine Disk-Based Graph System for Interprocedural
Static Analyses of Large-Scale Systems Code by Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing (Harry) Xu and Ardalan Amiri
Sani. In Proceedings of the 22nd ACM
International Conference on Architectural Support for
Programming Languages and Operating Systems, (ASPLOS'17),
Xi'an, China, April 8 - 12, 2017.
Low-Overhead
and Fully Automated Statistical Debugging with Abstraction
Refinement by Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing (Harry) Xu and Shan Lu. In
Proceedings of the ACM SIGPLAN Conference on
Object-Oriented Programming Systems, Languages, and
Applications, (OOPSLA'16),
Amsterdam, The Netherlands, Oct. 30 - Nov. 4, 2016.
Efficient
Predicated Bug Signature Mining via Hierarchical
Instrumentation by Zhiqiang Zuo, Siau-Cheng Khoo and
Chengnian Sun. In Proceedings of the 2014
International Symposium on Software Testing and Analysis, (ISSTA'14), San
Jose, CA, USA, July 21-25, 2014.
Efficient
Statistical Debugging via Hierarchical Instrumentation by Zhiqiang Zuo. In Proceedings
of the 2014 International Symposium on Software Testing and
Analysis, (ISSTA'14
Doctoral Symposium), San Jose, CA, USA, July 21-25, 2014.
Mining
Dataflow Sensitive Specifications by Zhiqiang Zuo and Siau-Cheng Khoo.
In Proceedings of the 15th International Conference on
Formal Engineering Methods, (ICFEM'13),
Queenstown, New Zealand, Oct. 29 - Nov. 1, 2013.
Reports
Refinement
Techniques in Mining Software Behavior [pdf]
by Zhiqiang Zuo. Dissertation,
February 2015.
Grants & Awards
PI, HONOR Innovation Research Project, 2024.9-2025.11, (安卓运行时编译优化)
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
At the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation, (PLDI'21),
Virtual, June 20-25, 2021.
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
At the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation, (PLDI'21),
Virtual, June 20-25, 2021.
Systems Support for Program Analysis, Profiling, and Synthesis
At Nanjing University,
Nanjing, China, Dec. 9, 2019.
Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code
At the European Conference on Computer Systems, (EuroSys'19),
Dresden, Germany, March 25-28, 2019.
"Systemized" Program Analysis -- A "Big Data" Perspective
At Tianjin University,
Tianjin, China, Sep. 17, 2019.
At Griffith University,
Brisbane, Australia, Jan. 18, 2019.
At University of Queensland,
Brisbane, Australia, Jan. 15, 2019.
Systems Support for Sophisticated Program Analysis 2018 年全国软件分析与验证研讨会, (SAVE'2018), 杭州, 2018.5.26-5.27. 2018年江苏省计算机软件专委会学术年会, 扬州, 2018.5.12-5.13.
At University of California, Los Angeles, (UCLA),
LA, CA, USA, Jan. 26, 2018.
Towards Highly Scalable Static and Dynamic Program Analysis
At Nanjing University,
Nanjing, China, Sep. 21, 2017.
At Tianjin University,
Tianjin, China, April 20, 2017.
"Big Data Thinking" for Highly Scalable Static Program Analyses
At Shanghai Jiao Tong University,
Shanghai, China, May 4, 2017.
At Nanjing University,
Nanjing, China, May 2, 2017.
Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement
At the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, (OOPSLA'16),
Amsterdam, The Netherlands, Oct. 30 - Nov. 4, 2016.
Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation
At the 2014 International Symposium on Software Testing and Analysis, (ISSTA'14),
San Jose, CA, USA, July 21-25, 2014.
Statistical Debugging via Hierarchical Instrumentation
At the 2014 International Symposium on Software Testing and Analysis, (ISSTA'14 Doctoral Symposium),
San Jose, CA, USA, July 21-25, 2014.
Mining Dataflow Sensitive Specifications
At the 15th International Conference on Formal Engineering Methods, (ICFEM'13),
Queenstown, New Zealand, Oct. 29 - Nov. 1, 2013.