Ariel E. Kellison

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Ordinary Differential Equations

Top Venues

Proc. ACM Program. Lang.

Publications

Ariel E. Kellison, Justin Hsu
Numerical Fuzz: A Type System for Rounding Error Analysis. CoRR (2024)
Ariel E. Kellison, Justin Hsu
Numerical Fuzz: A Type System for Rounding Error Analysis. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs. ARITH (2023)
Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method. CICM (2023)
Ariel E. Kellison, Andrew W. Appel
Verified Numerical Methods for Ordinary Differential Equations. NSV/FoMLAS@CAV (2022)