Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
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.