Mohammad Roohitavaf

24 papers A* 2A 1B 5C 1Misc 2Journal 11Unranked 2

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