I'm broadly interested in the interplay between programming languages theory, high-performance systems, and software engineering.

I'm currently working on Grove with Prof. Cyus Omar at the Future of Programming Lab. Grove is a CRDT-based collaborative structure editor calculus with well-defined static semantics, that reimagines how version control and collaborative editing can be built using PL techniques to eliminate hueristics like the 3-way diff-and-merge. Instead, we add conflict holes , which lets us statically reason about conflicts while not interrupting editor services or marking false-positive conflicts where changes to code are morally independent (e.g adding a parameter and renaming a function and many more...). Grove also enjoys total type error localization and recovery à la the marked lambda calculus. Click here to check out our POPL '25 paper on Grove.

If you you have any interesting projects or ideas you'd like to discuss, you can reach me @ svishnus@umich.edu