| 2019 | ICDCN | Session guarantees with raft and hybrid logical clocks. | Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni |
| 2018 | GECCO | NetSynth: a framework for synthesizing customized network protocols using genetic programming. | Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas |
| 2018 | GECCO | Synthesizing customized network protocols using genetic programming. | Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas |
| 2017 | SRDS | CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. | Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni |
| 2016 | DAC | A framework for verification of SystemC TLM programs with model slicing: a case study. | Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2016 | ICDCN | Stabilization and fault-tolerance in presence of unchangeable environment actions. | Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2016 | SRDS | Collaborative Stabilization. | Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2016 | SSS | Automatic Addition of Conflicting Properties. | Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2015 | OPODIS | Ensuring Average Recovery with Adversarial Scheduler. | Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2015 | SRDS | Auditable Restoration of Distributed Programs. | Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2013 | ICPADS | Availability Modeling and Evaluation of Cloud Virtual Data Centers. | Mohammad Roohitavaf, Reza Entezari-Maleki, Ali Movaghar |