Ariel Eileen Kellison

Senior Research Engineer at Code Metal

Ariel Kellison is a Senior Research Engineer at Code Metal, where she applies her expertise at the intersection of programming languages, formal verification, and numerical analysis to the development of LLM-based transpilers. She received her Ph.D. in computer science from Cornell University in 2024 and subsequently held a postdoctoral appointment at Sandia National Laboratories. From 2020 to 2024, Ariel was a Department of Energy (DOE) Computational Science Graduate Fellow, and in 2025 she was named a Frederick A. Howes Scholar in Computational Science, one of the DOE's highest honors for emerging leaders in the field. She holds a Bachelor of Science with honors in astrophysics from the University of California, Santa Cruz.

Ariel can be reached by email at ak2485@cornell.edu.

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. Conditionally Accepted to 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