Follow
Mihai Letia
Mihai Letia
Verified email at epfl.ch
Title
Cited by
Cited by
Year
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
3282009
CRDTs: Consistency without concurrency control
M Letia, N Preguiça, M Shapiro
arXiv preprint arXiv:0907.0929, 2009
552009
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
522010
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
522010
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
362010
Composing relaxed transactions
V Gramoli, R Guerraoui, M Letia
2013 IEEE 27th International Symposium on Parallel and Distributed …, 2013
112013
The many faces of transactional software composition
V Gramoli, R Guerraoui, M Letia
Technical Report EPFL-REPORT-150654, EPFL, 2010
32010
Composition vs concurrency
V Gramoli, R Guerraoui, M Letia
2nd Workshop on the Theory of Transactional Memory, 2010
12010
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
The system can't perform the operation now. Try again later.
Articles 1–13