Ian McCormack
banner
icmccorm.com
Ian McCormack
@icmccorm.com
PhD Candidate in Software Engineering @CMU
Studying Rust interop 🦀

borrowsanitizer.com
If you can’t attend, but you’re interested in learning more, you can follow up with us on GitHub. All of our work is open source.

github.com/BorrowSaniti...
GitHub - BorrowSanitizer/bsan: Finding ownership bugs at scale.
Finding ownership bugs at scale. Contribute to BorrowSanitizer/bsan development by creating an account on GitHub.
github.com
October 27, 2025 at 12:01 AM
We intend for this to become a production ready solution for real-world C and C++ applications that are migrating to Rust, and we’re coordinating with the Rust Project so that the changes we depend on can become part of the compiler. rust-lang.github.io/rust-project...
Emit Retags in Codegen - Rust Project Goals
rust-lang.github.io
October 26, 2025 at 11:58 PM
We have a similar situation with BorrowSanitizer; one crate can only be built as a staticlib, but otherwise everything else could go through cargo.
August 21, 2025 at 6:54 AM