Cynthia Richey

I'm Thia, a second-year PhD student at the University of Pennsylvania. My advisor is Benjamin C. Pierce, and my work is supported by the NSF GRFP.

Previously, I have interned with Amazon ARG, Certora, AT&T, and Geneial. I received a B.S. and M.S. from the University of Washington, where I was advised by Zachary Tatlock and Chandrakana Nandi.

You can contact me here, and my CV is here.

Papers

Fail Faster: Staging and Fast Randomness for High-Performance PBT
Cynthia Richey*, Joseph W. Cutler*, Harrison Goldstein, Benjamin C. Pierce (* denotes equal contribution.)
Preprint.

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

What is a Good Ruleset? Comparing Rulesets Using Equality Saturation
Cynthia Richey
ICFP 2023 SRC.

Bagels

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