João Leitão

According to our database, João Leitão authored at least 69 papers between 2007 and 2023.

Collaborative distances:

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

2023

EAMDrift: An interpretable self retrain model for time series.

Gonçalo Mateus, Cláudia Soares, João Leitão, António Rodrigues

CoRR, 2023

Data Management for mobile applications dependent on geo-located data.

Nuno M. Santos, Luís M. Silva, João Leitão, Nuno M. Preguiça

Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023

Studying the Workload of a Fully Decentralized Web3 System: IPFS.

Pedro Ákos Costa, João Leitão, Yiannis Psaras

Proceedings of the Distributed Applications and Interoperable Systems, 2023

2022

Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware.

Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique João L. Domingos, João Leitão

IEEE Trans. Dependable Secur. Comput., 2022

Geo-located data for better dynamic replication.

Luís M. Silva, Frederico Aleixo, Albert van der Linde, João Leitão, Nuno M. Preguiça

CoRR, 2022

High Throughput Replication with Integrated Membership Management.

Pedro Fouto, Nuno M. Preguiça, João Leitão

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

Babel: A Framework for Developing Performant and Dependable Distributed Protocols.

Pedro Fouto, Pedro Ákos Costa, Nuno M. Preguiça, João Leitão

Proceedings of the 41st International Symposium on Reliable Distributed Systems, 2022

TESRAC: A Framework for Test Suite Reduction Assessment at Scale.

João Becho, Frederico Cerveira, João Leitão, Rui André Oliveira

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Enriching Kademlia by Partitioning.

João Monteiro, Pedro Ákos Costa, João Leitão, Alfonso de la Rocha, Yiannis Psaras

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

Engage: Session Guarantees for the Edge.

Miguel Belém, Pedro Fouto, Taras Lykhenko, João Leitão, Nuno M. Preguiça, Luís Rodrigues

Proceedings of the 31st International Conference on Computer Communications and Networks, 2022

2021

It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments.

João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça

Future Gener. Comput. Syst., 2021

Generalizing Wireless Ad Hoc Routing for Future Edge Applications.

André Rosa, Pedro Ákos Costa, João Leitão

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2021

2020

Practical Client-side Replication: Weak Consistency Semantics for Insecure Settings.

Albert van der Linde, João Leitão, Nuno M. Preguiça

Proc. VLDB Endow., 2020

Lazy State Determination: More concurrency for contending linearizable transactions.

Tiago M. Vale, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Ricardo J. Dias, João M. Lourenço

CoRR, 2020

Enabling wireless ad hoc edge systems with yggdrasil.

Pedro Ákos Costa, André Rosa, João Leitão

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Overlay Networks for Edge Management.

Pedro Ákos Costa, Pedro Fouto, João Leitão

Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020

On combining fault tolerance and partial replication with causal consistency.

Albert van der Linde, Diogo Serra, João Leitão, Nuno M. Preguiça

Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

The intrinsic cost of causal consistency.

Albert van der Linde, Pedro Fouto, João Leitão, Nuno M. Preguiça

Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

2019

Achieving Low Latency Transactions for Geo-replicated Storage with Blotter.

Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories.

Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos

IEEE Trans. Cloud Comput., 2019

Revisiting Broadcast Algorithms for Wireless Edge Networks.

André Rosa, Pedro Ákos Costa, João Leitão

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

Time-aware reactive storage in wireless edge environments.

João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça

Proceedings of the MobiQuitous 2019, 2019

Microservices Management on Cloud/Edge Environments.

André Carrusca, Maria Cecília Gomes, João Leitão

Proceedings of the Service-Oriented Computing - ICSOC 2019 Workshops, 2019

Enabling Fog Computing using Self-Organizing Compute Nodes.

Vasileios Karagiannis, Stefan Schulte, João Leitão, Nuno M. Preguiça

Proceedings of the 3rd IEEE International Conference on Fog and Edge Computing, 2019

Efficient Synchronization of State-Based CRDTs.

Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão

Proceedings of the 35th IEEE International Conference on Data Engineering, 2019

Data Replication on the Cloud/Edge.

David Mealha, Nuno M. Preguiça, Maria Cecilia Gomes, João Leitão

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

Programming models and runtimes.

Georges Da Costa, Alexey L. Lastovetsky, Jorge G. Barbosa, Juan Carlos Díaz Martín, Juan-Luis García Zapata, Matthias Janetschek, Emmanuel Jeannot, João Leitão, Ravi Reddy Manumachu, Radu Prodan, Juan A. Rico-Gallego, Peter Van Roy, Ali Shoker, Albert van der Linde

Proceedings of the Ultrascale Computing Systems, 2019

2018

BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.

Guilherme Borges, Henrique João L. Domingos, Bernardo Ferreira, João Leitão, Tiago Oliveira, Bernardo Portela

IACR Cryptol. ePrint Arch., 2018

Towards Enabling Novel Edge-Enabled Applications.

João Leitão, Pedro Ákos Costa, Maria Cecília Gomes, Nuno M. Preguiça

CoRR, 2018

Time-Aware Publish/Subscribe for Networks of Mobile Devices.

João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça

CoRR, 2018

Practical Continuous Aggregation in Wireless Edge Environments.

Pedro Ákos Costa, João Leitão

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

Practical and Fast Causal Consistent Partial Geo-Replication.

Pedro Fouto, João Leitão, Nuno M. Preguiça

Proceedings of the 17th IEEE International Symposium on Network Computing and Applications, 2018

The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report).

Daniel Porto, João Leitão, Flavio Junqueira, Rodrigo Rodrigues

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017

MuSE: Multimodal Searchable Encryption for Cloud Applications.

Bernardo Ferreira, João Leitão, Henrique João L. Domingos

IACR Cryptol. ePrint Arch., 2017

Multimodal Indexable Encryption for Mobile Cloud-based Applications (Extended Version).

Bernardo Ferreira, João Leitão, Henrique João L. Domingos

IACR Cryptol. ePrint Arch., 2017

Blotter: Low Latency Transactions for Geo-Replicated Storage.

Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues

Proceedings of the 26th International Conference on World Wide Web, 2017

Legion: Enriching Internet Services with Peer-to-Peer Interactions.

Albert van der Linde, Pedro Fouto, João Leitão, Nuno M. Preguiça, Santiago J. Castiñeira, Annette Bieniusa

Proceedings of the 26th International Conference on World Wide Web, 2017

Fine-Grained Consistency Upgrades for Online Services.

Filipe Freitas, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

FMKe: a Real-World Benchmark for Key-Value Data Stores.

Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, João Leitão, Nuno M. Preguiça

Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

Borrowing an Identity for a Distributed Counter: Work in progress report.

Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, João Leitão

Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

Multimodal Indexable Encryption for Mobile Cloud-Based Applications.

Bernardo Ferreira, João Leitão, Henrique João L. Domingos

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016

Geo-Replication: Fast If Possible, Consistent If Necessary.

Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sérgio Duarte, Carla Ferreira, Johannes Gehrke, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Marc Shapiro, Viktor Vafeiadis

IEEE Data Eng. Bull., 2016

Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access.

João A. Silva, João Leitão, Nuno M. Preguiça, João M. Lourenço, Hervé Paulino

Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, 2016

Δ-CRDTs: making Δ-CRDTs delta-based.

Albert van der Linde, João Leitão, Nuno M. Preguiça

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Characterizing the Consistency of Online Services (Practical Experience Report).

Filipe Freitas, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015

Privacy-Preserving Content-Based Image Retrieval in the Cloud (Extended Version).

Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos

IACR Cryptol. ePrint Arch., 2015

Privacy-Preserving Content-Based Image Retrieval in the Cloud.

Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Visigoth fault tolerance.

Daniel Porto, João Leitão, Cheng Li, Allen Clement, Aniket Kate, Flavio Paiva Junqueira, Rodrigo Rodrigues

Proceedings of the Tenth European Conference on Computer Systems, 2015

Minimizing coordination in replicated systems.

Cheng Li, João Leitão, Allen Clement, Nuno M. Preguiça, Rodrigo Rodrigues

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

2014

Automating the Choice of Consistency Levels in Replicated Systems.

Cheng Li, João Leitão, Allen Clement, Nuno M. Preguiça, Rodrigo Rodrigues, Viktor Vafeiadis

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

The 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS 2014).

Joao Carlos Antunes Leitao, Ricardo Manuel Pereira Vilaça

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Overnesia: A Resilient Overlay Network for Virtual Super-Peers.

Joao Carlos Antunes Leitao, Luis Eduardo Teixeira Rodrigues

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties.

Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos

Proceedings of the Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, 2014

2013

Bounded gossip: a gossip protocol for large-scale datacenters.

Miguel Branco, João Leitão, Luís E. T. Rodrigues

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Rollerchain: A DHT for Efficient Replication.

João Paiva, João Leitão, Luís E. T. Rodrigues

Proceedings of the 2013 IEEE 12th International Symposium on Network Computing and Applications, 2013

ChainReaction: a causal+ consistent datastore based on chain replication.

Sérgio Almeida, João Leitão, Luís E. T. Rodrigues

Proceedings of the Eighth Eurosys Conference 2013, 2013

2012

X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks.

João Leitão, João Pedro Marques, José Pereira, Luís E. T. Rodrigues

IEEE Trans. Parallel Distributed Syst., 2012

A-OSGi: a framework to support the construction of autonomic OSGi-based applications.

João Ferreira, João Leitão, Luís E. T. Rodrigues

Int. J. Auton. Adapt. Commun. Syst., 2012

MobUser: Publish-subscribe Communication for Mobile Nodes.

Mauro Silva, João Leitão, Carlos Ribeiro

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

2011

N-party BAR Transfer: motivation, definition, and challenges.

Xavier Vilaça, João Leitão, Luís E. T. Rodrigues

Proceedings of the Workshop on Theoretical Aspects on Dynamic Distributed Systems, 2011

N-party BAR Transfer.

Xavier Vilaça, João Leitão, Miguel Correia, Luís E. T. Rodrigues

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

2010

Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay.

Mário F. S. Ferreira, João Leitão, Luís E. T. Rodrigues

Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

RASM: A Reliable Algorithm for Scalable Multicast.

Mouna Allani, João Leitão, Benoît Garbinato, Luís E. T. Rodrigues

Proceedings of the 18th Euromicro Conference on Parallel, 2010

Flexible and efficient resource location in large-scale systems.

João Alveirinho, João Paiva, João Leitão, Luís E. T. Rodrigues

Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

Balancing gossip exchanges in networks with firewalls.

João Leitão, Robbert van Renesse, Luís E. T. Rodrigues

Proceedings of the 9th international conference on Peer-to-peer systems, 2010

Observable non-Sybil quorums construction in one-hop wireless ad hoc networks.

Diogo Mónica, João Leitão, Luís E. T. Rodrigues, Carlos Ribeiro

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009

X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays.

Joao Carlos Antunes Leitao, João Pedro Marques, José Orlando Roque Nascimento Pereira, Luis Eduardo Teixeira Rodrigues

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

2007

Epidemic Broadcast Trees.

João Leitão, José Pereira, Luís E. T. Rodrigues

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast.

João Leitão, José Pereira, Luís E. T. Rodrigues

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007