Ariel Kellison

According to our database, Ariel Kellison authored at least 11 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Mechanizing Olver's Error Arithmetic.

Max Fan, Ariel E. Kellison, Samuel D. Pollard

Proceedings of the International Workshop on Verification of Scientific Software, October, 2025

Type-Based Approaches to Rounding Error Analysis.

Ariel E. Kellison

CoRR, January, 2025

Bean: A Language for Backward Error Analysis.

Ariel E. Kellison, Laura Zielinski, David Bindel, Justin Hsu

Proc. ACM Program. Lang., 2025

2024

Numerical Fuzz: A Type System for Rounding Error Analysis.

Ariel E. Kellison, Justin Hsu

Proc. ACM Program. Lang., 2024

VCFloat2: Floating-Point Error Analysis in Coq.

Andrew W. Appel, Ariel Kellison

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.

Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs.

Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2022

A machine-checked direct proof of the Steiner-lehmus theorem.

Ariel Kellison

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

Towards Verified Rounding Error Analysis for Stationary Iterative Methods.

Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette

Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022

Verified Numerical Methods for Ordinary Differential Equations.

Ariel E. Kellison, Andrew W. Appel

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2019

Implementing Euclid's straightedge and compass constructions in type theory.

Ariel Kellison, Mark Bickford, Robert L. Constable

Ann. Math. Artif. Intell., 2019