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
2702009
CRDTs: Consistency without concurrency control
M Letia, N Preguiça, M Shapiro
arXiv preprint arXiv:0907.0929, 2009
452009
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
382010
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
382010
Visual debugging for stream processing applications
W De Pauw, M Leţia, B Gedik, H Andrade, A Frenkiel, M Pfeifer, D Sow
International Conference on Runtime Verification, 18-35, 2010
302010
Composing relaxed transactions
V Gramoli, R Guerraoui, M Letia
2013 IEEE 27th International Symposium on Parallel and Distributed …, 2013
122013
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
22010
Disjoint-access parallelism does not entail scalability
R Guerraoui, M Letia
International Conference on Networked Systems, 41-56, 2014
2014
Inferring Scalability from Program Pseudocode
M Letia
EPFL, 2014
2014
Obstruction degree: measuring concurrency in shared memory systems
R Guerraoui, M Letia
2012
Practical concurrent algorithms
M Letia
The system can't perform the operation now. Try again later.
Articles 1–12