Vaibhav Mehta

Hi, I'm Vaibhav!

I am a Computer Science PhD student at Cornell University, advised by Justin Hsu. 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.

I can be reached at vm353@cornell.edu.

Publications

A SymPL Logic for Verifying Symplectic Integrators
Vaibhav Mehta and Justin Hsu
In Submission
\(\lambda_{\lambda}\) : A Programming Language for Silicon Photonics
Vaibhav Mehta, Arjun Devraj, Bill Owen, Justin Hsu, and Rachee Singh
Conference of the ACM Special Interest Group on Data Communication (SIGCOMM) 2026
🏆 Best Paper Award
Type Systems for Finite Exchangeability
Vaibhav Mehta and Justin Hsu
In Submission
A Hoare Logic for Symmetry Properties
Vaibhav Mehta and 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, and 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, and David Walker
International Symposium on Practical Aspects of Declarative Languages (PADL) 2023
[DBLP] [DOI]