Charles Averill -

Registered user since Tue 17 Jan 2023

Name:Charles Averill

Country:United States

Affiliation:University of Texas at Dallas

Personal website: https://seashell.charles.systems/

GitHub: https://github.com/CharlesAverill

Contributions

2025

SPLASH

Author of The Proof Must Go On: Formal Methods in the Theater of Secure Software Development of the Future within the Onward! Essays-track

PLDI

Author of Formally-Verified, Tight Timing Constraints for Machine Code within the Student Research Competition-track

2024

PLDI

Author of VOLPIC: Verifying Lifted Pascal in Coq within the SRC-track

2023

PLDI

Author of Prettybird: A DSL for Programmatic Font Compilation within the SRC-track