index.html

<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="en"><head><title>Vijay Ramamurthy</title><meta charset="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"/><link rel="icon" href="/static/vijay.jpg"/><link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.5.0/css/bootstrap.min.css" integrity="sha384-9aIt2nRpC12Uk9gS9baDl411NQApFmC26EwAOH8WgZl5MYYxFfc+NcPb1dKGj7Sk" crossorigin="anonymous"/></head><body><div class="container"><div class="row my-3"><div class="col text-center"><h1 class="display-1">Hi! I'm Vijay.</h1></div></div><div class="row my-3 justify-content-center"><div class="col-md-8"><div class="my-3"><h1>Work</h1><div class="d-flex justify-content-between"><div><a href="https://www.osohq.com/">Oso</a></div><div class="font-weight-light">2022 - current</div></div><div class="d-flex justify-content-between"><div>Facebook/Meta on <a href="https://flow.org/">Flow</a></div><div class="font-weight-light">2019 - 2022</div></div></div><div class="my-3"><h1>Writing</h1><div class="my-1"><div>&quot;Is Polar Turing-Complete?&quot; (<a href="https://www.osohq.com/post/is-polar-turing-complete-and-why-i-hope-not">article</a>)</div><div class="text-right font-weight-light">Oso Blog, December 2023</div></div><div class="my-1"><div>&quot;Why I don't play Pokemon&quot; (<a href="https://www.osohq.com/post/why-i-dont-play-pokemon">article</a>)</div><div class="text-right font-weight-light">Oso Blog, August 2022</div></div><div class="my-1"><div>&quot;How I Implemented Type Inference for Request Validation&quot; (<a href="https://www.osohq.com/post/type-inference-request-validation">article</a>)</div><div class="text-right font-weight-light">Oso Blog, August 2022</div></div><div class="my-1"><div>&quot;Program Equivalence for Assisted Grading of Functional Programs&quot; (<a href="static/oopsla-2020.pdf">pdf</a>) (<a href="https://arxiv.org/pdf/2010.08051.pdf">extended version</a>)</div><div class="text-right font-weight-light">Published in OOPSLA 2020</div></div><div class="my-1"><div>&quot;Zeus: Algorithmic Program Equivalence&quot; (<a href="static/senior-thesis.pdf">pdf</a>)</div><div class="text-right font-weight-light">Senior Honors Thesis, 2019</div></div></div><div class="my-3"><h1>Side Projects</h1><ul><li><a href="https://github.com/vrama628/dominai">DominAI</a> A server that lets you write code to play the card game Dominion</li><li><a href="/wilty">Would I Lie to You?</a> An app for playing a party game based on a British game show</li></ul></div><div class="my-3"><h1>Links</h1><p><a href="https://github.com/vrama628">GitHub</a></p></div></div></div></div></body></html>