Yufeng Zhang

Full Professor, Hunan University

Joined

March 2023

Names

Yufeng Zhang (Preferred)

Emails

****@163.com (Confirmed)

Personal Links

Homepage

DBLP

Career & Education History

Full Professor

Hunan University (hnu.edu.cn)

2025 – Present

Associate Professor

Hunan University (www.hnu.edu.cn)

2020 – 2024

Research assitant

JiangNan Institute of Computing Technology (jn.edu.cn)

2014 – 2020

Advisors, Relations & Conflicts

PhD Advisor

Ji Wang

2009 – 2013

Expertise

artificial intelligence

2019 – 2026

software engineering

2009 – 2023

Publications

On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions
Yufeng Zhang, Jialu Pan, Kenli Li, Wanwei Liu, Zhenbang Chen, Xinwang Liu, J Wang
- NeurIPS 2023 poster
- Readers: Everyone
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang
- Published: 01 Jan 2022, Last Modified: 14 May 2023
- APSEC 2022
- Readers: Everyone
Synthesize solving strategy for symbolic execution
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang
- Published: 01 Jan 2021, Last Modified: 14 May 2023
- ISSTA 2021
- Readers: Everyone
Type and interval aware array constraint solving for symbolic execution
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang
- Published: 01 Jan 2021, Last Modified: 14 May 2023
- ISSTA 2021
- Readers: Everyone
A Runtime Monitoring Based Fuzzing Framework for Temporal Properties
Jinjian Luo, Meixi Liu, Yunlai Luo, Zhenbang Chen, Yufeng Zhang
- Published: 01 Jan 2021, Last Modified: 14 May 2023
- ISSRE Workshops 2021
- Readers: Everyone
Grammar-agnostic symbolic execution by token symbolization
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang
- Published: 01 Jan 2021, Last Modified: 14 May 2023
- ISSTA 2021
- Readers: Everyone
On the Properties of Kullback-Leibler Divergence Between Gaussians
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang
- Published: 01 Jan 2021, Last Modified: 14 May 2023
- CoRR 2021
- Readers: Everyone
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen
- Published: 01 Jan 2020, Last Modified: 14 May 2023
- CoRR 2020
- Readers: Everyone
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang
- Published: 01 Jan 2020, Last Modified: 14 May 2023
- ASE 2020
- Readers: Everyone
Synthesizing Smart Solving Strategy for Symbolic Execution
Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan
- Published: 01 Jan 2020, Last Modified: 14 May 2023
- ASE 2020
- Readers: Everyone

View all 23 publications

Co-Authors

View all 26 co-authors