Bio
I am Xizhe Yin, a Ph.D. student in School of Computer Science and Technology at Nanjing University, under the joint supervision of Prof. Baowen Xu and Dr. Yang Feng. My research interests lie in the field of Software Engineering, with a focus on developing innovative techniques and tools to improve software quality and reliability. Specifically, my current research work centers around software testing and program analysis for Rust programming language. I am the lead maintainer of the Crates-Pro, a project dedicated to enhancing the security of the Rust ecosystem. Our mission is to equip Rust developers with essential insights and recommendations on crate usage, ensuring that their projects remain both safe and efficient.
Education Background
- Sep 2019 - June 2023: Bachelor in Computer Science, Nanjing University
- Sep 2023 - Present: Ph.D. in Software Engineering, Nanjing University
Research Interests
- Rust Programming Language
- Software Analysis (Pointer Analysis)
- Software Testing
My Talks
CratesPro - A Rust Crate Analysis and Recommendation Platform
CratesPro is an AI-driven platform for analyzing and recommending Rust crates. It helps Rustaceans efficiently choose and optimize libraries, offering features like vulnerability detection, perform...