Ariel E. Kellison -

Registered user since Sun 28 Nov 2021

Name:Ariel E. Kellison

Country:United States

Affiliation:Cornell University

Personal website: https://ak-2485.github.io/

Contributions

2025

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Author of Bean: A Language for Backward Error Analysis within the PLDI Research Papers-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2024

PLDI

Author of Numerical Fuzz: A Type System for Rounding Error Analysis within the PLDI Research Papers-track

POPL

Session Chair of Wednesday Morning Session Previews (part of Session Previews)

CPP

Author of VCFloat2: Floating-point error analysis in Coq within the CPP 2024-track

2022

CPP

Author of A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem within the CPP 2022-track