I am extremely fortunate to be advised by Prof. Sanjit Seshia and Dr. Shaz Qadeer.

Main Projects

  • P : Event driven programming language for safe-asynchronous programs. P @ Github
  • Drona : A Programming Framework for Safe Robotics. Drona Webpage
  • Zing : Explicit State Model-Checker for concurrent programs. ZING @ Github


Links to my papers can be found at Google Scholar Page

Combining Model Checking and Runtime Verification for Safe Robotics
Drona: A Framework for Safe Distributed Mobile Robotics
Lasso Detection using Partial-State Caching
P: Modular and Safe Asynchronous Programming
Systematic Testing of Asynchronous Reactive Systems
Approximate Synchrony: An Abstraction for Distributed Almost-synchronous Systems
Endlessly Circulating Messages in IEEE 1588-2008 Systems
Natural proofs for Asynchronous Programs using Almost-synchronous Invariants
P: safe asynchronous event-driven programming
Critical path based performance models for distributed queries
Depth bounded explicit-state model checking