Ian McCormack

Publications

Preprints

Preprint

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

Ian McCormack, Joshua Sunshine, Jonathan Aldrich

Preprint

"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

Peer-Reviewed Publications

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

Under minor revision for ACM Transactions on Programming Languages and Systems (TOPLAS) , 2024.

Bridges

Computational Making via Bidirectional Parametric Modeling

Chris Johnson and Ian McCormack

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

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.

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.

Talks

SPLASH-E

Direct Manipulation for Computational Making

Ian McCormack, Chris Johnson

Lightning Talk. SPLASH-E , 2020.