Peer-Reviewed Publications

TOSEM

A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling

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

Transactions on Software Engineering and Methodology (TOSEM), 2026.

DOI

PDF
ICSE '25

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

Ian McCormack, Joshua Sunshine, Jonathan Aldrich

International Conference on Software Engineering, 2025.

DOI

PDF
TOPLAS

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

ACM Transactions on Programming Languages and Systems (TOPLAS), 2024.

DOI

arXiv

PDF
Bridges

Computational Making via Bidirectional Parametric Modeling

Chris Johnson and Ian McCormack

In Proceedings of Bridges 2021: Mathematics, Art, Music, Architecture, Culture, 2021.

PDF

Research Competitions

CPS-IoT Week

One Program to Rule the Intersection

Reese Grimsley, Edward Andert, Ian McCormack, Eve Hu, Bob Iannucci

Prototype.Student Design Competition: Networked Computing at the Edge, 2020.

Slides

Poster

Video
SPLASH

A Software Library Model for the Internet of Things

Ian McCormack

Extended abstract.In Proceedings of the SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH), 28—30, 2020.

PDF

Poster

Talks

SPLASH-E

Direct Manipulation for Computational Making

Ian McCormack, Chris Johnson

Lightning Talk.SPLASH-E, 2020.

Slides
© , Ian McCormack.