According to our database1, Mahsa Najafzadeh authored at least 14 papers between 2011 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Encyclopedia of Big Data Technologies., 2019
Alone together: compositional reasoning and inference for weak isolation.
Co-Design and Verification of an Available File System.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Programmable Elasticity for Actor-based Cloud Applications.
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017
The Analysis and Co-design of Weakly-Consistent Applications. (Analyse et co-conception d'applications faiblement cohérentes).
PhD thesis, 2016
Geo-Replication: Fast If Possible, Consistent If Necessary.
IEEE Data Eng. Bull., 2016
'Cause I'm strong enough: reasoning about consistency choices in distributed systems.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
The CISE tool: proving weakly-consistent applications correct.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016
Towards Fast Invariant Preservation in Geo-replicated Systems.
Operating Systems Review, 2015
Putting consistency back into eventual consistency.
Proceedings of the Tenth European Conference on Computer Systems, 2015
The Case for Fast and Invariant-Preserving Geo-Replication.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014
Improving the Scalability of Geo-replication with Reservations.
Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013
Power-efficient distributed scheduling of virtual machines using workload-aware consolidation techniques.
The Journal of Supercomputing, 2012
Co-management of Power and Performance in Virtualized Distributed Environments.
Proceedings of the Advances in Grid and Pervasive Computing - 6th International Conference, 2011