Mohammad Roohitavaf

According to our database, Mohammad Roohitavaf authored at least 20 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions ^†.

Mohammad Roohitavaf, Sandeep S. Kulkarni

Future Internet, 2019

LogPlayer: Fault-tolerant Exactly-once Delivery using gRPC Asynchronous Streaming.

Mohammad Roohitavaf, Kun Ren, Gene Zhang, Sami Ben-Romdhane

CoRR, 2019

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

Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

2018

CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions.

Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni

CoRR, 2018

Toward Adaptive Causal Consistency for Replicated Data Stores.

Mohammad Roohitavaf, Sandeep S. Kulkarni

CoRR, 2018

DKVF: a framework for rapid prototyping and evaluating distributed key-value stores.

Mohammad Roohitavaf, Sandeep S. Kulkarni

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Synthesizing customized network protocols using genetic programming.

Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

NetSynth: a framework for synthesizing customized network protocols using genetic programming.

Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

2017

Bounded Auditable Restoration of Distributed Systems.

Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni

IEEE Trans. Computers, 2017

CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks.

Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

2016

GentleRain+: Making GentleRain Robust on Clock Anomalies.

Mohammad Roohitavaf, Sandeep S. Kulkarni

CoRR, 2016

Consistency in Distributed Data Stores.

Mohammad Roohitavaf

CoRR, 2016

Automatic Addition of Conflicting Properties.

Mohammad Roohitavaf, Sandeep S. Kulkarni

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

Collaborative Stabilization.

Mohammad Roohitavaf, Sandeep S. Kulkarni

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

Lazy Repair for Addition of Fault-Tolerance to Distributed Programs.

Mohammad Roohitavaf, Yiyan Lin, Sandeep S. Kulkarni

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

Stabilization and fault-tolerance in presence of unchangeable environment actions.

Mohammad Roohitavaf, Sandeep S. Kulkarni

Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016

A framework for verification of SystemC TLM programs with model slicing: a case study.

Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni

Proceedings of the 53rd Annual Design Automation Conference, 2016

2015

Auditable Restoration of Distributed Programs.

Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Ensuring Average Recovery with Adversarial Scheduler.

Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

2013

Availability Modeling and Evaluation of Cloud Virtual Data Centers.

Mohammad Roohitavaf, Reza Entezari-Maleki, Ali Movaghar

Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems, 2013