João Leitão

Orcid: 0000-0001-7916-980X

Affiliations:
  • Universidade Nova de Lisboa, Lisbon, Portugal
  • Technical University of Lisbon, Portugal (PhD 2012)


According to our database1, João Leitão authored at least 71 papers between 2007 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
IPFS requested content location service.
Sci. Comput. Program., 2024

Large-Scale Causal Data Replication for Stateful Edge Applications.
Proceedings of the 44th IEEE International Conference on Distributed Computing Systems, 2024

2023
EAMDrift: An interpretable self retrain model for time series.
CoRR, 2023

Data Management for mobile applications dependent on geo-located data.
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.
Proceedings of the Distributed Applications and Interoperable Systems, 2023

2022
Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware.
IEEE Trans. Dependable Secur. Comput., 2022

Geo-located data for better dynamic replication.
CoRR, 2022

High Throughput Replication with Integrated Membership Management.
Proceedings of the 2022 USENIX Annual Technical Conference, 2022

Babel: A Framework for Developing Performant and Dependable Distributed Protocols.
Proceedings of the 41st International Symposium on Reliable Distributed Systems, 2022

TESRAC: A Framework for Test Suite Reduction Assessment at Scale.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Enriching Kademlia by Partitioning.
Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

Engage: Session Guarantees for the Edge.
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.
Future Gener. Comput. Syst., 2021

Generalizing Wireless Ad Hoc Routing for Future Edge Applications.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2021

2020
Practical Client-side Replication: Weak Consistency Semantics for Insecure Settings.
Proc. VLDB Endow., 2020

Lazy State Determination: More concurrency for contending linearizable transactions.
CoRR, 2020

Enabling wireless ad hoc edge systems with yggdrasil.
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.
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020

On combining fault tolerance and partial replication with causal consistency.
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

The intrinsic cost of causal consistency.
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.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories.
IEEE Trans. Cloud Comput., 2019

Revisiting Broadcast Algorithms for Wireless Edge Networks.
Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

Time-aware reactive storage in wireless edge environments.
Proceedings of the MobiQuitous 2019, 2019

Microservices Management on Cloud/Edge Environments.
Proceedings of the Service-Oriented Computing - ICSOC 2019 Workshops, 2019

Enabling Fog Computing using Self-Organizing Compute Nodes.
Proceedings of the 3rd IEEE International Conference on Fog and Edge Computing, 2019

Efficient Synchronization of State-Based CRDTs.
Proceedings of the 35th IEEE International Conference on Data Engineering, 2019

Data Replication on the Cloud/Edge.
Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019


2018
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.
IACR Cryptol. ePrint Arch., 2018

Towards Enabling Novel Edge-Enabled Applications.
CoRR, 2018

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

Practical Continuous Aggregation in Wireless Edge Environments.
Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018

Practical and Fast Causal Consistent Partial Geo-Replication.
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).
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017
MuSE: Multimodal Searchable Encryption for Cloud Applications.
IACR Cryptol. ePrint Arch., 2017

Multimodal Indexable Encryption for Mobile Cloud-based Applications (Extended Version).
IACR Cryptol. ePrint Arch., 2017

Blotter: Low Latency Transactions for Geo-Replicated Storage.
Proceedings of the 26th International Conference on World Wide Web, 2017

Legion: Enriching Internet Services with Peer-to-Peer Interactions.
Proceedings of the 26th International Conference on World Wide Web, 2017

Fine-Grained Consistency Upgrades for Online Services.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

FMKe: a Real-World Benchmark for Key-Value Data Stores.
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.
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

Multimodal Indexable Encryption for Mobile Cloud-Based Applications.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016
Geo-Replication: Fast If Possible, Consistent If Necessary.
IEEE Data Eng. Bull., 2016

Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access.
Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, 2016

Δ-CRDTs: making Δ-CRDTs delta-based.
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).
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).
IACR Cryptol. ePrint Arch., 2015

Privacy-Preserving Content-Based Image Retrieval in the Cloud.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Visigoth fault tolerance.
Proceedings of the Tenth European Conference on Computer Systems, 2015

Minimizing coordination in replicated systems.
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.
Proceedings of the 2014 USENIX Annual Technical Conference, 2014

The 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS 2014).
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Overnesia: A Resilient Overlay Network for Virtual Super-Peers.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties.
Proceedings of the Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, 2014

2013
Bounded gossip: a gossip protocol for large-scale datacenters.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Rollerchain: A DHT for Efficient Replication.
Proceedings of the 2013 IEEE 12th International Symposium on Network Computing and Applications, 2013

ChainReaction: a causal+ consistent datastore based on chain replication.
Proceedings of the Eighth Eurosys Conference 2013, 2013

2012
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks.
IEEE Trans. Parallel Distributed Syst., 2012

A-OSGi: a framework to support the construction of autonomic OSGi-based applications.
Int. J. Auton. Adapt. Commun. Syst., 2012

MobUser: Publish-subscribe Communication for Mobile Nodes.
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

2011
N-party BAR Transfer: motivation, definition, and challenges.
Proceedings of the Workshop on Theoretical Aspects on Dynamic Distributed Systems, 2011

N-party BAR Transfer.
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.
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.
Proceedings of the 18th Euromicro Conference on Parallel, 2010

Flexible and efficient resource location in large-scale systems.
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

Balancing gossip exchanges in networks with firewalls.
Proceedings of the 9th international conference on Peer-to-peer systems, 2010

Observable non-Sybil quorums construction in one-hop wireless ad hoc networks.
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.
Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

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

HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007


  Loading...