Anjali Pal

About

I am a second-year PhD student in the PLSE group 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 Code.org for three years, where I built block-based programming environments for K-12 students.

Publications

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

Teaching

Winter 2023 University of Washington CSE 505
Teaching Assistant
Programming Languages
Spring 2017 Brown University CS 8
Teaching Assistant
A First Byte of Computer Science
Fall 2016 Brown University CS 173
Head Teaching Assistant
Programming Languages
Spring 2016 Brown University CS 195Y
Teaching Assistant
Logic for Systems
Fall 2015 Brown University CS 17
Head Teaching Assistant
Intro. Functional Programming
Spring 2014 Brown University CS 18
Teaching Assistant
Intro. Object Oriented Programming
Fall 2014 Brown University CS 17
Teaching Assistant
Intro. Functional Programming

Service

Spring 2023 PNW PLSE
Co-Chair

Contact

Email: anjalip@cs.washington.edu

Github: ajpal