Mahsa Najafzadeh

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