All My Stuff

Charles Averill

Abstract

Picture of me

I'm Charles Averill, a Ph.D. student under Kevin Hamlen and Christophe Hauser at UT Dallas. I study formal verification with interests in proof automation, separation logic, and binary programs (among many other things).


charles at utdallas dot edu


Résumé   CV

Github   orcid.org/0000-0001-6614-1808   arXiv

My Work

Publications

Title Venue
Formally-Verified, Tight Timing Constraints for Machine Code
Extended Abstract   Reviews
PLDI SRC 2025
VOLPIC: Verifying Lifted Pascal in Coq
Extended Abstract   Poster   Reviews
PLDI SRC 2024
Prettybird: A DSL for Programmatic Font Compilation
Extended Abstract   Poster   Reviews
PLDI SRC 2023
Self-Supervised Unseen Object Instance Segmentation via Long-Term Robot Interaction RSS 2023
Connecting the Brains via Virtual Eyes: Eye-Gaze Directions and Inter-brain Synchrony in VR CHI 2021
NFTree: Art Without Emissions JIPP Vol. 2 Issue 4

Writing More

Teaching

As an undergraduate, I taught two semester-long compiler design workshops, Practical Compiler Design in Spring 2023 and Introduction to Compiler Design in Fall 2023.

Additionally, I've given a number of educational outreach talks in fields such as formal verification and quantum computing through the UTD Computer Security Group (of which I am an officer) and the Dallas Hackers' Association.

Title Venues Dates
Tales from the Crypt(analysis): A Survey of Side-Channel Attacks
Recording Poster for my Tales from the Crypt(analysis) talk
CSG April 2025
Hacking the Man - A Guide to Filing Small Claims Cases in Dallas County DHA March 2025
Secrets of the Universe: The Ultimate Formal Verification Talk (v2)
Demo Poster for my Secrets of the Universe talk
CSG Nov 2024
Qubit Recycling Revisited
Handout
UTD Quantum Information Seminar Oct 2024
30 Cycles or It's Free - Formal Timing of Binary Code Poster for my 30 Cycles or It's Free talk DHA, CSG Sept, Oct 2024
Quarterly LangSec Review #1 - Dancing, Type Systems, and Quantum Computers DHA Sept 2024
The Good, The Bad, and The Binary: Formal Timing and Correctness of Binary Code Dartmouth TrustLab Aug 2024
Verifier of Lifted Pascal in Coq DHA Feb 2024
Type Inhabitation DHA Nov 2023
Secrets of the Universe: The Ultimate Formal Verification Talk (v1) Poster for my Secrets of the Universe talk CSG Oct 2023
Formal Program Verification (v1, v2) DHA May, Oct 2023
BCKW Combinator Calculus
LaTeX Source
CSG Apr 2023
Formal Program Verification
LaTeX Source   Video
Dallas Cyberfest Mar 2023
Secure Quantum Information Transfer CSG Nov 2022
Decompilation Schmecompilation Poster for my Decompilation, Schmecompilation talk CSG Oct 2022
Analysis of "Learning Synergies between Pushing and Grasping with Self-supervised Deep Reinforcement Learning"
LaTeX source   Original Paper
UTD Interactive Robotics and Vision Lab Apr 2022
Prison Snake
Recording Poster for my Prison Snake talk
CSG Feb 2022

Projects

Web Ring Is it really a web ring yet? Not sure, gotta wait til it catches on...

Name Link Notes
Software Languages Security Lab
Dr. Kevin Hamlen https://personal.utdallas.edu/~hamlen Principal Investigator
Ilan Buzzetti https://ilanb.xyz Graduate Student
Saquib Irtiza https://www.linkedin.com/in/saquib-irtiza Graduate Student
TrustLab
Christophe Hauser https://kereoz.github.io/ Principal Investigator
Sergey Bratus https://web.cs.dartmouth.edu/people/sergey-bratus Principal Investigator
Sean Smith https://www.cs.dartmouth.edu/~sws/ Principal Investigator
Ben Kallus https://kallus.org/ Graduate Student
Georgios Nikitopoulos https://www.linkedin.com/in/giorgos-nikitopoulos-03a341171 Graduate Student
Wei-Cheng Wu https://www.linkedin.com/in/wei-cheng-wu-spencer/ Graduate Student
Kyungtae Kim https://kt0755.github.io/ Assistant Professor
UTD
Elliot Tarbet https://tar.bet CSG Officer
Payton Harmon http://www.walmartdeli.com Former CSG President
Jerry Teng https://www.linkedin.com/in/jerryteng01 Former CSG Officer
Willie Chalmers III https://www.williecubed.me
Dent
Sidh Suchdev https://sidhsuchdev.com
Alex Bellon https://alex-bellon.com
Rocq
Benjamin Pierce https://www.cis.upenn.edu/~bcpierce/
Andrew Appel https://www.cs.princeton.edu/~appel/
Adam Chlipala http://adam.chlipala.net/
Li-yao Xia https://poisson.chat/
Pierre-Marie Pédrot https://www.pédrot.fr/
Joomy Korkut https://joomy.korkutblech.com/
Yves Bertot https://www.inria.fr/en/yves-bertot

Games

Miscellaneous

Scripts

Settings

Click here!