Ian McCormack
icmccorm
PhD student in Software Engineering @ Carnegie Mellon
verus
Verified Rust for low-level systems code
Updated 5/20/2025
unsafe-study
An interview and survey study on how Rust developers use unsafe code.
RUpdated 5/15/2025
mirilli
A study of undefined behavior across foreign function boundaries in Rust libraries.
RUpdated 5/14/2025
site
No description provided.
HTMLUpdated 3/23/2025
plateau-2025
No description provided.
HTMLUpdated 2/12/2025