Raluca Halalai

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 2

Top Topics

Scalable Distributed

Protocol Specification

Storage Systems

Top Venues

Publications

Raluca Halalai, Pascal Felber, Anne-Marie Kermarrec, François Taïani
Agar: A Caching System for Erasure-Coded Data. ICDCS (2017)
Leandro Pacheco, Raluca Halalai, Valerio Schiavoni, Fernando Pedone, Etienne Riviere, Pascal Felber
GlobalFS: A Strongly Consistent Multi-site File System. SRDS (2016)
Raluca Halalai, Pierre Sutra, Etienne Riviere, Pascal Felber
ZooFence: Principled Service Partitioning and Application to the ZooKeeper Coordination Service. SRDS (2014)
Raluca Halalai, Leandro Pacheco de Sousa
Building a Strongly Consistent Multi-site File System. SRDS (2014)
Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine
Verifying Safety of Fault-Tolerant Distributed Components. FACS (2011)
Raluca Halalai, Thomas A. Henzinger, Vasu Singh
Quantitative Evaluation of BFT Protocols. QEST (2011)