Profile photo

Thalia Archibald

PhD student
University of Utah

[email protected]
github.com/thaliaarchi
@[email protected] (Mastodon)
Curriculum vitæ

I am a PhD student at the University of Utah, researching compiler verification with John Regehr. My current work involves extending Alive2, a translation validator for LLVM, to verify more complex programs.

I also research software history, particularly of early UNIX and regular expression engines. I was involved in recovering UNIX V4 and am on the The Unix Heritage Society team, working to release other distributions.

I contribute to open source projects, including the Rust standard library, jq and jqjq, and Git.

Blog

Publications