Students

I am very fortunate to work together with the following amazing students.

PhD Students:

• Peishan Huang (2024~): Program Synthesis

• Yide Du (2024~): Static Aanalysis

• Wenmeng Zhang (2023~), co-supervised with Prof. Ji Wang: Neuro-Symbolic Programming

• Xudong Wang (2023~), co-supervised with Prof. Chun Huang: Program Analysis and Verification for Parallel Programs

• Guofeng Zhang (2023~), co-supervised with Prof. Ji Wang: Program Analysis

• Ke Ma (2023~): Program Analysis

• Meixi Liu (2023~): Topics to be determined

• Xu Yang (2022~), co-supervised with Prof. Wei Dong: Constraint Solving

• Kunlin Liu (2022~), co-supervised with Prof. Ji Wang: Program Analysis

• Weijiang Hong (2020~2024), co-supervised with Prof. Ji Wang: Program Verification and Program Synthesis

• Ziqi Shuai (2019~2024), co-supervised with Prof. Ji Wang: Symboic execution and SMT solving

• Hengbiao Yu (2014~2018), co-supervised with Prof. Ji Wang: Symboic Verificaiton of Parallel Programs, current position: Assistant Professor in NUDT

• Jingwen Zhou (2011~2015), co-supervised with Prof. Ji Wang: Dynamic Analysis of Distributed Systems, current position: Associate Professor in NUDT

• Xianjin Fu (2010~2015), co-supervised with Prof. Ji Wang: Symboic Execution of Parallel Programs, current position: Ant Group -> ByteDance

• Yufeng Zhang (2009~2013), co-supervised with Prof. Ji Wang: Symboic Execution, current position: Associate Professor in Hunan University

• Pei Fan (2008~2012), co-supervised with Prof. Ji Wang: Cloud Computing

Master Students:

• Jiaqiang Yao (2023~), co-supervised with Prof. Ji Wang: Topics to be determined

• Yao Lin (2023~): Topics to be determined

• Ziran He (2023~): Topics to be determined

• Kelin Ma (2022~): Symbolic Execution

• Zheng Bian (2022~), co-supervised with Prof. Ji Wang: Program Analysis of Parallel Programs

• Yongchao Xing (2021~2024), co-supervised with Prof. Bin Liang: Dynamic Analysis

• Zhen Wang (2021~2024), co-supervised with Prof. Shaojing Fu: Program Verification

• Luyao Liu (2021~2024): Regression Testing

• Peishan Huang (2021~2023), co-supervised with Prof. Ji Wang: Formal Verification of BT

• Siang Zhao (2020~2023), co-supervised with Prof. Huiping Zhou: Formal Verification of Fuzzy Models

• Nenghui Hu (2020~2023): Program Analysis of Parallel Programs

• Yunlai Luo (2020~2023): Automatic Grammar Synthesis

• Guofeng Zhang (2020~2022): Symboic execution

• Meixi Liu (2019~2022), co-supervised with Prof. Ji Wang: Symboic execution benchmark

• Weiyu Pan (2019~2022): Symboic execution of Complex Parsing Programs

• Yang Liu (2019~2022): Selective Symbolic execution

• Yide Du (2019~2022): Verification of Uninterpreted Programs

• Tianqi Zhang (2018~2021), co-supervised with Prof. Ji Wang: SMT solving optimization in Symbolic Execution

• Jinjian Luo (2018~2021): Fuzzing

• Zehua Chen (2018~2021): SMT solving optimization in Symbolic Exuection

• Weijiang Hong (2017~2019), co-supervised with Prof. Ji Wang: Model checking benchmark, DNN testing

• Chendong Feng (2017~2019), co-supervised with Prof. Wei Dong: DNN Verification

• Weixi Jia (2015~2018), co-supervised with Prof. Wei Dong: Symbolic exeuction and Fuzzing

• Yijun Liu (2015~2017), co-supervised with Prof. Wei Dong: Symbolic Execution

Under-graduate Students:

• Minghui Chen (2024): Hybrid Testing

• Hongkai Chen (2024): Constraint Solving Platform

• Shibo Xu (2023): Runtime Verification

• Ziran He (2023): Parallel Symbolic Execution

• Jun He (2023): Search-based Testing

• Zhe Bai (2023): Regression Testing

• Dong Wang (2023): Verification of BT

• Kelin Ma (2022): VSCode-based IDE

• Zongyang Li (2022): Formal Verification of Fuzzy Models

• Kunlin Liu (2022): Clang-based Source-Level MC/DC Coverage Tool