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:
- 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!