I was born and raised in Nanjing, China. I’m currently pursuing Master degree at Software Institue, Nanjing University, as a member of NJU-iSE DL testing group, working with Associate Prof. Chunrong Fang. Before Joining Nanjing University, I received my B.Eng degree from Nantong University, fortunately supervised by Associate Prof. Xiang Chen. I have disclosed 100+ previously unknown bugs for popular fundmental components of deep learning systems (e.g., vLLM, SGLang, PyTorch, TensorFlow, TVM), including 5 CVEs. I’m also a contributor of PyTorch, aiming to fix some bugs in Inductor (a PyTorch native compiler).
My research interest lies at the intersection of AI Infrastructures, Software Testing (Analysis), and Large Language Models, aiming to build more reliable, effective, and efficient AI systems for programming language and software engineering. More specifically, I am currently (or previously) focusing on following Research Problems (RPs):
RP1: How to ensure the correctness of AI Infras (vLLM, PyTorch & Inductor, TVM, etc.)?
RP2: How to unleash the power of LLMs in specific domain (fuzzing, static analysis, etc.)?
RP3: How to use LLM-based approaches to provide quality assurance for software repositories (GitHub, Stack Overflow, etc.)?
AgeForever 18🤪 (well, actually 23)
ResidenceChina
AddressJiangsu Science and technology Building, Nanjing, China
I love the feelings of being on the way forever🚶♂️➡️. I am always open to new opportunities and challenges! Exploring the unknown is really important for me. My dream is to travel around the world (it would be great if with my research🚀).
Perviouly, I learned 🎹electronic organ in my high school. Currently, I’m trying to move to the piano (they are very simmilar). My favorite piano song is Summer. Welcome to play or sing a song with me or discussion on music!🎶
Swimming🏊♂️ is cool! I can do breaststroke and now I am teaching myself freestyle at Lui Chi-Woo Natatorium, Gulou Campus, Nanjing University. Additionally, swimming is also a good sport for losing weight (yeah, I’m currently losing weight🤠).
I’m really open to exchanging ideas with others and talking freely. I firmly believe that talking is the magic bullet🪄 of maintaining human connections. So, do you want to chat with me over a cup of coffee☕️?
Although LLMs have made deep impression on coding performance🧐, I think coding is still a basic skill for computer science (CS) students. I spend 1~2 whole days a week on coding🧑💻 completely. Of course, during this process, I enjoy collaborating with AI assistants. I am currently considering how we can reach the peak of perfection on coding (with AI assistants). Welcome to discussing this with me!🤩
My research belief is to make something really work
🌈
We will aim to make steady progress with small milestones along the way, but the ultimate goal of our research is to create something impactful and real, which is expected to be either novel or practical.
I received my B.Eng. degree from Nantong University, majoring in Software Engineering. I was verry very very fortunate to begin my research career under the supervision of Prof. Xiang Chen. During my undergraduate study, I was also very lucky to meet many excellent guys (Guang Yang, Ke Liu, Yanlin Zhou, Wei Cheng, Guilong Lu, Wenlong Pei, Xingju Wang, etc.), which makes this journey memorable and fulfilling.
🏆ACM SIGSOFT Distinguished Paper Award (ICPC 2023)
Our publiacation entitled QTC4SO: Automatic Question Title Completion for Stack Overflow in ICPC 2023 won the ACM SIGSOFT Distinguished Paper Award (2 of 22 accepted papers). Thanks for the recognition!
2023.12
国奖
National Scholarship
I won the National Scholarship for the 2023-2024 academic year as the 1st rank in my college. Awarded by the Ministry of Education of the People's Republic of China, it is the highest honor for Chinese undergraduate students.