Annotating and Auditing the Safety Properties of Unsafe Rust
Published in arXiv, 2025
Publications
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
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