João Leitão

77 papers A* 3A 9B 17C 5Misc 2Journal 20Unranked 19
YearRankTypeTitle / Venue / Authors
2025 B conf
Goose: Optimistic Search in the IPFS Network.
SRDS
Rafael Sequeira, Pedro Camponês, Pedro Ákos Costa, João Leitão
2025 — conf
Specifying Distributed Hash Tables with Allen Temporal Logic.
FormaliSE
Nuno Policarpo, José Fragoso Santos, Alcino Cunha, João Leitão, Pedro Ákos Costa
2024 J jnl
IPFS requested content location service.
Sci. Comput. Program.
Pedro Ákos Costa, João Leitão, Yiannis Psaras
2024 A conf
Large-Scale Causal Data Replication for Stateful Edge Applications.
ICDCS
Pedro Fouto, Nuno M. Preguiça, João Leitão
2023 — conf
Data Management for mobile applications dependent on geo-located data.
PaPoC@EuroSys
Nuno M. Santos, Luís M. Silva, João Leitão, Nuno M. Preguiça
2023 J jnl
EAMDrift: An interpretable self retrain model for time series.
CoRR
Gonçalo Mateus, Cláudia Soares, João Leitão, António Rodrigues
2023 C conf
Studying the Workload of a Fully Decentralized Web3 System: IPFS.
DAIS
Pedro Ákos Costa, João Leitão, Yiannis Psaras
2022 B conf
Babel: A Framework for Developing Performant and Dependable Distributed Protocols.
SRDS
Pedro Fouto, Pedro Ákos Costa, Nuno M. Preguiça, João Leitão
2022 J jnl
Babel: A Framework for Developing Performant and Dependable Distributed Protocols.
CoRR
Pedro Fouto, Pedro Ákos Costa, Nuno M. Preguiça, João Leitão
2022 J jnl
Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware.
IEEE Trans. Dependable Secur. Comput.
Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique João L. Domingos, João Leitão
2022 B conf
Engage: Session Guarantees for the Edge.
ICCCN
Miguel Belém, Pedro Fouto, Taras Lykhenko, João Leitão, Nuno M. Preguiça, Luís Rodrigues
2022 — conf
Enriching Kademlia by Partitioning.
ICDCS Workshops
João Monteiro, Pedro Ákos Costa, João Leitão, Alfonso de la Rocha, Yiannis Psaras
2022 J jnl
Geo-located data for better dynamic replication.
CoRR
Luís M. Silva, Frederico Aleixo, Albert van der Linde, João Leitão, Nuno M. Preguiça
2022 — conf
High Throughput Replication with Integrated Membership Management.
USENIX ATC
Pedro Fouto, Nuno M. Preguiça, João Leitão
2022 J jnl
Studying the workload of a fully decentralized Web3 system: IPFS.
CoRR
Pedro Ákos Costa, João Leitão, Yiannis Psaras
2022 A conf
TESRAC: A Framework for Test Suite Reduction Assessment at Scale.
ICST
João Becho, Frederico Cerveira, João Leitão, Rui André Oliveira
2021 C conf
Generalizing Wireless Ad Hoc Routing for Future Edge Applications.
MobiQuitous
André Rosa, Pedro Ákos Costa, João Leitão
2021 J jnl
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.
João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
2020 Misc conf
Enabling wireless ad hoc edge systems with yggdrasil.
SAC
Pedro Ákos Costa, André Rosa, João Leitão
2020 J jnl
Lazy State Determination: More concurrency for contending linearizable transactions.
CoRR
Tiago M. Vale, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Ricardo J. Dias, João M. Lourenço
2020 — conf
On combining fault tolerance and partial replication with causal consistency.
PaPoC@EuroSys
Albert van der Linde, Diogo Serra, João Leitão, Nuno M. Preguiça
2020 B conf
Overlay Networks for Edge Management.
NCA
Pedro Ákos Costa, Pedro Fouto, João Leitão
2020 J jnl
Practical Client-side Replication: Weak Consistency Semantics for Insecure Settings.
Proc. VLDB Endow.
Albert van der Linde, João Leitão, Nuno M. Preguiça
2020 — conf
The intrinsic cost of causal consistency.
PaPoC@EuroSys
Albert van der Linde, Pedro Fouto, João Leitão, Nuno M. Preguiça
2019 — ch.
Achieving Low Latency Transactions for Geo-replicated Storage with Blotter.
Encyclopedia of Big Data Technologies
Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues
2019 B conf
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.
SRDS
Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique João L. Domingos, João Leitão
2019 — conf
Data Replication on the Cloud/Edge.
PaPoC@EuroSys
David Mealha, Nuno M. Preguiça, Maria Cecilia Gomes, João Leitão
2019 A* conf
Efficient Synchronization of State-Based CRDTs.
ICDE
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão
2019 C conf
Enabling Fog Computing using Self-Organizing Compute Nodes.
ICFEC
Vasileios Karagiannis, Stefan Schulte, João Leitão, Nuno M. Preguiça
2019 — conf
Microservices Management on Cloud/Edge Environments.
ICSOC Workshops
André Carrusca, Maria Cecília Gomes, João Leitão
2019 J jnl
Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories.
IEEE Trans. Cloud Comput.
Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos
2019 — ch.
Programming models and runtimes.
Ultrascale Computing Systems
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
2019 B conf
Revisiting Broadcast Algorithms for Wireless Edge Networks.
SRDS
André Rosa, Pedro Ákos Costa, João Leitão
2019 C conf
Time-aware reactive storage in wireless edge environments.
MobiQuitous
João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
2018 B ed.
21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017
OPODIS
James Aspnes, Alysson Bessani, Pascal Felber, João Leitão
2018 J jnl
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.
IACR Cryptol. ePrint Arch.
Guilherme Borges, Henrique João L. Domingos, Bernardo Ferreira, João Leitão, Tiago Oliveira, Bernardo Portela
2018 J jnl
Efficient Synchronization of State-based CRDTs.
CoRR
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão
2018 B conf
MuSE: Multimodal Searchable Encryption for Cloud Applications.
SRDS
Bernardo Ferreira, João Leitão, Henrique João L. Domingos
2018 B conf
Practical Continuous Aggregation in Wireless Edge Environments.
SRDS
Pedro Ákos Costa, João Leitão
2018 B conf
Practical and Fast Causal Consistent Partial Geo-Replication.
NCA
Pedro Fouto, João Leitão, Nuno M. Preguiça
2018 A conf
The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report).
DSN
Daniel Porto, João Leitão, Flavio Junqueira, Rodrigo Rodrigues
2018 J jnl
Time-Aware Publish/Subscribe for Networks of Mobile Devices.
CoRR
João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
2018 J jnl
Towards Enabling Novel Edge-Enabled Applications.
CoRR
João Leitão, Pedro Ákos Costa, Maria Cecília Gomes, Nuno M. Preguiça
2017 A* conf
Blotter: Low Latency Transactions for Geo-Replicated Storage.
WWW
Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues
2017 — conf
Borrowing an Identity for a Distributed Counter: Work in progress report.
PaPoC@EuroSys
Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, João Leitão
2017 — conf
FMKe: a Real-World Benchmark for Key-Value Data Stores.
PaPoC@EuroSys
Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, João Leitão, Nuno M. Preguiça
2017 B conf
Fine-Grained Consistency Upgrades for Online Services.
SRDS
Filipe Freitas, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues
2017 A* conf
Legion: Enriching Internet Services with Peer-to-Peer Interactions.
WWW
Albert van der Linde, Pedro Fouto, João Leitão, Nuno M. Preguiça, Santiago J. Castiñeira, Annette Bieniusa
2017 J jnl
MuSE: Multimodal Searchable Encryption for Cloud Applications.
IACR Cryptol. ePrint Arch.
Bernardo Ferreira, João Leitão, Henrique João L. Domingos
2017 A conf
Multimodal Indexable Encryption for Mobile Cloud-Based Applications.
DSN
Bernardo Ferreira, João Leitão, Henrique João L. Domingos
2017 J jnl
Multimodal Indexable Encryption for Mobile Cloud-based Applications (Extended Version).
IACR Cryptol. ePrint Arch.
Bernardo Ferreira, João Leitão, Henrique João L. Domingos
2016 A conf
Characterizing the Consistency of Online Services (Practical Experience Report).
DSN
Filipe Freitas, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues
2016 J jnl
Geo-Replication: Fast If Possible, Consistent If Necessary.
IEEE Data Eng. Bull.
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
2016 — conf
Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access.
MECC@Middleware
João A. Silva, João Leitão, Nuno M. Preguiça, João M. Lourenço, Hervé Paulino
2016 — conf
Δ-CRDTs: making Δ-CRDTs delta-based.
PaPoC@EuroSys
Albert van der Linde, João Leitão, Nuno M. Preguiça
2015 — conf
Minimizing coordination in replicated systems.
PaPoC@EuroSys
Cheng Li, João Leitão, Allen Clement, Nuno M. Preguiça, Rodrigo Rodrigues
2015 J jnl
Privacy-Preserving Content-Based Image Retrieval in the Cloud (Extended Version).
IACR Cryptol. ePrint Arch.
Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos
2015 B conf
Privacy-Preserving Content-Based Image Retrieval in the Cloud.
SRDS
Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos
2015 A conf
Visigoth fault tolerance.
EuroSys
Daniel Porto, João Leitão, Cheng Li, Allen Clement, Aniket Kate, Flavio Paiva Junqueira, Rodrigo Rodrigues
2014 — conf
Automating the Choice of Consistency Levels in Replicated Systems.
USENIX ATC
Cheng Li, João Leitão, Allen Clement, Nuno M. Preguiça, Rodrigo Rodrigues, Viktor Vafeiadis
2014 — conf
Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties.
DPM/SETOP/QASA
Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos
2013 Misc conf
Bounded gossip: a gossip protocol for large-scale datacenters.
SAC
Miguel Branco, João Leitão, Luís E. T. Rodrigues
2013 A conf
ChainReaction: a causal+ consistent datastore based on chain replication.
EuroSys
Sérgio Almeida, João Leitão, Luís E. T. Rodrigues
2013 B conf
Rollerchain: A DHT for Efficient Replication.
NCA
João Paiva, João Leitão, Luís E. T. Rodrigues
2012 J jnl
A-OSGi: a framework to support the construction of autonomic OSGi-based applications.
Int. J. Auton. Adapt. Commun. Syst.
João Ferreira, João Leitão, Luís E. T. Rodrigues
2012 B conf
MobUser: Publish-subscribe Communication for Mobile Nodes.
ICPADS
Mauro Silva, João Leitão, Carlos Ribeiro
2012 J jnl
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks.
IEEE Trans. Parallel Distributed Syst.
João Leitão, João Pedro Marques, José Pereira, Luís E. T. Rodrigues
2011 B conf
N-party BAR Transfer.
OPODIS
Xavier Vilaça, João Leitão, Miguel Correia, Luís E. T. Rodrigues
2011 — conf
N-party BAR Transfer: motivation, definition, and challenges.
TADDS
Xavier Vilaça, João Leitão, Luís E. T. Rodrigues
2010 — conf
Balancing gossip exchanges in networks with firewalls.
IPTPS
João Leitão, Robbert van Renesse, Luís E. T. Rodrigues
2010 — conf
Flexible and efficient resource location in large-scale systems.
LADIS
João Alveirinho, João Paiva, João Leitão, Luís E. T. Rodrigues
2010 A conf
Observable non-Sybil quorums construction in one-hop wireless ad hoc networks.
DSN
Diogo Mónica, João Leitão, Luís E. T. Rodrigues, Carlos Ribeiro
2010 C conf
RASM: A Reliable Algorithm for Scalable Multicast.
PDP
Mouna Allani, João Leitão, Benoît Garbinato, Luís E. T. Rodrigues
2010 B conf
Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay.
SRDS
Mário F. S. Ferreira, João Leitão, Luís E. T. Rodrigues
2009 — conf
A-OSGi: A Framework to Support the Construction of Autonomic OSGi-Based Applications.
Autonomics
João Ferreira, João Leitão, Luís E. T. Rodrigues
2007 B conf
Epidemic Broadcast Trees.
SRDS
João Leitão, José Pereira, Luís E. T. Rodrigues
2007 A conf
HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast.
DSN
João Leitão, José Pereira, Luís E. T. Rodrigues