Mihai Letia

According to our database, Mihai Letia authored at least 7 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Inferring Scalability from Program Pseudocode.

Mihai Letia

PhD thesis, 2014

Disjoint-Access Parallelism Does Not Entail Scalability.

Rachid Guerraoui, Mihai Letia

Proceedings of the Networked Systems - Second International Conference, 2014

2013

Composing Relaxed Transactions.

Vincent Gramoli, Rachid Guerraoui, Mihai Letia

Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

2010

Consistency without concurrency control in large, dynamic systems.

Mihai Letia, Nuno M. Preguiça, Marc Shapiro

ACM SIGOPS Oper. Syst. Rev., 2010

Visual Debugging for Stream Processing Applications.

Wim De Pauw, Mihai Letia, Bugra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer, Daby M. Sow

Proceedings of the Runtime Verification - First International Conference, 2010

2009

CRDTs: Consistency without concurrency control

Mihai Letia, Nuno M. Preguiça, Marc Shapiro

CoRR, 2009

A Commutative Replicated Data Type for Cooperative Editing.

Nuno M. Preguiça, Joan Manuel Marquès, Marc Shapiro, Mihai Letia

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009