Ariel Eileen Kellison

Senior Research Engineer at Code Metal

My research aims to help people build reliable software. To that end, I develop languages and tools for program verification, with my current work focused on ensuring the correctness of LLM-generated code. I received my PhD in computer science from Cornell University in December 2024 and subsequently joined Sandia National Laboratories as a postdoctoral appointee. From 2020 to 2024, I was a Department of Energy Computational Science Graduate Fellow, and in 2025 I was named both a Frederick A. Howes Scholar in Computational Science and an MIT EECS Rising Star.

I can be reached by email at ariel.kellison@codemetal.ai.

Dissertation

• Ariel E. Kellison. Type-Based Approaches to Rounding Error Analysis. PhD Thesis, Cornell University, December 2024.

Selected Publications

1. Ariel E. Kellison, Laura Zielinski, David Bindel, and Justin Hsu. Bean: A Language for Backward Error Analysis. PLDI, 2025.
2. Ariel E. Kellison and Justin Hsu. Numerical Fuzz: A Type System for Rounding Error Analysis. PLDI, 2024.
3. Andrew W. Appel and Ariel E. Kellison. VCFloat2: Floating-point Error Analysis in Coq. CPP, 2024.
4. Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, and David Bindel. LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs. ARITH, 2023.

Selected Reports

1. S. D. Pollard, J. M. Aytac, A. Kellison, I. Laguna, S. Nedunuri, S. Reis, M. J. Sottile, and H. K. Thornquist. The first tri-lab workshop on formal verification: Capabilities, challenges, research opportunities, and exemplars. Technical report, Sandia National Laboratories, 2024.

Service