Portrait
Posts by Collection
portfolio
Selected Poems
Original poems arranged from newest to oldest.
publications
Revealing Performance Issues in Server-Side WebAssembly Runtimes Via Differential Testing
Published in 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023), 2023
Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems
Published in 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), 2024
Annotating and Auditing the Safety Properties of Unsafe Rust
Published in arXiv, 2025
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
编程方法与技术
Undergraduate Course, Fudan University, 2024
Teaching Assistant for 编程方法与技术 (Programming Methods and Techniques), Fall 2024–2025.
Memory Safety and Programming Language Design
Graduate Course, Fudan University, 2025
Teaching Assistant for 安全编程语言设计 (Memory Safety and Programming Language Design), Spring 2024–2025.