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 | 45 | 2017 |
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 | 15 | 2018 |
Gentlerain+: Making gentlerain robust on clock anomalies M Roohitavaf, S Kulkarni arXiv preprint arXiv:1612.05205, 2016 | 12 | 2016 |
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 | 11 | 2019 |
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 | 6 | 2016 |
CausalSpartanX: causal consistency and non-blocking read-only transactions M Roohitavaf, M Demirbas, S Kulkarni arXiv preprint arXiv:1812.07123, 2018 | 5 | 2018 |
Stabilization and fault-tolerance in presence of unchangeable environment actions M Roohitavaf, S Kulkarni Proceedings of the 17th International Conference on Distributed Computing …, 2016 | 5 | 2016 |
Toward adaptive causal consistency for replicated data stores M Roohitavaf, S Kulkarni arXiv preprint arXiv:1803.08609, 2018 | 4 | 2018 |
Bounded auditable restoration of distributed systems R Hajisheykhi, M Roohitavaf, SS Kulkarni IEEE Transactions on Computers 66 (2), 240-255, 2016 | 4 | 2016 |
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 | 4 | 2016 |
Availability Modeling and Evaluation of Cloud Virtual Data Centers. M Roohitavaf, R Entezari-Maleki, A Movaghar ICPADS, 675-680, 2013 | 4 | 2013 |
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 | 3 | 2019 |
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 | 3 | 2018 |
Collaborative Stabilization M Roohitavaf, S Kulkarni 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS), 259-268, 2016 | 3 | 2016 |
Auditable restoration of distributed programs R Hajisheykhi, M Roohitavaf, SS Kulkarni 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS), 37-46, 2015 | 3 | 2015 |
Automatic Addition of Conflicting Properties M Roohitavaf, SS Kulkarni Stabilization, Safety, and Security of Distributed Systems: 18th …, 2016 | 1 | 2016 |
Ensuring Average Recovery with Adversarial Scheduler J Chen, M Roohitavaf, SS Kulkarni 19th International Conference on Principles of Distributed Systems (OPODIS 2015), 2016 | 1 | 2016 |
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 |