Tools that formally verify program 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.
Extended abstract. In Proc. of the SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH), 2020, 28—30.
In Student Design Competition: Networked Computing at the Edge, 2020.
Demonstration. In FabLearn: Making as Resistance and Resilience, 2020.
Lightning Talk. In SPLASH-E, 2020.
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.