© Photo by Gonçalo João

| Home | Curriculum | Research | Publications | Students |

João Leitão's Homepage : Publications

Check my Google Scholar Profile here

Publications

[2017]

Fine-Grained Consistency Upgrades for Online Services
F. Freitas, J. Leitão, N. Preguiça, and R. Rodrigues.
Proceedings of the IEEE 36th Symposium on Reliable Distributed Systems (SRDS 2017), 26-29 September, 2017. Hong Kong, China (to appear).

FMKe: a Real-World Benchmark for Key-Value Data Stores
G. Tomás, P. Zeller, V. Balegas, D. Akkoorath, A. Bieniusa, J. Leitão, and N. Preguiça.
Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data (PAPOC'17) April 23, 2017. Belgrade, Serbia.

Borrowing an identity for a Distributed Counter (Work in Progress Report)
V. E. Duarte, C. Baquero, P. S. Almeida, and J. Leitão
Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data (PAPOC'17) April 23, 2017. Belgrade, Serbia.

Multimodal Indexable Encryption for Mobile Cloud-based Applications
B. Ferreira, J. Leitão, and H. Domingos.
Proceedings of the 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'17), Denver, USA, June, 2017 (to appear).

Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories.
B. Ferreira, J. Rodrigues, J. Leitão, and H. Domingos.
IEEE Transactions on Cloud Computing, 2017.
[Publisher Website]

Legion: Enriching Internet Services with Peer-to-Peer Interactions.
A. Linde, P. Fouto, J. Leitão, N. Preguiça, S. Castiñeira, and A. Bieniusa.
Proceedings of the 26th International Conference on World Wide Web (WWW'17), Perth, Western Australia, April, 2017.
[Publisher Website]

Blotter: Low Latency Transactions for Geo-Replicated Storage.
H. Moniz, J. Leitão, R. Dias, J. Gehrke, N. Preguiça, and R. Rodrigues.
Proceedings of the 26th International Conference on World Wide Web (WWW'17), Perth, Western Australia, April, 2017.
[Publisher Website]

[2016]

Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access.
J. Silva, J. Leitão, N. Preguiça, João M. Lourenço, and Hervé Paulino.
Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets (MECC'16), Trento, Italy, December 2016.
[PDF]

Characterizing the Consistency of Online Services (Practical Experience Report).
F. Freitas, J. Leitão, N. Preguiça, and R. Rodrigues.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Toulouse, France, June 2016.

Δ-CRDTs: Making δ-CRDTs Delta-Based.
A. Linde, J. Leitão, and N. Preguiça.
Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC 2016), London, UK, April 2016.
[PDF]

Geo-Replication: Fast If Possible, Consistent If Necessary.
V. Balegas, C. Li, M. Najafzadeh, D. Porto, A. Clement, S. Duarte, C. Ferreira, J. Gehrke, J. Leitão, N. Preguiça, R. Rodrigues, M. Shapiro, and V. Vafeiadis.
Bulletin of the Technical Committee on Data Engineering. IEEE Computer Society. March 2016.

[2015]

Privacy-Preserving Content-Based Image Retrieval in the Cloud.
B. Ferreira, J. Rodrigues, J. Leitão, and H. Domingos.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems (SRDS 2015), Montreal, Quebec, Canada, September 2015.

Visigoth Fault Tolerance.
D. Porto, J. Leitão, C. Li, A. Clement, A. Kate, F. Junqueira, and R. Rodrigues.
Proceedings of the EuroSys 2015, Bordeaux, France, April 2015.
[Paper at ACM (free access)][Companion Technical Report]

Minimizing coordination in replicated systems.
C. Li, J. Leitão, A. Clement, N. Preguiça, and R. Rodrigues.
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'15), collocated with Eurosys'15, Bordeaux, France, April 2015.
[ACM Page (free access)]

[2014]

Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties.
B. Ferreira, J. Rodrigues, J. Leitão and H. Domingos.
Proceedings of the 9th International Workshop on Data Privacy Management (DPM), colocated with the European Symposium on Research in Computer Security (ESORICS 2014), Wroclaw, Poland, September 2014.

Overnesia: a Resilient Overlay Network for Virtual Super-Peers.
J. Leitão and L. Rodrigues.
Proceedings of the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), Nara, Japan, October 2014 (to appear).

Automating the Choices of Consistency Levels in Replicated Systems.
C. Li, J. Leitão, A. Clement, N. Preguiça, R. Rodrigues, and V. Vafeiadis.
Proceedings of the 2014 USENIX Annual Technical Conference (USENIX ATC 2014), Philadelphia, PA, USA, June 2014 (to appear).

LLC-GNUMAP: Scalable, Precise, and High-Coverage Genomics Mapping. (Extended Abstract)
N. P. Leitão, J. Leitão, and F. Couto.
Bioinformatics Open Days, Universidade do Minho Braga, Portugal, February, 2014.
[BibTeX][PDF]

[2013]

Rollerchain: a DHT for Efficient Replication
J. Paiva, J. Leitão and L. Rodrigues.
Proceedings of the 12th IEEE International Symposium on Network Computing and Applications (IEEE NCA13), Cambridge, MA USA, August 2013.
[Early Extended Abstract (PDF)]

ChainReaction a Causal+ Consistent Datastore based on Chain Replication
S. Almeida, J. Leitão, and L. Rodrigues
Proceedings of the EuroSys 2013, Prague, Czech Republic, April 2013.
[PDF]

Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters
M. Branco, J. Leitão, and L. Rodrigues
28th Symposium On Applied Computing, Coimbra, Portugal March 18-22 2012.
[PDF]

[2012]

MobUser: publish-subscribe communication for mobile nodes
M. Silva, J. Leitão, and C. Ribeiro
18th IEEE International Conference on Parallel and Distributed Systems, Singapore, December 17-19 2012.

Topology Management for Unstructured Overlay Networks
J. Leitão
Ph.D.'s Thesis, Technical University of Lisbon, 2012.
[BibTeX][Abstract][PDF][Slides]

A-OSGi: a framework to support the construction of autonomic OSGi-based applications
J. Ferreira, J. Leitão and L. Rodrigues
International Journal on Autonomous and Adaptive Communications Systems, Vol. 5, No. 3, pp.292-310, 2012.
[BibTeX][Abstract][Publisher Web Page]

X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks
J. Leitão, J. P. Marques, J. Pereira, and L. Rodrigues
IEEE Transactions on Parallel and Distributed Systems (Published online January 2012).
[BibTeX][Abstract][Publisher Web Page]

[2011]

N-party BAR Transfer
X. Vilaça, J. Leitão, M. Correia, and L. Rodrigues
Proceeding of the 15th International Conference On Principles Of Distributed Systems (OPODIS), Toulouse, France, December 2011.

N-party BAR Transfer: Motivation, Definition, and Challenges
X. Vilaça, J. Leitão, and L. Rodrigues
Proceedings of the 3rd Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), Rome, Italy, 20-22 September 2011.
[PDF]

[2010]

Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay
M. Ferreira, J. Leitão, and L. Rodrigues
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS), New Delhi, India, 31 October-3 November 2010.
[BibTeX][Abstract][PDF]

Flexible and Efficient Resource Location in Large-Scale Systems
J. Alveirinho, J. G. Paiva, J. Leitão, and L. Rodrigues
Proceedings of the 4th ACM SIGOPS/SIGACT International Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Zürich, Switzerland, 28-29 July 2010.
[BibTeX][Abstract][PDF][ACM Page (free access)]

Observable Non-Sybil Quorums Construction in One-Hop Wireless Ad Hoc Networks
D. Mónica, J. Leitão, L. Rodrigues, and C. Ribeiro
Proceedings of the 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Chicago, Illinois, USA, June, 2010.
[BibTeX][Abstract][PDF]

Mobile Users are not Static Users on the Move
J. Garcia, J. Leitão, and P. Ferreira
Proceedings of the 28th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), Gramado, Brazil, May, 2010.
[BibTeX][Abstract][PDF]

Balancing Gossip Exchanges in Networks with Firewalls
J. Leitão, R. van Renesse and L. Rodrigues
Proceedings of the 9th International Workshop on Peer-to-Peer Systems (IPTPS '10), San Jose, CA, USA, 27 April, 2010.
[BibTeX][Abstract][PDF]

On Adding Structure to Unstructured Overlay Networks.
J. Leitão, N. Carvalho, J. Pereira, R. Oliveira, and L. Rodrigues
In Handbook of Peer-to-Peer Networking, X. Shen, H. Yu, J. Buford, M. Akon (Eds.), Springer 2010.
ISBN: 978-0-387-09750-3
[Publisher Site][PDF]

Gossip-Based Broadcast.
J. Leitão, J. Pereira, and L. Rodrigues
In Handbook of Peer-to-Peer Networking, X. Shen, H. Yu, J. Buford, M. Akon (Eds.), Springer 2010.
ISBN: 978-0-387-09750-3
[Publisher Site][PDF]

RASM: A Reliable Algorithm for Scalable Multicast
M. Allani, J. Leitão, B. Garbinato and L. Rodrigues
Proceedings of the 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), Italy, Pisa, Feb, 2010.
[BibTeX][Abstract][PDF]

[2009]

A-OSGi: A framework to support the construction of autonomic OSGi-based applications
J. Ferreira, J. Leitão and L. Rodrigues
Proceedings of the Third International ICST Conference on Autonomic Computing and Communication Systems, Limassol, Cyprus, Sep, 2009.
[BibTeX][Abstract][PDF]

X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays
J. Leitão, J. P. Marques, J. Pereira and L. Rodrigues
Proceedings of the 28th IEEE International Symposium on Reliable Distributed Systems, Niagara Falls, New York, U.S.A., Sep, 2009.
[BibTeX][Abstract][PDF][Simulation Code]

On the Use of Radio Resource Tests in Wireless ad hoc Networks
D. Mónica, J. Leitão, L. Rodrigues, and C. Ribeiro
Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS), Estoril, Portugal, Jun, 2009.
[BibTeX][Abstract][PDF]

[2008]

Large-Scale Peer-to-Peer Autonomic Monitoring
J. Leitão, L. Rosa and L. Rodrigues
Proceedings of the Distributed Autonomous Network Management Systems Workshop (DANMS), New Orleans, USA, Oct, 2008.
[BibTeX][Abstract][PDF]

On the Structure of Unstructured Overlay Networks
J. Leitão, J. Pereira and L. Rodrigues
In Supplement of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Anchorage, Alaska, USA, June, 2008.
[BibTeX][Abstract][PDF]

[2007]

Epidemic Broadcast Trees
J. Leitão, J. Pereira and L. Rodrigues
Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems, Beijing, China, October, 2007.
[BibTeX][Abstract][PDF]

HyParView: a membership protocol for reliable gossip-based broadcast
J. Leitão, J. Pereira and L. Rodrigues
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Edinburgh, UK, June, 2007.
[BibTeX][Abstract][PDF]

Gossip-based broadcast protocols
J. Leitão
Master's Thesis, University of Lisbon, May, 2007.
[BibTeX][Abstract][PDF]


Publications in Portuguese

[2015]

Enriquecimento de plataformas web colaborativas com comunicação browser-a-browser.
Albert Linde, João Leitão, and Nuno Preguiça.
Actas do sétimo Simpósio de Informática, Covilhã, Portugal, Sp 2015.
[PDF]

Cifra Multimodal Indexável para Aplicações Móveis baseadas na N.
Bernardo Ferreira, João Leitão, and Henrique Domingos.
Actas do sétimo Simpósio de Informática, Covilhã, Portugal, Sp 2015.

Ouroboros: Uma DHT Auto-Organizável Tolerante a Churn (Oral Presentation Only).
João Carvalho, João Leitão, and Nuno Preguiça.
Sétimo Simpósio de Informática, Covilhã, Portugal, Sp 2015.
[PDF]

[2014]

DocNuvem: Edição Colaborativa de Documentos na Nuvem com Garantias de Privacidade
João Rodrigues, Bernardo Ferreira, João Leitão, and Henrique Domingos.
Actas do sexto Simpósio de Informática, Porto, Portugal, Sep, 2014.

[2013]

Avaliação das Garantias de Constência em Serviços Geo-Replicados
João Costa, João Leitão, Daniel Porto, Nuno Preguiça, Rodrigo Rodrigues
Actas do quinto Simpósio de Informática, Évora, Portugal, Sep, 2013.

[2012]

MobUser: Uma plataforma para partilha de informação centrada no utilizador para dispositivos móveis (Short paper)
M. Silva, J. Leitão, C. Ribeiro
Actas do quarto Simpósio de Informática, Caparica, Portugal, Sep, 2012.

PEC: Protocolo Epidémico para Centros de dados
M. Branco, J. Leitão, L. Rodrigues
Actas do quarto Simpósio de Informática, Caparica, Portugal, Sep, 2012.

ChainReaction: uma Variante de Replicação em Cadeia com Coerência Causal+
S. Almeida, J. Leitão, L. Rodrigues
Actas do quarto Simpósio de Informática, Caparica, Portugal, Sep, 2012.

[2011]

Transferência de Dados entre Grupos de Processos no Modelo BAR
X. Vilaça, J. Leitão, L. Rodrigues
Actas do terceiro Simpósio de Informática, Coimbra, Portugal, Sep, 2011 (Best Paper Award) .

[2010]

Thicket: Construção e Manutenção de Múltiplas Árvores numa Rede entre Pares
M. Ferreira, J. Leitão, L. Rodrigues
Actas do segundo Simpósio de Informática, Minho, Portugal, Sep, 2010.
[BibTeX][Abstract][PDF]

Curiata: Uma arquitectura P2P auto-organizável para uma localização flexível e eficiente de recursos
J. Alveirinho, J. Leitão, J. Paiva, L. Rodrigues
Actas do segundo Simpósio de Informática, Minho, Portugal, Sep, 2010.
[BibTeX][Abstract][PDF]

[2009]

Contrução Observável de um Sistema de Quorum Não Sybil na Vizinhança Rádio de uma Rede Ad-Hoc Sem Fios
D. Mónica, J. Leitão, L. Rodrigues, C. Ribeiro
Actas do primeiro Simpósio de Informática, Liboa, Portugal, Sep, 2009.
[BibTeX][Abstract][PDF]

[2008]

Aplicação da informática na criação de um dicionário. Case Study: Lexicon
J. Leitão
LEXICON - Dicionário de Grego Português: Actas do Colóquio Internacional, Lisboa, Portugal, 2008.


Copyright Notice

The reports contained in this page are included by the contributing authors as a mechanism to ensure timely dissemination of scholarly/technical information on a non-commercial basis. Copyright and all rights therein are maintained by the authors, despite the fact they have offered this information electronically. It is understood that all individuals copying this information will adhere to the terms/ constraints invoked by each author's copyright.

Reports may not be copied for commercial redistribution, republication, or dissemination without the explicit permission of the authors.

Sections of some of these reports have been published by IEEE and have IEEE Copyright. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the IEEE. Contact: Manager, Copyrights and Permissions / IEEE Service Center / 445 Hoes Lane / P.O. Box 1331 / Piscataway, NJ 08855-1331, USA. Telephone: + Intl. 732-562-3966.