Mahsa Najafzadeh
Mahsa Najafzadeh
Verified email at purdue.edu
Title
Cited by
Cited by
Year
Putting consistency back into eventual consistency
V Balegas, S Duarte, C Ferreira, R Rodrigues, N Preguiça, M Najafzadeh, ...
Proceedings of the Tenth European Conference on Computer Systems, 1-16, 2015
1042015
'Cause I'm strong enough: Reasoning about consistency choices in distributed systems
A Gotsman, H Yang, C Ferreira, M Najafzadeh, M Shapiro
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
972016
Power-efficient distributed scheduling of virtual machines using workload-aware consolidation techniques
M Sharifi, H Salimi, M Najafzadeh
The Journal of Supercomputing 61 (1), 46-66, 2012
822012
Extending eventually consistent cloud databases for enforcing numeric invariants
V Balegas, D Serra, S Duarte, C Ferreira, M Shapiro, R Rodrigues, ...
2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS), 31-36, 2015
302015
Advantages, Challenges and Optimizations of Virtual Machine Scheduling in Cloud Computing Environments
H Salimi, M Najafzadeh, M Sharifi
International Journal of Computer Theory and Engineering 4 (2), 189, 2012
252012
The CISE tool: proving weakly-consistent applications correct
M Najafzadeh, A Gotsman, H Yang, C Ferreira, M Shapiro
Proceedings of the 2nd Workshop on the Principles and Practice of …, 2016
242016
Geo-replication: Fast if possible, consistent if necessary
V Balegas, C Li, M Najafzadeh, D Porto, A Clement, S Duarte, C Ferreira, ...
152016
Alone together: compositional reasoning and inference for weak isolation
G Kaki, K Nagar, M Najafzadeh, S Jagannathan
Proceedings of the ACM on Programming Languages 2 (POPL), 1-34, 2017
122017
The analysis and co-design of weakly-consistent applications
M Najafzadeh
62016
Towards fast invariant preservation in geo-replicated systems
V Balegas, S Duarte, C Ferreira, R Rodrigues, N Preguiça, M Najafzadeh, ...
ACM SIGOPS Operating Systems Review 49 (1), 121-125, 2015
62015
’Cause I’m strong enough: Reasoning about consistency choices in distributed systems (extended version)
A Gotsman, H Yang, C Ferreira, M Najafzadeh, M Shapiro
4
VMM-level distributed transparency provisioning using Cloud infrastructure technology
M Najafzadeh, H Salimi, M Sharifi, A Hamidi
2010 4th International DMTF Academic Alliance Workshop on Systems and …, 2010
32010
Co-management of power and performance in virtualized distributed environments
M Sharifi, M Najafzadeh, H Salimi
International Conference on Grid and Pervasive Computing, 23-32, 2011
22011
Co-design and verification of an available file system
M Najafzadeh, M Shapiro, P Eugster
International Conference on Verification, Model Checking, and Abstract …, 2018
12018
The case for fast and invariant-preserving geo-replication
V Balegas, S Duarte, C Ferreira, R Rodrigues, N Preguiça, M Shapiro, ...
2014 IEEE 33rd International Symposium on Reliable Distributed Systems …, 2014
12014
Improving the scalability of geo-replication with reservations
M Najafzadeh, M Shapiro, V Balegas, N Preguiça
2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing …, 2013
12013
Programmable Elasticity for Actor-based Cloud Applications
B Sang, S Ravi, G Petri, M Najafzadeh, MS Ardekani, P Eugster
Proceedings of the 9th Workshop on Programming Languages and Operating …, 2017
2017
CISE Safety Tool
M Shapiro, M Najafzadeh
2015
POSIX File Systems vs. Distribution
M Najafzadeh
Reasoning about Consistency Choices in Distributed Systems
A Gotsman, H Yang, C Ferreira, M Najafzadeh, M Shapiro
The system can't perform the operation now. Try again later.
Articles 1–20