Dr. Zhiqiang Zuo   (左志强)

Associate Professor (with tenure)
Co-Appointed Research Professor
School of Computer Science and Technology
Nanjing University, China

708 Computer Science Building
zqzuo AT nju.edu.cn
163 Xianlin Road, Qixia District, Nanjing, China

Zhiqiang Zuo

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.

      FSE'25         PLDI'25

Research Interests

  • System software
  • Compiler and runtime
  • Program analysis

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.3] Upgradvisor was accepted to OSDI'22.
  • [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.
  • [2018.08] A grant is funded from NSFC.
  • [2018.07] Our RStream paper was accepted to OSDI'18.
  • [2018.02] Our context translation paper was accepted to PLDI'18.
  • I will join the Department of Computer Science at Nanjing University as an Assistant Professor soon.
  • [2017.12] Invited to be a committee member in Artifact Evaluation Committee of OOPSLA'2018.

Publications

† 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, (安卓运行时编译优化)
  • PI, NJU-Huawei Innovation Lab, 2023.7-2024.7, (数据库场景的编译优化)
  • PI, Alipay Innovation Research Project, 2023.1-2023.12, (基于硬件的JVM程序方法调用序列动态追踪)
  • PI, National Natural Science Foundation of China [General Program], 2023.1-2026.12, (软硬件协同的程序动态执行信息跟踪技术研究)
  • ZiJin Scholar of Nanjing University (南京大学"紫金学者"), 2022
  • PI, CCF-Huawei Innovation Research Award on Systems Software, 2021.11-2022.10, (GPU程序反馈式编译优化研究)
  • PI, NJU-Huawei Joint Innovation Lab, 2021.5-2022.5, (低时间开销的安全C语言增强集设计与实现)
  • PI, Alibaba Innovation Research (AIR) Award, 2021.1-2021.12, (分布式系统的软件错误的相关理论和检测分析工具)
  • Co-PI, National Natural Science Foundation of China [Key Program], 2021.1-2025.12, (基于模糊测试的物联网设备固件漏洞检测技术研究)
  • PI, NJU-Huawei Joint Innovation Lab, 2020.6-2021.5, (程序Cache行为静态分析)
  • PI, NJU-Huawei Joint Innovation Lab, 2020.4-2021.3, (安全C/C++语言增强集设计与实现)
  • Co-PI, National Natural Science Foundation of China [Key Program], 2020.1-2024.12, (自成长复杂软件系统构建方法与运行支撑研究)
  • PI, Natural Science Foundation of Jiangsu Province [General Program], 2019.7-2022.6, (基于GPU加速和核外计算的程序分析技术研究)
  • PI, National Natural Science Foundation of China [Young Scientists Program], 2019.1-2021.12, (基于大规模数据处理的程序分析技术研究)

Tools

  • BigDataflow: a distributed interprocedural dataflow analysis framework running on the cloud
  • DStream: a streaming-based highly parallel IFDS framework
  • JPortal: a hardware-based control-flow tracing system for JVM programs
  • Chianina: an evolving graph system for scalable flow- and context-sensitive static analysis
  • GpuSpa: a GPU-accelerated out-of-core system for static program analysis
  • BigSpa: a distributed interprocedural static program analysis engine
  • Grapple: a graph system for finite-state property checking of large-scale systems code
  • RStream: a single-machine, disk-based graph mining system
  • Graspan: a disk-based parallel graph system for interprocedural static analysis
  • JSampler: a sampled predicate-based instrumentor for Java

Talks

  • 针对eBPF程序的动态编译优化
    2024 CCF全国嵌入式系统大会-端侧大模型软硬件系统技术与应用论坛, 深圳, 2024.9.22.
  • Live Program Analysis(实况程序分析)
    SIG-程序分析技术沙龙, 南京, 2023.8.17. [中文视频]
  • GPU程序反馈式编译优化研究
    2023 CCF系统软件专委-编译器技术论坛, 天津, 2023.7.16.
  • 面向大规模基础软件的程序分析技术
    2022 CCF中国软件大会-基础软件质量保障论坛, 线上, 2022.11.27.
  • 基于硬件的程序动态控制流追踪系统
    2022 Huawei STW, Shenzhen, 2022.9.26-9.28.
    SIG-程序分析技术沙龙, 线上, 2022.4.23. [中文视频]
    南方科技大学, 线上, 2022.4.7.
  • 一种支持硬件动态程序追踪的JVM设计与实现
    2021 CCF中国软件大会-顶会顶刊论坛, 线上, 2021.12.24.
  • 安全C语言设计与实现
    CNCC 2021 中国计算机大会-安全程序设计语言论坛, 线上, 2021.12.17.
    ZGC安全程序设计语言研讨会, 线上, 2021.7.25.
  • Systemized Program Analysis(系统化程序分析)
    2022 网络安全技术论坛, 华为西安研究所, 2022.9.19-9.20.
    清华大学, 线上, 2022.3.11.
    CCF形式化方法专委战略研讨会:软硬件验证工具、研究进展与挑战, 线上, 2021.10.24.
    2021 华为"ICT软件技术大会·AI与软件技术峰会"&"网络天下·软件技术论坛", 华为南京研究所, 2021.10.19.
    SIG-程序分析技术沙龙, 线上, 2021.8.28. [中文视频]
    CCF系统软件技术论坛, 南京, 2021.7.15.
    2020 夏培肃青年学者论坛, 中国科学院计算技术研究所, 2020.9.3-9.4.
  • 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.
  • 安全语言增强集设计与实现
    2020 网络安全技术论坛, 华为松山湖研究所, 2020.9.10-9.11.
  • 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.

I'm co-advising many excellent students together with the faculty in the Software Engineering Group.

Current Students

  • Zewen Sun (PhD, starting Fall 2020)
  • Xudong Sun (PhD, starting Fall 2021)
  • Yunxiang Liu (PhD, starting Fall 2024)
  • Daiyou Wu (PhD, starting Fall 2024)

  • Siyu Liu (Master, starting Fall 2021)
  • Tianyì Liu (Master, starting Fall 2021)
  • Tianyí Liu (Master, starting Fall 2022)
  • Peng Zhou (Master, starting Fall 2022)
  • Yueyang Wang (Master, starting Fall 2022)
  • Yi Li (Master, starting Fall 2022)
  • Yanfeng Gao (Master, starting Fall 2023)
  • Xuyun Cai (Master, starting Fall 2023)
  • Xiaopeng Jiang (Master, starting Fall 2024)
  • Guichuan Hu (Master, starting Fall 2024)
  • Hang Dai (Master, starting Fall 2024)
  • Kaiyu Wang (Master, starting Fall 2024)
  • Jingyang Shi (Master, starting Fall 2024)
  • Kangxu Wei (Master, starting Fall 2024)
  • Xinjie Deng (Master, starting Fall 2024)

Graduated Students

  • Yiyu Zhang (PhD, 2024)

  • Kai Ji (Master, 2023)
  • Wei Tao (Master, 2023)
  • Yuhui Deng (Master, 2023)
  • Yun Qi (Master, 2023)
  • Guihang Wang (Master, 2022)
  • Duanchen Xu (Master, 2022)
  • Siyuan He (Master, 2022)
  • Xinyue Zhang (Master, 2022)
  • Yifei Wang (Master, 2021)
  • Shenming Lu (Master, 2020)
  • Qiuhong Pan (Master, 2020)
  • Lu Lu (Master, 2020)

  • Lanlan Zhang (Bachelor, 2021)
  • Tianyi Liu (Bachelor, 2021)
  • Xudong Sun (Bachelor, 2021)
  • Yichen Wang (Bachelor, 2020)
  • Chuang Pan (Bachelor, 2019)
  • Jin Shi (Bachelor, 2019)
  • Xiutian Yang (Bachelor, 2019)

Conference Committee

  • PLDI'25 PC
  • ICSE'25 Workshop PC
  • FSE'25 PC
  • OOPSLA'24 RC
  • ICSE'24 SRC PC
  • PLDI'24 PC
  • CC'24 PC
  • FSE'24 PC
  • ASE'23 PC
  • ChinaSys'23 PC
  • ChinaSoft'23 PC
  • Internetware'23 PC
  • ICSE'23 SRC PC
  • ChinaSys'22 PC
  • ChinaSoft'22 PC
  • Internetware'22 PC
  • APSys'22 PC
  • ESEC/FSE'22 PC
  • ASPLOS'22 ERC
  • PLDI'22 PC
  • ISEC'21 PC
  • ASPLOS'20 ERC
  • Internetware'20 PC
  • ISEC'20 PC
  • OOPSLA'18 AEC

Journal Reviewer

  • ACM TOSEM
  • IEEE TSE
  • JCST
  • JOC
  • JOS

Journal (Guest) Editor

  • 2024 JOS special issue on Compilation Technology and Compiler Design

Lecturer

  • NJU 22010100: Advanced Programming in C++ in Semester 2, 2023/2024
  • NJU 22010100: Advanced Programming in C++ in Semester 1, 2023/2024
  • NJU 22010100: Advanced Programming in C++ in Semester 2, 2022/2023
  • NJU 22010100: Advanced Programming in C++ in Semester 1, 2022/2023
  • NJU 22010100: Advanced Programming in C++ in Semester 2, 2021/2022
  • NJU 22010100: Advanced Programming in C++ in Semester 1, 2021/2022
  • NJU 22010100: Advanced Programming in C++ in Semester 2, 2020/2021
  • NJU 22010100: Advanced Programming in C++ in Semester 1, 2020/2021
  • NJU 22010100: Advanced Programming in C++ in Semester 1, 2019/2020
  • NJU 22000010: Basics of Programming with C in Semester 2, 2018/2019
  • NJU 22010100: Advanced Programming in C++ in Semester 1, 2018/2019

Teaching Assistant

  • NUS CS5218: Principles of Program Analysis in Semester 2, 2012/2013
  • NUS CS5218: Principles of Program Analysis in Semester 2, 2013/2014