Raluca Halalai
According to our database1, Raluca Halalai
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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