Mohammad Roohitavaf

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 23

Top Topics

Component Failures

Logical Reasoning

Read Only Transactions

Top Venues

GECCO (Companion)

Publications

Mohammad Roohitavaf, Kun Ren, Gene Zhang, Sami Ben-Romdhane
LogPlayer: Fault-tolerant Exactly-once Delivery using gRPC Asynchronous Streaming. CoRR (2019)
Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni
Session guarantees with raft and hybrid logical clocks. ICDCN (2019)
Mohammad Roohitavaf, Sandeep S. Kulkarni
. Future Internet 11 (7) (2019)
Mohammad Roohitavaf, Sandeep S. Kulkarni
DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. ASE (2018)
Mohammad Roohitavaf, Sandeep S. Kulkarni
Toward Adaptive Causal Consistency for Replicated Data Stores. CoRR (2018)
Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas
NetSynth: a framework for synthesizing customized network protocols using genetic programming. GECCO (Companion) (2018)
Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni
CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions. CoRR (2018)
Mohammad Roohitavaf, Sandeep S. Kulkarni
DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores. CoRR (2018)
Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas
Synthesizing customized network protocols using genetic programming. GECCO (Companion) (2018)
Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni
Session Guarantees with Raft and Hybrid Logical Clocks. CoRR (2018)
Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
Bounded Auditable Restoration of Distributed Systems. IEEE Trans. Computers 66 (2) (2017)
Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni
CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. SRDS (2017)
Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni
A framework for verification of SystemC TLM programs with model slicing: a case study. DAC (2016)
Mohammad Roohitavaf, Sandeep S. Kulkarni
Collaborative Stabilization. SRDS (2016)
Mohammad Roohitavaf, Sandeep S. Kulkarni
GentleRain+: Making GentleRain Robust on Clock Anomalies. CoRR (2016)
Mohammad Roohitavaf, Sandeep S. Kulkarni
Stabilization and fault-tolerance in presence of unchangeable environment actions. ICDCN (2016)
Mohammad Roohitavaf
Consistency in Distributed Data Stores. CoRR (2016)
Mohammad Roohitavaf, Yiyan Lin, Sandeep S. Kulkarni
Lazy Repair for Addition of Fault-Tolerance to Distributed Programs. IPDPS (2016)
Mohammad Roohitavaf, Sandeep S. Kulkarni
Automatic Addition of Conflicting Properties. SSS (2016)
Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
Auditable Restoration of Distributed Programs. CoRR (2015)
Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni
Ensuring Average Recovery with Adversarial Scheduler. OPODIS (2015)
Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
Auditable Restoration of Distributed Programs. SRDS (2015)
Mohammad Roohitavaf, Sandeep S. Kulkarni
Stabilization and Fault-Tolerance in Presence of Unchangeable Environment Actions. CoRR (2015)
Mohammad Roohitavaf, Reza Entezari-Maleki, Ali Movaghar
Availability Modeling and Evaluation of Cloud Virtual Data Centers. ICPADS (2013)