Manuel Bravo
Manuel Bravo
Post-doctoral researcher at IMDEA Software Institute, Madrid, Spain
Verified email at - Homepage
Cited by
Cited by
Cure: Strong semantics meets high availability and low latency
DD Akkoorath, AZ Tomsic, M Bravo, Z Li, T Crain, A Bieniusa, N Preguiça, ...
2016 IEEE 36th International Conference on Distributed Computing Systems …, 2016
Saturn: A distributed metadata service for causal consistency
M Bravo, L Rodrigues, P Van Roy
Proceedings of the Twelfth European Conference on Computer Systems, 111-126, 2017
On the use of Clocks to Enforce Consistency in the Cloud.
M Bravo, N Diegues, J Zeng, P Romano, LET Rodrigues
IEEE Data Eng. Bull. 38 (1), 18-31, 2015
Unobtrusive deferred update stabilization for efficient geo-replication
C Gunawardhana, M Bravo, L Rodrigues
2017 {USENIX} Annual Technical Conference ({USENIX}{ATC} 17), 83-95, 2017
Making Byzantine consensus live
M Bravo, G Chockler, A Gotsman
34th International Symposium on Distributed Computing (DISC 2020), 2020
Towards a scalable, distributed metadata service for causal consistency under partial geo-replication
M Bravo, L Rodrigues, P Van Roy
Proceedings of the Doctoral Symposium of the 16th International Middleware …, 2015
Optimising client-side geo-replication with partially replicated data structures
I Briquemont, M Bravo, Z Li, P Van Roy
Master's thesis, Louvainla-Neuve, September, 2014
Fireplug: Flexible and robust n-version geo-replication of graph databases
R Neiheiser, D Presser, L Rech, M Bravo, L Rodrigues, M Correia
2018 International Conference on Information Networking (ICOIN), 110-115, 2018
Hourglass: Leveraging transient resources for time-constrained graph processing in the cloud
P Joaquim, M Bravo, L Rodrigues, M Matos
Proceedings of the Fourteenth EuroSys Conference 2019, 1-16, 2019
Conflict-free partially replicated data types
I Briquemont, M Bravo, Z Li, P Van Roy
2015 IEEE 7th International Conference on Cloud Computing Technology and …, 2015
Derflow: distributed deterministic dataflow programming for Erlang
M Bravo, Z Li, P Van Roy, C Meiklejohn
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 51-60, 2014
Distributed transactional reads: the strong, the quick, the fresh & the impossible
AZ Tomsic, M Bravo, M Shapiro
Proceedings of the 19th Annual Middleware Conference, 120-133, 2018
Dynamic adaptation of Byzantine consensus protocols
C Carvalho, D Porto, L Rodrigues, M Bravo, A Bessani
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 411-418, 2018
Q-opt: Self-tuning quorum system for strongly consistent software defined storage
M Couceiro, G Chandrasekara, M Bravo, M Hiltunen, P Romano, ...
Proceedings of the 16th Annual Middleware Conference, 88-99, 2015
Towards effective and efficient search-based deterministic replay
M Bravo, N Machado, P Romano, L Rodrigues
Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 1-6, 2013
Reconfigurable Atomic Transaction Commit
M Bravo, A Gotsman
38th ACM symposium on Principles of Distributed Computing (PODC’19), 399-408, 2019
Metadata Management in Causally Consistent Systems
M Bravo
Université Catholique de Louvain and Universidade de Lisboa, 2018
Dynamic adaptation of geo-replicated crdts
C Bartolomeu, M Bravo, L Rodrigues
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 514-521, 2016
UniStore: A fault-tolerant marriage of causal and strong consistency
M Bravo, A Gotsman, B de Régil, H Wei
2021 {USENIX} Annual Technical Conference ({USENIX}{ATC} 21), 923-937, 2021
Combining high throughput and low migration latency for consistent data storage on the edge
N Afonso, M Bravo, L Rodrigues
2020 29th International Conference on Computer Communications and Networks …, 2020
The system can't perform the operation now. Try again later.
Articles 1–20