FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Ian McCormack

Registered user since Sun 2 Mar 2025

Name:Ian McCormack
Bio:

I am a 4th year PhD student at Carnegie Mellon University. I study the challenges associated with interoperating between the Rust, C, and C++ programming languages. At the moment, I’m working on BorrowSanitizer—an LLVM instrumentation tool for finding violations of Rust’s Tree Borrows aliasing model in multi-language applications.

Country:United States
Affiliation:Carnegie Mellon University
Research interests:Programming Languages, Static Analysis, Dynamic Analysis, Rust

Contributions

Show activities from other conferences

Using general profile