Mahsa Najafzadeh

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 7

Top Venues

CoRR

Proc. ACM Program. Lang.

VMCAI

SRDS Workshops

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
Co-Design and Verification of an Available File System. VMCAI (2018)
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
Alone together: compositional reasoning and inference for weak isolation. Proc. ACM Program. Lang. 2 (POPL) (2018)
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
Alone Together: Compositional Reasoning and Inference for Weak Isolation. CoRR (2017)
Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster
Programmable Elasticity for Actor-based Cloud Applications. PLOS@SOSP (2017)
Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro
The CISE tool: proving weakly-consistent applications correct. PaPoC@EuroSys (2016)
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro
'Cause I'm strong enough: reasoning about consistency choices in distributed systems. POPL (2016)
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
Geo-Replication: Fast If Possible, Consistent If Necessary. IEEE Data Eng. Bull. 39 (1) (2016)
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro
Towards Fast Invariant Preservation in Geo-replicated Systems. ACM SIGOPS Oper. Syst. Rev. 49 (1) (2015)
Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Marc Shapiro, Mahsa Najafzadeh
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants. CoRR (2015)
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro
Putting consistency back into eventual consistency. EuroSys (2015)
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Marc Shapiro, Mahsa Najafzadeh
The Case for Fast and Invariant-Preserving Geo-Replication. SRDS Workshops (2014)
Mahsa Najafzadeh, Marc Shapiro, Valter Balegas, Nuno M. Preguiça
Improving the Scalability of Geo-replication with Reservations. UCC (2013)
Mohsen Sharifi, Hadi Salimi, Mahsa Najafzadeh
Power-efficient distributed scheduling of virtual machines using workload-aware consolidation techniques. J. Supercomput. 61 (1) (2012)
Mohsen Sharifi, Mahsa Najafzadeh, Hadi Salimi
Co-management of Power and Performance in Virtualized Distributed Environments. GPC (2011)

Mahsa Najafzadeh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mahsa Najafzadeh