Follow
Manuel Bravo
Manuel Bravo
Researcher at Informal Systems
Verified email at informal.systems - Homepage
Title
Cited by
Cited by
Year
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
1922016
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
1042017
Making byzantine consensus live
M Bravo, G Chockler, A Gotsman
Distributed Computing 35 (6), 503-532, 2022
632022
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
402015
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
372017
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
172019
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
162018
Liveness and latency of Byzantine state-machine replication
M Bravo, G Chockler, A Gotsman
Distributed Computing, 1-29, 2024
152024
An experimental framework for improving the performance of bft consensus for future permissioned blockchains
MK Sit, M Bravo, Z István
Proceedings of the 15th ACM International Conference on Distributed and …, 2021
132021
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
132018
{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
112021
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
102014
Reconfigurable Atomic Transaction Commit
M Bravo, A Gotsman
38th ACM symposium on Principles of Distributed Computing (PODC’19), 399-408, 2019
92019
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
92018
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
92015
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
92015
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
82020
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
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, 1-6, 2013
72013
The system can't perform the operation now. Try again later.
Articles 1–20