Ankush Desai.

Advisors

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

Publications.

Links to my papers can be found at Google Scholar Page

Combining Model Checking and Runtime Verification for Safe Robotics
  • Ankush Desai, Tommaso Dreossi and Sanjit Seshia
    • •
  • RV
    • •
  • 2017
Drona: A Framework for Safe Distributed Mobile Robotics
  • Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer and Sanjit Seshia
    • •
  • ICCPS
    • •
  • 2017
Lasso Detection using Partial-State Caching
  • Rashmi Mudduluru, P Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
    • •
  • FMCAD
    • •
  • 2017
P: Modular and Safe Asynchronous Programming
  • Ankush Desai, Shaz Qadeer
    • •
  • RV Tutorial
    • •
  • 2017
Systematic Testing of Asynchronous Reactive Systems
  • Ankush Desai, Shaz Qadeer and Sanjit Seshia
    • •
  • FSE
    • •
  • 2015
Approximate Synchrony: An Abstraction for Distributed Almost-synchronous Systems
  • Ankush Desai, Sanjit Seshia, Shaz Qadeer, David Broman, and John Eidson
    • •
  • CAV
    • •
  • 2015
Endlessly Circulating Messages in IEEE 1588-2008 Systems
  • David Broman, P Derler, Ankush Desai, John Eidson, and Sanjit Seshia
    • •
  • International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication
    • •
  • 2014
Natural proofs for Asynchronous Programs using Almost-synchronous Invariants
  • Ankush Desai, Pranav Garg, and P. Madhusudan
    • •
  • OOPSLA
    • •
  • 2014
P: safe asynchronous event-driven programming
  • Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Damien Zufferey
    • •
  • PLDI
    • •
  • 2013
Critical path based performance models for distributed queries
  • Ankush Desai, Kaushik Rajan, Kapil Vaswani
    • •
  • MSR-TR
    • •
  • 2012
Depth bounded explicit-state model checking
  • Abhishek Udupa, Ankush Desai and Sriram Rajamani
    • •
  • SPIN
    • •
  • 2011