About
I am a third-year PhD student in the PLSE group at the University of Washington. Zach Tatlock is my advisor.
Publications
| OOPSLA 2023 |
Equality Saturation Theory Exploration à la Carte
, Brett Saiki, Cynthia Richey, Ryan Tjoa, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi paper | slides | talk | code |
Teaching
| Autumn 2024 | University of Washington CSE 341
Programming Languages |
Teaching Assistantships
| Winter 2024 |
University of Washington CSE 331
Software Design & Implementation |
| Winter 2023 |
University of Washington CSE 505
Programming Languages |
| Spring 2017 |
Brown University CS 8
A First Byte of Computer Science |
| Autumn 2016 |
Brown University CS 173
Programming Languages (Head Teaching Assistant) |
| Spring 2016 |
Brown University CS 195Y
Logic for Systems |
| Autumn 2015 |
Brown University CS 17
Intro. Functional Programming (Head Teaching Assistant) |
| Spring 2014 |
Brown University CS 18
Intro. Object Oriented Programming |
| Autumn 2014 |
Brown University CS 17
Intro. Functional Programming |
Guest Lectures
| April 2024 |
Applying Author Styles (Chapter 6)
University of Washington CSE 493 X (Web Browser Engineering) |
| April 2024 |
Compiler Optimizations with Datalog and Equality Saturation (slides)
Wellesley College CS 340 (Modeling for Computer Systems) |
| April 2024 |
Compiler Optimizations with Datalog and Equality Saturation (slides)
Brown University CS 171 (Logic For Systems) |
| November 2023 |
Software Best Practices in Practice (slides)
Brown University CS 32 (Intro. Software Engineering) |
| May 2023 |
SlideRule: A Domain-Specific Language for Rewrite Rule Inference Using Equality Saturation (slides)
Brown University CS 171 (Logic For Systems) |
| April 2022 |
Dependency Migration in Practice (slides)
Brown University CS 32 (Intro. Software Engineering) |
Industry
| Summer 2024 |
Sandia National Laboratories
Research Intern I spent the summer with John Bender working on an extension to CompCert. |
| 2019 - 2022 | Code.org
Software Engineer I spent three challenging and rewarding years building block-based programming environments to support all of Code.org's K-12 Computer Science curricula. A highlight of my time at Code.org was the opportunity to work closely with and learn from CS education experts. Some projects I'm particularly proud of are:
|
| 2017 - 2018 | Google
Engineering Residency I spent about six months each working on Android Maps and Cloud Storage Security & Privacy Infrastructure. |
Service
| Summer 2024 |
SPLASH OOPSLA 2024
Artifact Evaluation Committee |
| Spring 2024 |
PNW PLSE
Co-Chair |
|
CSE 492R: Undergraduate Research Seminar
Grad Student Panelist |
|
| Winter 2024 |
SPLASH OOPSLA 2024
Artifact Evaluation Committee |
| Spring 2023 |
PNW PLSE
Co-Chair |
Contact
Email: anjalip@cs.washington.edu
Github: ajpal