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)

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)

"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)

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., 2024)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. - Ian McCormack; Joshua Sunshine; Jonathan Aldrich (ICSE, 2025)