About
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 Code.org for three years, where I built block-based programming environments for K-12 students. Here is a link to my CV.
Research
I work on Ruler, a framework that uses equality saturation to automatically infer small, expressive rulesets for a domain.
Teaching
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 |
Service
- PNW PLSE Co-Chair, 2023
Contact
Email: anjalip@cs.washington.edu
Github: ajpal