Mahsa Najafzadeh

According to our database1, Mahsa Najafzadeh authored at least 14 papers between 2011 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Geo-Replication Models.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

2018
Alone together: compositional reasoning and inference for weak isolation.
PACMPL, 2018

Co-Design and Verification of an Available File System.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2017
Programmable Elasticity for Actor-based Cloud Applications.
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).
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

2015
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

2014
The Case for Fast and Invariant-Preserving Geo-Replication.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

2013
Improving the Scalability of Geo-replication with Reservations.
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.
The Journal of Supercomputing, 2012

2011
Co-management of Power and Performance in Virtualized Distributed Environments.
Proceedings of the Advances in Grid and Pervasive Computing - 6th International Conference, 2011


  Loading...