Manuel Bravo
Manuel Bravo
Post-doctoral researcher at IMDEA Software Institute, Madrid, Spain
Verified email at imdea.org - Homepage
TitleCited byYear
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
622016
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
292017
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
232015
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
122017
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
112015
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
82014
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, 10, 2013
52013
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
42018
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
42014
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
32015
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
32015
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
22018
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
22016
SmartFetch: Efficient Support for Selective Queries
M Ferreira, J Paiva, M Bravo, L Rodrigues
Cloud Computing Technology and Science (CloudCom), 2015 IEEE 7th …, 2015
12015
Reducing the vulnerability window in distributed transactional protocols
M Bravo, P Romano, L Rodrigues, P Van Roy
Proceedings of the First Workshop on Principles and Practice of Consistency …, 2015
12015
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, 35, 2019
2019
Reconfigurable Atomic Transaction Commit
M Bravo, A Gotsman
38th ACM symposium on Principles of Distributed Computing (PODC’19), 399-408, 2019
2019
Policy-Based Adaptation of a Byzantine Fault Tolerant Distributed Graph Database
M Bravo, L Rodrigues, R Neiheiser, L Rech
2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), 61-71, 2018
2018
Towards affordable externally consistent guarantees for geo-replicated systems
M Bravo, L Rodrigues
Proceedings of the 5th Workshop on the Principles and Practice of …, 2018
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
2018
The system can't perform the operation now. Try again later.
Articles 1–20