Follow
Mahsa Najafzadeh
Mahsa Najafzadeh
Verified email at purdue.edu
Title
Cited by
Cited by
Year
'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
1912016
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
1802015
Power-efficient distributed scheduling of virtual machines using workload-aware consolidation techniques
M Sharifi, H Salimi, M Najafzadeh
The Journal of Supercomputing 61, 46-66, 2012
1042012
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
552016
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
352017
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-193, 2012
332012
Geo-replication: Fast if possible, consistent if necessary
V Balegas, C Li, M Najafzadeh, D Porto, A Clement, S Duarte, C Ferreira, ...
Bulletin of the Technical Committee on Data Engineering 39 (1), 12, 2016
222016
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
152015
Co-design and verification of an available file system
M Najafzadeh, M Shapiro, P Eugster
International Conference on Verification, Model Checking, and Abstract …, 2017
142017
The analysis and co-design of weakly-consistent applications
M Najafzadeh
Université Pierre et Marie Curie-Paris VI, 2016
102016
’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
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
22017
Co-management of power and performance in virtualized distributed environments
M Sharifi, M Najafzadeh, H Salimi
Advances in Grid and Pervasive Computing: 6th International Conference, GPC …, 2011
22011
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
'Cause I'm Strong Enough: Reasoning about consistency choices in distributed systems
H Yang, A Gotsman, C Ferreira, M Najafzadeh, M Shapiro
43rd ACM Symposium on Principles of Programming Languages (POPL 2016), 2016
2016
CISE Safety Tool
M Shapiro, M Najafzadeh
2015
Alexey Gotsman
M Najafzadeh, M Shapiro
2014
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