Mahsa Najafzadeh

According to our database, Mahsa Najafzadeh authored at least 15 papers between 2011 and 2019.

Collaborative distances:

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

2019

Geo-Replication Models.

Mahsa Najafzadeh, Suresh Jagannathan

Proceedings of the Encyclopedia of Big Data Technologies., 2019

2018

Alone together: compositional reasoning and inference for weak isolation.

Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan

Proc. ACM Program. Lang., 2018

Co-Design and Verification of an Available File System.

Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2017

Programmable Elasticity for Actor-based Cloud Applications.

Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster

Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

2016

The Analysis and Co-design of Weakly-Consistent Applications. (Analyse et co-conception d'applications faiblement cohérentes).

Mahsa Najafzadeh

PhD thesis, 2016

Geo-Replication: Fast If Possible, Consistent If Necessary.

Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sérgio Duarte, Carla Ferreira, Johannes Gehrke, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Marc Shapiro, Viktor Vafeiadis

IEEE Data Eng. Bull., 2016

'Cause I'm strong enough: reasoning about consistency choices in distributed systems.

Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

The CISE tool: proving weakly-consistent applications correct.

Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

2015

Towards Fast Invariant Preservation in Geo-replicated Systems.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro

ACM SIGOPS Oper. Syst. Rev., 2015

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.

Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Marc Shapiro, Mahsa Najafzadeh

CoRR, 2015

Putting consistency back into eventual consistency.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro

Proceedings of the Tenth European Conference on Computer Systems, 2015

2014

The Case for Fast and Invariant-Preserving Geo-Replication.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Marc Shapiro, Mahsa Najafzadeh

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

2013

Improving the Scalability of Geo-replication with Reservations.

Mahsa Najafzadeh, Marc Shapiro, Valter Balegas, Nuno M. Preguiça

Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013

2012

Power-efficient distributed scheduling of virtual machines using workload-aware consolidation techniques.

Mohsen Sharifi, Hadi Salimi, Mahsa Najafzadeh

J. Supercomput., 2012

2011

Co-management of Power and Performance in Virtualized Distributed Environments.

Mohsen Sharifi, Mahsa Najafzadeh, Hadi Salimi

Proceedings of the Advances in Grid and Pervasive Computing - 6th International Conference, 2011