Publications

Journal Articles

  • Paulo Sergio Almeida, Ali Shoker, and Carlos Baquero. Delta State Replicated Data Types. Journal of Parallel and Distributed Computing. Volume 111. Elsevier. January, 2018
    DOI: 10.1016/j.jpdc.2017.08.003
    Open Access
  • Paulo Sérgio Almeida and Carlos Baquero. Scalable Eventually Consistent Counters Over Unreliable Networks. Springer Distributed Computing. December, 2017
    DOI: 10.1007/s00446-017-0322-2
    Open Access
  • Bernardo Ferreira, João Rodrigues, João Leitão, Henrique Domingos. Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories. IEEE Transactions on Cloud Computing. February, 2017
    DOI: 10.1109/TCC.2017.2669999
    Open Access

 

Conference and Workshop Papers

  • Igor Kopestenski and Peter Van Roy. Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks with Lasp on GRiSP. SmartEdge 2019 Workshop (colocated with PerCom 2019). Kyoto, Japan, 2019
    Open Access
  • Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, and Nuno Preguiça. IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases. 45th International Conference on Very Large Data Bases (VLDB 2019). Los Angeles, California. August, 2019
    DOI: 10.14778/3297753.3297760
    Open Access
  • Mahsa Najafzadeh, Marc Shapiro, and Patrick Eugster. Co-Design and Verification of an Available File System. International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2018). Los Angeles, CA. January, 2018
    DOI: 10.1007/978-3-319-73721-8_17
    Open Access
  • George Younes, Paulo Sérgio Almeida and Carlos Baquero. The Pitfalls in Achieving Tagged Causal Delivery. 5th Workshop pn the Principles and Practice of Consistency for Distributed Data (PaPoC 2018). Porto, Portugal. April, 2018
    Open Access
  • André Rijo, Carla Ferreira, and Nuno Preguiça. A Set CRDT with Multiple Conflict Resolution Policies. 5th Workshop pn the Principles and Practice of Consistency for Distributed Data (PaPoC 2018). Porto, Portugal. April, 2018
  • Alejandro Z. Tomsic, Manuel Bravo and Marc Shapiro. Distributed Transactional Reads: The Strong, the Quick, the Fresh & the Impossible. ACM/IFIP/USENIX International Middleware Conference. Rennes, France. December, 2018
    DOI: 10.1145/3274808.3274818
    Open Access
  • Pedro Fouto, João Leitão, Nuno Preguiça. Practical and Fast Causal Consistent Partial Geo-Replication. IEEE 17th International Symposium on Network Computing and Applications (NCA). Cambridge, MA, USA. November, 2018
     DOI: 10.1109/NCA.2018.8548067 
    Open Access
  • Pedro Costa and João Leitão. Practical Continuous Aggregation in Wireless Edge Environments. Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS 2018). October, 2018
    DOI: 10.1109/SRDS.2018.00015
    Open Access
  • Bernardo Ferreira, João Leitão, and H. Domingos. MuSE: Multimodal Searchable Encryption for Cloud Applications. Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS 2018). October, 2018
    DOI: 10.1109/SRDS.2018.00029
    Open Access
  • Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, and Carlos Baquero. Global-Local View: Scalable Consistency for Concurrent Data Types. 24th International European Conference on Parallel and Distributed Computing (Euro-Par 2018). August, 2018
    DOI:10.1007/978-3-319-96983-1_35
    Open Access
  • Ali Shoker. Brief Announcement: Sustainable Blockchains through Proof of eXercise. ACM Symposium on Principles of Distributed Computing (PODC 2018). Egham, United Kingdom. July, 2018
    DOI: 10.1145/3212734.3212781
    Open Access
  • Peter Van Roy. A Software System Should be Declarative Except Where it Interacts with the Real World. Workshop on Logic and Practice of Programming (LPOP 2018, colocated with FLoC 2018). Oxford, UK. July, 2018
    Open Access
  • Cheng Li, Nuno Preguiça, and Rodrigo Rodrigues. Fine-Grained Consistency for Geo-Replicated Systems. 2018 USENIX Annual Technical Conference (ATC ’18). Boston, MA. July, 2018
    DOI: 10.1145/3194261.3194267
    Open Access
  • Zhongmiao Li, Peter Van Roy, and Paolo Romano. Transparent Speculation in Geo-Replicated Transactional Data Stores. 7th ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC 2018). Tempe, AZ. June, 2018
    DOI: 10.1145/3208040.3208055
    Open Access
  • Marc Shapiro, Annette Bieniusa, Peter Zeller, and Gustavo Petri. Ensuring Referential Integrity Under Causal Consistency. International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC 2018). Porto, Portugal. April, 2018
    DOI: 10.1145/3194261.3194262
    Open Access
  • Christopher Meiklejohn and Peter Van Roy. Towards a Systems Approach to Distributed Programming. Off the Beaten Track (OBT 2018, colocated with POPL 2018). Los Angeles, CA. January, 2018
    Open Access
  • Gonçalo Cabrita and Nuno Preguiça. Non-Uniform Replication. Proceedings of the 21st International Conference on Principles of Distributed Systems (OPODIS’17). Lisbon, Portugal. December, 2017
    DOI: 10.4230/LIPIcs.OPODIS.2017.24
    Open Access
  • José Proença and Carlos Baquero. Quality-Aware Reactive Programming for the Internet of Things. FSEN 2017. Theran, Iran. April, 2017
    DOI: 10.1007/978-3-319-68972-2_12
    Open Access
  • Zhongmiao Li, Paolo Romano and Peter Van Roy. Enhancing Throughput of Partially Replicated State Machines via Multi-Partition Operation Scheduling. 16th IEEE International Symposium on Network Computing and Applications (NCA 2017). Cambridge, MA. October, 2017
    DOI: 10.1109/NCA.2017.8171364
    Open Access
  • Ali Shoker. Sustainable Blockchain through Proof of eXercise. 16th IEEE International Symposium on Network Computing and Applications (NCA 2017). Cambridge, MA. October, 2017
    DOI: 10.1109/NCA.2017.8171383
    Open Access
  • Ziad Kassam, Ali Shoker, Paulo Sérgio Almeida and Carlos Baquero. Aggregation Protocols in Light of Reliable Communication. Proceedings of the 16th IEEE International Symposium on Network Computing and Applications (NCA 2017). Cambridge, MA, USA. October, 2017
    DOI: 10.1109/NCA.2017.8171346
    Open Access
  • Christopher Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy and Annette Bieniusa. Practical Evaluation of the Lasp Programming Model at Large Scale. 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017). Namur, Belgium. October, 2017
    DOI: 10.1145/3131851.3131862
    Open Access
  • Zhongmiao Li, Peter Van Roy and Paolo Romano. Exploiting Speculation in Partially Replicated Transactional Data Stores.  ACM Symposium on Cloud Computing (SoCC  2017). Santa Clara, CA. September, 2017
    DOI: 10.1145/3127479.3132692
    Open Access
  • Filipe Freitas, Joao Leitao, Nuno Preguiça, and Rodrigo Rodrigues. Fine-Grained Consistency Upgrades for Online Services. Proceedings of the IEEE 36th Symposium on Reliable Distributed Systems (SRDS 2017). Hong Kong, China. September, 2017
    DOI: 10.1109/SRDS.2017.9
    Open Access
  • Chathuri Gunawardhana, Manuel Bravo and Luís Rodrigues. Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication. USENIX Annual Technical Conference (ATC ’17). Santa Clara, CA. July, 2017
    Open Access
  • João Marco Silva, K. A. Bispo, P. Carvalho and S. R. Lima. LiteSense: An Adaptive Sensing Scheme for WSNs. IEEE Symposium on Computers and Communications (ISCC). July, 2017
    DOI: 10.1109/ISCC.2017.8024689
  • Christopher Meiklejohn. On the Design of Distributed Programming Models. Second Workshop on Programming Models and Languages for Distributed Computing (PMLDC 2017 – colocated with ECOOP 2017). Barcelona, Spain. June, 2017
    DOI: 10.1145/3166089.3166093
    Open Access
  • Bernardo Ferreira, João Leitão, Henrique Domingos. Multimodal Indexable Encryption for Mobile Cloud-Based Applications. 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Denver, CO, USA. June, 2017
    DOI: 10.1109/DSN.2017.31
    Open Access
  • Ruma Paul, Jérémie Melchior, Peter Van Roy, and Vladimir Vlassov. Designing Distributed Applications Using a Phase-Aware, Reversible System. 1st IEEE International Conference on Edge Computing. Honolulu, Hawaii. June, 2017
    DOI: 10.1109/IEEE.EDGE.2017.16
    Open Access
  • Christopher Meiklejohn. A Certain Tendency of the Database Community. Salon des Refusés Workshop. Brussels, Belgium. April, 2017
    DOI: 10.1145/3079368.3079414
    Open Access
  • Albert van der Linde, Pedro Fouto, João Leitão, Nuno Preguiça, Santiago Castiñeira and Annette Bieniusa. Legion: Enriching Internet Services with Peer-to-Peer Interactions. Proceedings of the 26th International Conference on World Wide Web (WWW 2017). Perth, Australia. April, 2017
    DOI: 10.1145/3038912.3052673 
    Open Access
  • Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno Preguiça and Rodrigo Rodrigues. Blotter: Low Latency Transactions for Geo-Replicated Storage. Proceedings of the 26th International Conference on World Wide Web (WWW 2017). Perth, Australia. April, 2017
    DOI: 10.1145/3038912.3052603
    Open Access
  • Gonçalo Marcelino, Valter Balegas and Carla Ferreira. Bringing Hybrid Consistency Closer to Programmers. Workshop PaPoC 2017. Belgrade, Serbia. April, 2017
    DOI: 10.1145/3064889.3064896 
    Open Access
  • Georges Younes, Paulo Sérgio Almeida and Carlos Baquero. Compact Resettable Counters Through Causal Stability. Workshop PaPoC 2017. Belgrade, Serbia. April, 2017
    DOI: 10.1145/3064889.3064892
    Open Access
    Slides
  • Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida and João Leitão. Borrowing an Identity for a Distributed Conter. Workshop PaPoC 2017. Belgrade, Serbia. April,2017
    DOI: 10.1145/3064889.3064894
    Open Access
    Slides
  • Ali Shoker, Ziad Kassam and Carlos Baquero. As Secure as Possible Eventual Consistente. Workshop PaPoC 2017. Belgrade, Serbia. April, 2017
    DOI: 10.1145/3064889.3064895
    Open Access
    Slides
  • Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Akkoorath, Annette Bieniusa, João Leitão, and Nuno Preguiça. FMKe: a Real-World Benchmark for Key-Value Data Stores. Workshop PaPoC 2017. Belgrade, Serbia. April, 2017
    DOI: 10.1145/3064889.3064897
    Open Access
  • Peter Zeller. Testing Properties of Weakly Consistent Programs with Repliss. PaPoC Workshop. Belgrade, Serbia. April, 2017
    DOI: 10.1145/3064889.3064893
    Open Access
  • Manuel Bravo, Luís Rodrigues and Peter Van Roy. Saturn: A Distributed Metadata Service for Causal Consistency. EuroSys Conference. Belgrade, Serbia. April,2017
    DOI: 10.1145/3064176.3064210
    Open Access
  • Christopher Meiklejohn and Peter Van Roy. Loquat: A Framework for Large-Scale Actor Communication on Edge Networks. Workshop SmartEdge 2017. Kona, Hawaii. March, 2017
    DOI: 10.1109/PERCOMW.2017.7917624
    Open Access

 

Reports and White Papers

  • Christopher Meiklejohn and Heather Miller. Partisan: Enabling Cloud-Scale Erlang Applications. arXiv CoRR. 2018
    Open Access
  • Marc Shapiro, Annette Bieniusa, Nuno Preguiça, Valter Balegas and Christopher Meiklejohn. Just-Right Consistency: Reconciling Availability and Safety. Research Report. RR-9145. 2018
    Open Access
  • Marc Shapiro and Pierre Sutra. Database Consistency Models. Encyclopedia of Big Data Technologies. Springer International Publishing. 2018
    Open Access
  • Mathias Weber, Annette Bieniusa. ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases. Arxiv. 2018.
    Open Access
  • Nuno Preguiça. Conflict-free Replicated Data Types: An Overview. 2018
    Open Access
  • Joao Leitão, Pedro Ákos Costa, Maria Cecília Gomes, and Nuno Preguiça. Towards Enabling Novel Edge-Enabled Applications. Technical Report. 2018
    Open Access
  • João Leitão, Maria Cecilia Gomes, Nuno Preguiça, Pedro Ákos Costa, Vitor Duarte, David Mealha, André Carrusca, and André Lameirinhas. A Case for Autonomic Microservices for Hybrid Cloud/Edge Applications. 2018
  • Joao Leitão, Pedro Ákos Costa, Maria Cecília Gomes, and Nuno Preguiça. Towards Enabling Novel Edge-Enabled Applications. Technical Report. 2018
    Open Access
  • Dimitrios Vasilas, Marc Shapiro and Bradley King. A Modular Design for Geo-Distributed Querying: Work in Progress Report. International Workshop on Principles and Practice of Consistency for Distributed Data. PaPoC 2018. 2018
    DOI: 10.1145/3194261.3194265
    Open Access
  • Carlos Baquero, Paulo Sérgio Almeida, and Ali Shoker. Pure Operation-Based Replicated Data Types. arXiv CoRR. 2017
    Open Access
  • Ali Shoker, João Leitão, Peter Van Roy, and Christopher Meiklejohn. LightKone: Towards General Purpose Computations on the Edge. Report at H2020 LightKone Project. 2017
    Open Access
  • Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira. Composition in State-based Replicated Data Types. Bulletin of EATCS. No 123. 2017
    Open Access

 

Book Chapters

  • Ali Shoker, João Leitão, Peter Van Roy, and Albert van der Linde. Programming Models and Runtimes. Ultrascale Computing Systems. Towards General Purpose Computations at the Edge. IET. 2019
    Open Access
  • Ali Shoker, Anna Queralt, and Toni Cortes. Data Management Techniques. Ultrascale Computing Systems. Advanced Conflict-free Replicated DataTypes. IET. 2019
    Open Access
  • Henrique Moniz, João Leitão, Ricardo Dias, Johannes Gehrke, Nuno Preguiça and Rodrigo Rodrigues. Achieving Low Latency Transactions for Geo-Replicated Storage with Blotter. Encyclopedia of Big Data Technologies. Springer Verlag. 2018
    DOI: 10.1007/978-3-319-63962-8_158-1
  • Nuno Preguiça, Carlos Baquero, and Marc Shapiro. Conflict-free Replicated Data Types (CRDTs). Encyclopedia of Big Data Technologies. Springer Verlag. 2018
  • Marc Shapiro. DB Consistency Models (entry). Encyclopedia of Big Data Technologies. Springer. 2017
  • Marc Shapiro, Nuno Preguiça, and Carlos Baquero. CRDTs (entry). Encyclopedia of Big Data Technologies. Springer. 2017
  • Marc Shapiro. Replicated Data Types, Optimistic Replication and Resolution, Eventual Consistency (three entries). Encyclopedia of Database Systems. Springer. 2017

Prior Publications

  • Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguiça and Marc Shapiro. Cure: Strong Semantics Meets High Availability and Low Latency. International Conference on Disttributed Computing Systems (ICDCS). Nara, Japan. June, 2016
    DOI: 10.1109/ICDCS.2016.98
    Open Access
  • Christopher Meiklejohn and Peter Van Roy. Lasp: A Language for Distributed, Coordination-Free Programming, International Symposium on Principles and Practice of Declarative Programming (PPDP). Siena, Italy. July, 2015
    DOI:10.1145/2790449.2790525
    Open Access
  • Marc Shapiro, Nuno M. Preguiça, Carlos Baquero and Marek Zawirski. A comprehensive study of Convergent and Commutative Replicated Data Types. INRIA Technical Report RR-7506. 2011
    Open Access