Raluca Halalai

According to our database1, Raluca Halalai
  • authored at least 6 papers between 2011 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Agar: A Caching System for Erasure-Coded Data.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016
GlobalFS: A Strongly Consistent Multi-site File System.
Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

2014
ZooFence: Principled Service Partitioning and Application to the ZooKeeper Coordination Service.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Building a Strongly Consistent Multi-site File System.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

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

Verifying Safety of Fault-Tolerant Distributed Components.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011


  Loading...