me

Cynthia Richey

I am a master's student at the University of Washington, doing research with the PLSE group. My primary interest is in equality saturation, but I also like language design, formal verification, and probably some other things—I'm still figuring it out. I am advised by Zachary Tatlock and Chandrakana Nandi. I will be applying to PhD programs this coming cycle; if you have any thoughts on that, you should contact me.

This past summer, I was a research intern at Certora, working on equality saturation and mutation testing applications. The previous summer, I was a software engineer intern at AT&T. There, I finally learned JavaScript, so now I have no excuse not to make this website better, and yet I resist. Before that, I interned with genomics startup Geneial, where I developed privacy-protecting querying tools which allow users to derive insights from encrypted data. I have also worked as a tutor for the Math Study Center, a drop-in tutoring resource for students taking UW's introductory calculus sequence, and as a teaching assistant for UW's undergraduate programming languages course, CSE 341.

Although I have lived in Seattle since 2016, I am originally from Columbia, South Carolina, a city I once heard described as "a hot concrete bowl." I don't disagree with this characterization, but I love it anyway. Outside of school, I listen to loud, weird music and cook an improbable amount. I go by Thia, usually.

News

(Oct 2023)
Equality Saturation Theory Exploration à la Carte was accepted at OOPSLA 2023.

(Sep 2023)
I won 1st Place in the undergraduate category at the ICFP 2023 SRC.

(Jun 2023)
I graduated with a BS in Computer Science.

Papers

Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa*, Cynthia Richey*, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
(* denotes equal contribution.)
OOPSLA 2023

What is a Good Ruleset? Comparing Rulesets Using Equality Saturation
Cynthia Richey
ICFP 2023 SRC (1st Place)

Bagels

Here is the bagel recipe. I haven't updated it in a while, I know, sorry.