| A commutative replicated data type for cooperative editing N Preguiça, JM Marquès, M Shapiro, M Letia 2009 29th IEEE International Conference on Distributed Computing Systems …, 2009 | 342 | 2009 |
| CRDTs: Consistency without concurrency control M Letia, N Preguiça, M Shapiro arXiv preprint arXiv:0907.0929, 2009 | 57 | 2009 |
| Consistency without concurrency control in large, dynamic systems M Letia, N Preguiça, M Shapiro ACM SIGOPS Operating Systems Review 44 (2), 29-34, 2010 | 53 | 2010 |
| Visual debugging for stream processing applications W De Pauw, M Leţia, B Gedik, H Andrade, A Frenkiel, M Pfeifer, D Sow Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010 | 37 | 2010 |
| Composing relaxed transactions V Gramoli, R Guerraoui, M Letia 2013 IEEE 27th International Symposium on Parallel and Distributed …, 2013 | 11 | 2013 |
| The many faces of transactional software composition V Gramoli, R Guerraoui, M Letia Technical Report EPFL-REPORT-150654, EPFL, 2010 | 3 | 2010 |
| Composition vs concurrency V Gramoli, R Guerraoui, M Letia 2nd Workshop on the Theory of Transactional Memory, 2010 | 1 | 2010 |
| Inferring Scalability from Program Pseudocode M Letia EPFL, 2014 | | 2014 |
| Disjoint-access parallelism does not entail scalability R Guerraoui, M Letia Networked Systems: Second International Conference, NETYS 2014, Marrakech …, 2014 | | 2014 |
| Obstruction degree: measuring concurrency in shared memory systems R Guerraoui, M Letia | | 2012 |
| DCL Y Allouah, K Antoniadis, OM Balmau, R Banabic, PF Blanchard, R Boichat, ... | | |
| Practical concurrent algorithms M Letia | | |
