| '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 | 193 | 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 | 182 | 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 | 105 | 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 | 57 | 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 | 38 | 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 | 34 | 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 | 24 | 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 | 16 | 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 | 15 | 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 | | |