Manuel Bravo

According to our database, Manuel Bravo authored at least 33 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

IonosphericTotal Electron Content Changes during the 15 February 2018 and 30 April 2022 Solar Eclipses over South America and Antarctica.

Juan Carlos Valdés-Abreu, Marcos A. Diaz, Manuel Bravo, Yohadne Stable-Sánchez

Remote. Sens., October, 2023

Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA⁺.

Paolo Dini, Manuel Bravo, Philipp Paulweber, Alexander Raschke, Gabriela Moreira

CoRR, 2023

2022

Ionospheric Behavior during the 10 June 2021 Annular Solar Eclipse and Its Impact on GNSS Precise Point Positioning.

Juan Carlos Valdés-Abreu, Marcos A. Diaz, Manuel Bravo, Juan Carlos Báez, Yohadne Stable-Sánchez

Remote. Sens., 2022

Making Byzantine consensus live.

Manuel Bravo, Gregory V. Chockler, Alexey Gotsman

Distributed Comput., 2022

Liveness and Latency of Byzantine State-Machine Replication.

Manuel Bravo, Gregory V. Chockler, Alexey Gotsman

Proceedings of the 36th International Symposium on Distributed Computing, 2022

2021

UniStore: A fault-tolerant marriage of causal and strong consistency (extended version).

Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei

CoRR, 2021

UniStore: A fault-tolerant marriage of causal and strong consistency.

Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei

Proceedings of the 2021 USENIX Annual Technical Conference, 2021

An experimental framework for improving the performance of BFT consensus for future permissioned blockchains.

Man-Kit Sit, Manuel Bravo, Zsolt István

Proceedings of the 15th ACM International Conference on Distributed and Event-based Systems, 2021

2020

Fireplug: Efficient and Robust Geo-Replication of Graph Databases.

Ray Neiheiser, Luciana Rech, Manuel Bravo, Luís E. T. Rodrigues, Miguel Correia

IEEE Trans. Parallel Distributed Syst., 2020

Making Byzantine Consensus Live (Extended Version).

Manuel Bravo, Gregory V. Chockler, Alexey Gotsman

CoRR, 2020

Towards Improving the Performance of BFT Consensus For Future Permissioned Blockchains.

Manuel Bravo, Zsolt István, Man-Kit Sit

CoRR, 2020

Combining High Throughput and Low Migration Latency for Consistent Data Storage on the Edge.

Nuno Afonso, Manuel Bravo, Luís Rodrigues

Proceedings of the 29th International Conference on Computer Communications and Networks, 2020

2019

Reconfigurable Atomic Transaction Commit (Extended Version).

Manuel Bravo, Alexey Gotsman

CoRR, 2019

Reconfigurable Atomic Transaction Commit.

Manuel Bravo, Alexey Gotsman

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud.

Pedro Joaquim, Manuel Bravo, Luís E. T. Rodrigues, Miguel Matos

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

Metadata management in causally consistent systems.

Manuel Bravo

PhD thesis, 2018

Policy-Based Adaptation of a Byzantine Fault Tolerant Distributed Graph Database.

Manuel Bravo, Luís E. T. Rodrigues, Ray Neiheiser, Luciana Rech

Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018

Dynamic adaptation of byzantine consensus protocols.

Carlos Carvalho, Daniel Porto, Luís E. T. Rodrigues, Manuel Bravo, Alysson Bessani

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Distributed transactional reads: the strong, the quick, the fresh & the impossible.

Alejandro Z. Tomsic, Manuel Bravo, Marc Shapiro

Proceedings of the 19th International Middleware Conference, 2018

Fireplug: Flexible and robust N-version geo-replication of graph databases.

Ray Neiheiser, Daniel Presser, Luciana Rech, Manuel Bravo, Luís E. T. Rodrigues, Miguel Correia

Proceedings of the 2018 International Conference on Information Networking, 2018

Towards affordable externally consistent guarantees for geo-replicated systems.

Manuel Bravo, Luís E. T. Rodrigues

Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

2017

Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication.

Chathuri Gunawardhana, Manuel Bravo, Luís E. T. Rodrigues

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Saturn: a Distributed Metadata Service for Causal Consistency.

Manuel Bravo, Luís E. T. Rodrigues, Peter Van Roy

Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016

Dynamic adaptation of geo-replicated CRDTs.

Carlos Bartolomeu, Manuel Bravo, Luís E. T. Rodrigues

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Cure: Strong Semantics Meets High Availability and Low Latency.

Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro

Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

2015

On the use of Clocks to Enforce Consistency in the Cloud.

Manuel Bravo, Nuno Diegues, Jingna Zeng, Paolo Romano, Luís E. T. Rodrigues

IEEE Data Eng. Bull., 2015

Q-OPT: Self-tuning Quorum System for Strongly Consistent Software Defined Storage.

Maria Couceiro, Gayana Chandrasekara, Manuel Bravo, Matti A. Hiltunen, Paolo Romano, Luís E. T. Rodrigues

Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Towards a Scalable, Distributed Metadata Service for Causal Consistency under Partial Geo-replication.

Manuel Bravo, Luís E. T. Rodrigues, Peter Van Roy

Proceedings of the Doctoral Symposium of the 16th International Middleware Conference, 2015

Reducing the vulnerability window in distributed transactional protocols.

Manuel Bravo, Paolo Romano, Luís E. T. Rodrigues, Peter Van Roy

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

SmartFetch: Efficient Support for Selective Queries.

Manuel Ferreira, João Paiva, Manuel Bravo, Luís E. T. Rodrigues

Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015

Conflict-Free Partially Replicated Data Types.

Iwan Briquemont, Manuel Bravo, Zhongmiao Li, Peter Van Roy

Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015

2014

Derflow: distributed deterministic dataflow programming for erlang.

Manuel Bravo, Zhongmiao Li, Peter Van Roy, Christopher Meiklejohn

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

Towards effective and efficient search-based deterministic replay.

Manuel Bravo, Nuno Machado, Paolo Romano, Luís E. T. Rodrigues

Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013