anjali pal


I am a first-year PhD student in the PLSE Lab at the University of Washington. Zach Tatlock is my advisor.

Prior to grad school, I was a software engineer. I spent one year at Google working on Android Maps and Cloud Storage Security & Privacy, then I worked at for three years, where I built block-based programming environments for K-12 students. Here is a link to my CV.


I work on Ruler, a framework that uses equality saturation to automatically infer small, expressive rulesets for a domain.


Teaching Assistantships

Institution Course Number Course Title Year
University of Washington CSE 505 Programming Languages Winter 2023
Brown University CS 8 First Byte of Computer Science Spring 2017
Brown University CS 173 Programming Languages (Head TA) Fall 2016
Brown University CS 195Y Logic for Systems Spring 2016
Brown University CS 17 Intro. Functional Programming (Head TA) Fall 2015
Brown University CS 18 Intro. Object Oriented Programming Spring 2015
Brown University CS 17 Intro. Functional Programming Fall 2014

Guest Lectures

Institution Course Topic Year
Brown University Logic For Systems SlideRule: A Domain-Specific Language for Rewrite Rule Inference Using Equality Saturation Spring 2023
Brown University Intro. Software Engineering Dependency Migration in Practice Spring 2022




Github: ajpal