Home   |   Projects   |   Publication   |  Software Products   |   Contact and Social Network

Welcome

 

I am currently a Research Assistant at Department of Computer Science and Engineering at Michigan State University. I am working with Dr. Sandeep Kulkarni. You can learn more about my projects via Projects page. Please review:

                

News!

  • 9/12/2016: Our "Automatic Addition of Conflicting Properties" paper got accepted at SSS 2016!
  • 8/28/2016: I have shipped my distributed Key-value store, MSU-DB. Check it out!
  • 6/20/2016: Our "Collaborative Stabilization" paper got accepted at SRDS 2016! I am flattered by the reviews :))
  • 5/26/2016: Our "Bounded Auditable Restoration of Distributed Systems" paper got accepted to publish on IEEE Transactions on Computer!
  • 2/16/2016: Our "A Framework for Verification of SystemC TLM Programs with Model Slicing" paper got accepted at DAC 2016!
  • 12/18/2015: Our "Lazy Repair" paper got accepted at IPDPS 2016!