Skip to content

Mahsa Najafzadeh

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

7

Active years

2011–2018

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2018VMCAICo-Design and Verification of an Available File System.Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
2017SOSPProgrammable Elasticity for Actor-based Cloud Applications.Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster
2016EuroSysThe CISE tool: proving weakly-consistent applications correct.Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro
2016POPL'Cause I'm strong enough: reasoning about consistency choices in distributed systems.Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro
2015EuroSysPutting consistency back into eventual consistency.Valter Balegas, Srgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguia, Mahsa Najafzadeh, Marc Shapiro
2014SRDSThe Case for Fast and Invariant-Preserving Geo-Replication.Valter Balegas, Srgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguia, Marc Shapiro, Mahsa Najafzadeh
2013UCCImproving the Scalability of Geo-replication with Reservations.Mahsa Najafzadeh, Marc Shapiro, Valter Balegas, Nuno M. Preguia
2011GPCCo-management of Power and Performance in Virtualized Distributed Environments.Mohsen Sharifi, Mahsa Najafzadeh, Hadi Salimi