Hi! I'm Vijay.

Work

2022 - current
Facebook/Meta on Flow
2019 - 2022

Writing

"Is Polar Turing-Complete?" (article)
Oso Blog, December 2023
"Why I don't play Pokemon" (article)
Oso Blog, August 2022
"How I Implemented Type Inference for Request Validation" (article)
Oso Blog, August 2022
"Program Equivalence for Assisted Grading of Functional Programs" (pdf) (extended version)
Published in OOPSLA 2020
"Zeus: Algorithmic Program Equivalence" (pdf)
Senior Honors Thesis, 2019

Side Projects

  • DominAI A server that lets you write code to play the card game Dominion
  • Would I Lie to You? An app for playing a party game based on a British game show

Links

GitHub