Welcome!

Education

• MS in Computer Science, Purdue University, Graduated May 2025
  • Conducted research in software engineering, focusing on code intelligence and NLP for program analysis.
• Bachelor in Computer Science, Nanjing University, 2014 – 2018

Experience

• Research Assistant, Purdue University, 2019 Summer – 2020 Spring
• Teaching Assistant, Purdue University, 2018 Fall – 2024 Spring
  • CS381 Introduction to the Analysis of Algorithms
  • CS307 Software Engineering
• Software Engineer Intern, Google (Shanghai), 2018 Summer
• Software Engineer Intern, Google (Shanghai), 2017 Summer
• Engineering Practicum Intern, Google (Shanghai), 2016 Summer

Publications

C2S: Translating Natural Language Comments to Formal Program Specifications
Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, Xiangyu Zhang
ESEC/FSE 2020
[pdf]

CPC: Automatically Classifying and Propagating Natural Language Comments via Program Analysis
Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan, Shiqing Ma, Lei Xu, Weifeng Zhang, Lin Tan, Xiangyu Zhang
ICSE 2020
[pdf]

PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-Planning
Wei You, Zhuo Zhang, Yonghwi Kwon, Yousra Aafer, Fei Peng, Yu Shi, Carson Makena Harmon, Xiangyu Zhang
IEEE S&P (Oakland) 2020
[pdf]

SilentKey: A New Authentication Framework through Ultrasonic-based Lip Reading
Jiayao Tan, Xiaoliang Wang, Cam Tu Nguyen, Yu Shi
Ubicomp/IMWUT 2018
[link]

Personal Interests

🎹 I love music and enjoy playing the piano. I’m also a beginner on guitar, ukulele, and violin.
🌱 I’m curious, optimistic, and always excited to build things that make people’s lives better.