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
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]