Person. Ariel E. Kellison

Staff Research Scientist · Code Metal · ak-2485.github.io · 0000-0003-3177-7958 · https://github.com/ak-2485/
PhD advisorAndrew W. Appel, David Bindel
PhDCornell University
UndergraduateUniversity of California, Santa Cruz

Papers

Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method tekriwal-2023-verifiedCICM · 2023
DOI

Towards Verified Rounding Error Analysis for Stationary Iterative Methods kellison-2022-towardsCorrectness · 2022
DOI
arielekellison person entries/rolodex/arielekellison.hel