Raluca Halalai

According to our database, Raluca Halalai

• authored at least 6 papers between 2011 and 2017.
• has a "Dijkstra number" of four.

2017

Agar: A Caching System for Erasure-Coded Data.

Raluca Halalai, Pascal Felber, Anne-Marie Kermarrec, François Taïani

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016

GlobalFS: A Strongly Consistent Multi-site File System.

Leandro Pacheco, Raluca Halalai, Valerio Schiavoni, Fernando Pedone, Etienne Riviere, Pascal Felber

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

2014

ZooFence: Principled Service Partitioning and Application to the ZooKeeper Coordination Service.

Raluca Halalai, Pierre Sutra, Etienne Riviere, Pascal Felber

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Building a Strongly Consistent Multi-site File System.

Raluca Halalai, Leandro Pacheco de Sousa

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

2011

Quantitative Evaluation of BFT Protocols.

Raluca Halalai, Thomas A. Henzinger, Vasu Singh

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Verifying Safety of Fault-Tolerant Distributed Components.

Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011