Blog
0 postsCategories
Tags
Contributions
0 itemsAbout
About Me
Hi, I'm Clover, a postgraduate student at Fudan University with a focus on Rust programming and AI. I'm currently diving deep into the Rust compiler internals and contributing to the Rust ecosystem.
I'm active in the Rust community, primarily on Zulip, where I discuss memory safety, undefined behavior, and compiler design. My open-source work focuses on finding and fixing soundness issues in Rust crates using Miri.
I believe in the power of safe systems programming and am passionate about making Rust's safety guarantees stronger and more accessible.
Skills & Expertise
Languages
Tools & Frameworks
Research Areas
Timeline
Rust Compiler Contribution
Opened PR #155201 to rustc — prototype implementing RFC 3842 with safety::requires attribute for rustdoc.
Soundness Research with Miri
Systematically found and reported undefined behavior in 30+ Rust crates including tokio, apache/arrow-rs, tree-sitter, and icu4x using Miri.
Safety Tags Contributions
Multiple merged PRs to safer-rust/safety-tags — adding Rust-for-Linux safety properties and documentation.
M.S. at Fudan University
Started postgraduate studies in Computer Science at Fudan University, focusing on Rust compiler internals and program analysis.
RAP Contributions
Multiple merged PRs to WIZeaz/RAP — Rust Analysis Platform, improving re-exported path generation and API dependency graphs.
Open Talks & Discussions
- Different output when testing std::ptr::copy by Miri #t-opsem
- Provide the meaning of "Valid" to Understand #rust-for-linux