Ariel Eileen Kellison

Senior Research Engineer at Code Metal

Ariel Kellison is a Senior Research Engineer at Code Metal, where she works on ensuring the correctness of LLM-generated code using methods from programming languages, formal verification, and numerical analysis. She received her Ph.D. in computer science from Cornell University in December 2024 and subsequently held a postdoctoral appointment at Sandia National Laboratories. From 2020 to 2024, Ariel was a Department of Energy Computational Science Graduate Fellow, and in 2025 she was named a Frederick A. Howes Scholar in Computational Science and an MIT EECS Rising Star.

Ariel can be reached by email at [email protected].

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