Context-Free-Language Reachability for Almost-Commuting Transition Systems
N. Pimpalkhare, Zachary Kincaid, Thomas Reps
People
Nikhil Pimpalkhare
Research Scientist
Nikhil Pimpalkhare is a research scientist at Basis. He previously completed his PhD at Princeton University with Zachary Kincaid, where he developed robust inter-procedural program analysis techniques which provide formal guarantees about how changes to a program may change the resulting analysis. His research interests are in program analysis and formal verification.
About
I am a research scientist at Basis, where I work on building systems that formally reason about the behavior of software. I completed my PhD at Princeton University with Zachary Kincaid. There, I developed program analysis techniques which automatically compute properties of programs from their source code. In particular, we focused on robust analysis techniques, in which the properties computed for related programs are analogously related. I am broadly interested in program analysis, formal verification, and automated reasoning.Select Publications
Articles
Basis essays and updates this person wrote or contributed to.
Using LLM-based Verification to Eliminate Bugs in Linux's Network Stack
We used LLMs to verify Linux’s nftables
nft CLI utility. Along the way, we found and patched bugs that had sat in the kernel for years.