Ian McCormack

According to our database, Ian McCormack authored at least 5 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries.

Ian McCormack, Joshua Sunshine, Jonathan Aldrich

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Gradual C0: Symbolic Execution for Gradual Verification.

Jenna DiVincenzo, Ian McCormack, Conrad Zimmerman, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Joshua Sunshine, Éric Tanter, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., December, 2024

"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code.

Ian McCormack, Tomas Dougan, Sam Estep, Hanan Hibshi, Jonathan Aldrich, Joshua Sunshine

CoRR, 2024

2022

Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures.

Mohammad Khayatian, Mohammadreza Mehrabian, Edward Andert, Reese Grimsley, Kyle Liang, Yi Hu, Ian McCormack, Carlee Joe-Wong, Jonathan Aldrich, Bob Iannucci, Aviral Shrivastava

ACM Trans. Cyber Phys. Syst., 2022

Gradual C0: Symbolic Execution for Efficient Gradual Verification.

Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich

CoRR, 2022