Follow
Mohammad Roohitavaf
Title
Cited by
Cited by
Year
CausalSpartan: Causal Consistency for Distributed Data Stores using Hybrid Logical Clocks
M Roohitavaf, M Demirbas, S Kulkarni
Reliable Distributed Systems (SRDS), 2017 IEEE 36th Symposium on, 184-193, 2017
452017
DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores
M Roohitavaf, S Kulkarni
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
152018
Gentlerain+: Making gentlerain robust on clock anomalies
M Roohitavaf, S Kulkarni
arXiv preprint arXiv:1612.05205, 2016
122016
Session guarantees with raft and hybrid logical clocks
M Roohitavaf, JS Ahn, WH Kang, K Ren, G Zhang, S Ben-Romdhane, ...
Proceedings of the 20th International Conference on Distributed Computing …, 2019
112019
A framework for verification of SystemC TLM programs with model slicing: A case study
R Hajisheykhi, M Roohitavaf, A Ebnenasir, S Kulkarni
Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016
62016
CausalSpartanX: causal consistency and non-blocking read-only transactions
M Roohitavaf, M Demirbas, S Kulkarni
arXiv preprint arXiv:1812.07123, 2018
52018
Stabilization and fault-tolerance in presence of unchangeable environment actions
M Roohitavaf, S Kulkarni
Proceedings of the 17th International Conference on Distributed Computing …, 2016
52016
Toward adaptive causal consistency for replicated data stores
M Roohitavaf, S Kulkarni
arXiv preprint arXiv:1803.08609, 2018
42018
Bounded auditable restoration of distributed systems
R Hajisheykhi, M Roohitavaf, SS Kulkarni
IEEE Transactions on Computers 66 (2), 240-255, 2016
42016
Lazy repair for addition of fault-tolerance to distributed programs
M Roohitavaf, Y Lin, SS Kulkarni
2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS …, 2016
42016
Availability Modeling and Evaluation of Cloud Virtual Data Centers.
M Roohitavaf, R Entezari-Maleki, A Movaghar
ICPADS, 675-680, 2013
42013
LogPlayer: Fault-tolerant Exactly-once Delivery using gRPC Asynchronous Streaming
M Roohitavaf, K Ren, G Zhang, S Ben-Romdhane
arXiv preprint arXiv:1911.11286, 2019
32019
Synthesizing customized network protocols using genetic programming
M Roohitavaf, L Zhu, S Kulkarni, S Biswas
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2018
32018
Collaborative Stabilization
M Roohitavaf, S Kulkarni
2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS), 259-268, 2016
32016
Auditable restoration of distributed programs
R Hajisheykhi, M Roohitavaf, SS Kulkarni
2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS), 37-46, 2015
32015
Automatic Addition of Conflicting Properties
M Roohitavaf, SS Kulkarni
Stabilization, Safety, and Security of Distributed Systems: 18th …, 2016
12016
Ensuring Average Recovery with Adversarial Scheduler
J Chen, M Roohitavaf, SS Kulkarni
19th International Conference on Principles of Distributed Systems (OPODIS 2015), 2016
12016
Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions
M Roohitavaf, S Kulkarni
Future Internet 11 (7), 144, 2019
2019
Consistency for Distributed Data Stores
M Roohitavaf
Michigan State University, 2019
2019
NetSynth: a framework for synthesizing customized network protocols using genetic programming
M Roohitavaf, L Zhu, S Kulkarni, S Biswas
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20