Ian McCormack

Preprint

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

Preprint

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

Ian McCormack, Joshua Sunshine, Jonathan Aldrich

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.

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.

SPLASH-E

Direct Manipulation for Computational Making

Ian McCormack, Chris Johnson

Lightning Talk. SPLASH-E , 2020.

Ian McCormack

Publications

Preprints

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

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

Peer-Reviewed Publications

Gradual C0: Symbolic Execution for Efficient Gradual Verification

Computational Making via Bidirectional Parametric Modeling

Research Competitions

One Program to Rule the Intersection

A Software Library Model for the Internet of Things

Talks

Direct Manipulation for Computational Making