Research

I am a PhD student in Software Engineering at Carnegie Mellon University’s Institute for Software Research. I am advised by Dr. Jonathan Aldrich and Dr. Joshua Sunshine.

Tools that formally verify a program’s correctness tend to require significant up-front investment in annotating source code. I am researching gradual approaches to verification and program analysis to make these practices easier to adopt without compromising on soundness or effectiveness.

I am currently collaborating with Jenna Wise, Conrad Zimmerman, and Hermant Gouni on the design and implementation of a gradual verifier for the C0 programming language. We will empirically evaluate the effectiveness of this new gradual verification technique over C0’s existing static verifier.

Publications

Conferences

• Ian C. McCormack. “A Software Library Model for the Internet of Things.” In: Companion Proceedings ofthe 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion ’20), November 15–20, 2020, Virtual, USA

Artifacts & Demonstrations

• Reese Grimsely, Edward Andert, Ian McCormack, Eve Hu, Bob Iannucci. “One Program to Rule the Intersection: Simulating Development of Distributed, Time-Sensitive Applications”. In: CPS-IoT Week, Student Design Competition: Networked Computing on the Edge, 2021. Won 2nd place

• Ian C. McCormack, Chris Johnson. Direct Manipulation and SVG: Creating and Adjusting Graphics Programmatically and Visually. In: FabLearn 2020, Demonstration, October 10–11, 2020, Virtual, USA

Education

I attended the University of Wisconsin-Eau Claire from 2017 to 2021, and I completed a double major in Computer Science and English with a cumulative GPA of 3.99.

Dr. Chris Johnson was my undergraduate research mentor. We built Twoville and Scute: implementations of a direct manipulation programming language for animating vector graphics designs.