Hi! I'm Vijay.
Work
Oso
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