'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 | 192 | 2016 |
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 | 181 | 2015 |
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 | 104 | 2012 |
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 | 56 | 2016 |
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 | 35 | 2017 |
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 | 33 | 2012 |
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 | 23 | 2016 |
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 | 15 | 2015 |
Co-design and verification of an available file system M Najafzadeh, M Shapiro, P Eugster International Conference on Verification, Model Checking, and Abstract …, 2017 | 14 | 2017 |
The analysis and co-design of weakly-consistent applications M Najafzadeh Université Pierre et Marie Curie-Paris VI, 2016 | 10 | 2016 |
’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 | 3 | 2010 |
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 | 2 | 2017 |
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 | 2 | 2011 |
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 | 1 | 2014 |
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 | 1 | 2013 |
'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 | | |