Ian McCormack

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Factors Affecting

Test Generation

Cyber Physical Systems

Design Methodology

Top Venues

ACM Trans. Cyber Phys. Syst.

Publications

Ian McCormack, Joshua Sunshine, Jonathan Aldrich
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. CoRR (2024)
Ian McCormack, Tomas Dougan, Sam Estep, Hanan Hibshi, Jonathan Aldrich, Joshua Sunshine
"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code. CoRR (2024)
Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
Gradual C0: Symbolic Execution for Efficient Gradual Verification. CoRR (2022)
Mohammad Khayatian, Mohammadreza Mehrabian, Edward Andert, Reese Grimsley, Kyle Liang, Yi Hu, Ian McCormack, Carlee Joe-Wong, Jonathan Aldrich, Bob Iannucci, Aviral Shrivastava
Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures. ACM Trans. Cyber Phys. Syst. 6 (3) (2022)