
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
GitHub: https://github.com/icmccorm
Research interests:Programming Languages, Static Analysis, Dynamic Analysis, Rust
Contributions
Using general profile