I'm a first-year PhD student at the University of Pennsylvania, studying programming languages. My work is supported by the NSF GRFP. Previously, I attended the University of Washington, where I was advised by Zachary Tatlock and Chandrakana Nandi.
I will be interning at Amazon Web Services this summer, in the Automated Reasoning group. My former internships include Certora, AT&T, and Geneial. 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.
(Aug 2024)
I graduated with a MS in Computer Science.
(Apr 2024)
I was awarded the NSF Graduate Research Fellowship.
(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.
Fail Faster: Staging and Fast Randomness for High-Performance PBT
Cynthia Richey*, Joseph W. Cutler*, Harrison Goldstein, Benjamin C. Pierce
(* denotes equal contribution.)
(under submission)
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 (1st Place)
