Vaibhav Mehta

Hi, I'm Vaibhav!

I am a Computer Science PhD student at Cornell University, advised by Justin Hsu. I work on understanding symmetry properties of programs—properties that are preserved by transformations. I hope to leverage these properties to make reasoning about programs easier and more efficient.

I am broadly interested in programming languages, formal methods, and their applications across domains.

Before Cornell, I was an undergraduate at Princeton University, where I had the privilege of working with David Walker and Zak Kincaid. In the summer of 2022, I interned at ETH Zurich under Peter Müller.

Publications

Type Systems for Exchangeability
Vaibhav Mehta, Justin Hsu
In Submission
A Hoare Logic for Symmetry Properties
Vaibhav Mehta, Justin Hsu
ACM SIGPLAN Conference on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA) 2025
[arXiv]
A Generic Methodology for the Modular Verification of Security Protocol Implementations
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
ACM SIGSAC Conference on Computer and Communications Security (CCS) 2023
[arXiv] [DOI]
SwitchLog: A Logic Programming Language for Network Switches
Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker
International Symposium on Practical Aspects of Declarative Languages (PADL) 2023
[DBLP] [DOI]