Publications

Submitted Papers

• Pedro Ákos Costa, Andre Rosa, João Leitão. Enabling Wireless Ad Hoc Edge Systems with Yggdrasil. 35th ACM/SIGAPP Symposium On Applied Computing (SAC). Brno, Czech Republic. March, 2020
• Peter Zeller and Annette Bieniusa and Arnd Poetzsch-Heffter Repliss: Tool supported verification of highly available applications. Fundamental Approaches to Software Engineering – 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland. April, 2020
• Seyed H. Haeri and P. Van Roy. A Family of l-Calculi with Ports. FoSSaCS 2020. Dublin, Ireland. April, 2020
• Roger Pueyo Centelles, Mennan Selimi, Felix Freitag, Leandro Navarro REDEMON: Resilient Decentralized Monitoring System for Edge Infrastructures. CCGrid 2020. Melbourne, Australia. May, 2020
• Leandro Navarro et al. Contract networking for crowdsourced connectivity. IEEE DAPPS 2020. Oxford, United Kingdom. April, 2020
• Roger Pueyo Centelles, Mennan Selimi, Felix Freitag, Leandro Navarro. Contract networking for crowdsourced connectivity. IEEE International Conference on Fog Computing, ICFC 2020. Sydney, Australia. April, 2020
• João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, and Lúcio Ferrão. Robust Contract Evolution in a TypeSafe MicroService Architectures. Journal of the Art, Science, and Engineering of Programming. 2020

Journal Articles

• João Marco Silva, Paulo Carvalho, Kalil Bispo, Solange Lima. e-LiteSense: Self-adaptive Energy-aware Data Sensing in WSN Environments. International Journal of Communication Systems. Published as Early View. September, 2019
  DOI: 10.1002/dac.4153
  Open Access
• Bernardo Ferreira, João Rodrigues, João Leitão, and Henrique Domingo. Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories. IEEE Transactions on Cloud Computing. September, 2019
  DOI: 10.1109/TCC.2017.2669999
  Open Access
• Paulo Sérgio Almeida, Ali Shoker, 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, Carlos Baquero. Scalable Eventually Consistent Counters Over Unreliable Networks. Springer Distributed Computing. December, 2017
  DOI: 10.1007/s00446-017-0322-2
  Open Access

Conference and Workshop Papers

• Ali Shoker. Successful Systems in Production Graduate Teaching. SuperComputing’19 Workshop on Education for High Performance Computing (EduHPC), Denver, USA, November, 2019
  DOI: 10.1109/EduHPC49559.2019.00011
  Open Access
• J. Silva, H. Paulino, J. M. Lourenço, J. Leitão, and Nuno Preguiça. Time-Aware Reactive Storage in Wireless Edge Environments. 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous). Houston, USA. November, 2019
  DOI: TBA
  Open Access: TBA
• Seyed H. HA ER I and Paul Keir. Instructed Late Binding. 23rd Pan-Hellenic Conference on Informatics (PCI 2019). Nicosia, Cyprus. November, 2019
  DOI: 10.1145/3368640.3368644
  Open Access
• Seyed H. HA ER I and Paul Keir. Solving the Expression Problem in C++ à la LMS. 16th International Colloquium on Theoretical Aspects of Computing (ICTAC). Hammamet, Tunisia. November, 2019
  DOI: 10.1007/978-3-030-32505-3_20
  Repository Link
• Seyed H. HA ER I and Peter Van Roy. Marking Piecewise Observable Purity. 31st NWPT. Tallinn, Estonia. November, 2019
  Open Access
• Roger Pueyo Centelles, Mennan Selimi, Felix Freitag, Leandro Navarro. DIMON:Distributed Monitoring System forDecentralized Edge Clouds in Guifi.net. 12th IEEE International Conference on Service Oriented Computing and Applications (SOCA 2019). Kaohsiung, Taiwan. November 18 – 21, 2019
  DOI: 10.1109/SOCA.2019.00009
  Open Access
• A. Carrusca, M. Cecílio Gomes, and J. Leitão. Microservices Management on Cloud/Edge Environments. 4th Workshop on Adaptive Service-Oriented and Cloud Application (ASOCA) colocated with ICSOC. Toulouse, France. October, 2019
• Peter Zeller and Annette Bieniusa and Arn Poetzsch-Heffter. Combining state-and event -based semantics to verify highly available programs. Formal Aspects of Component Software (FACS 2019), Amsterdam, Netherlands. October, 2019
• Felix Freitag, Leandro Navarro, Mennan Selimiy, Roger Pueyo Centelles. End User-Managed Service Deployments in Microclouds at the Network Edge. IEEE 8th Global Conference on Consumer Electronics (GCCE 2019). Osaka, Japan. October, 2019
  Open Access
• Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique Domingos, and João Leitão. BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. Proceedings of the 38th IEEE Symposium on Reliable Distributed Systems (SRDS 2019). Lyon, France. October, 2019
  Open Access
• André Rosa, Pedro Ákos Costa, and João Leitão. Revisiting Broadcast Algorithms for Wireless Edge Networks. Proceedings of the 38th IEEE Symposium on Reliable Distributed Systems (SRDS 2019). Lyon, France. October, 2019
• Roger Pueyo Centelles, Mennan Selimi, Felix Freitag, Leandro Navarro. Monitoring System for Distributed Edge Infrastructures with Decentralized Coordination. 5th International Symposium on Algorithmic Aspects of Cloud Computing (ALGOCLOUD 2019). Munich, Germany. September, 2019
  Open Access
• Seyed H. HA ER I and Paul Keir. Composition of Languages Embedded in Scala. Proceedings of the 2019 Federated Conference on Computer Science and Information Systems (FedCSIS). Germany. September, 2019
  DOI: 10.15439/2019F61
  Open Access
• Igor Kopestenski, Peter Van Roy. Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks. ACM ICFP Erlang 2019 Workshop. Berlin, Germany. August, 2019
  DOI: 10.1145/3331542.3342567
  Open Access
• Adam Lindberg, Sébastien Merle and Peer Stritzinger. Scaling Erlang distribution: going beyond the fully connected mesh. 18th ACM SIGPLAN International Workshop on Erlang. Berlin, Germany. August, 2019
  DOI: 10.1145/3331542.3342572
  Open Access
• Vasileios Karagiannis, Stefan Schulte, João Leitão and Nuno Preguiça. Enabling Fog Computing using Self-Organising Compute Nodes. 3rd IEEE International Conference on Fog and Edge Computing (ICFEC), Larnaca, Cyprus. May,  2019
  DOI: 10.1109/CFEC.2019.8733150

  Open Access
• Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero and João Leitão. Efficient Synchronisation of State-Based CRDTs. 35th IEEE International Conference on Data Engineering (ICDE). Macau, China. April, 2019
  DOI: 10.1109/ICDE.2019.00022
  Open Access
• D. Mealha, Nuno Preguiça, M. Cecília Gomes, and João Leitão. Data Replication in Cloud/Edge. 6th Workshop on Principles and Practice of Consistency (PaPoC). Dresden, Germany. April, 2019
  DOI: 10.1145/3301419.3323973
  Open Access
• Carla Ferreira. Techniques for safe and highly available cloud applications. 6th Workshop on Principles and Practice of Consistency (PaPoC). Dresden, Germany. April, 2019
  DOI: 10.1145/3301419.3323967
  Open Access

• Sreeja S Nair, Gustavo Petri, and Marc Shapiro. Invariant Safety for Distributed Applications. PaPoC’19. March, 2019
  DOI: 10.1145/3301419.3323970
  Open Access

• Zhongmiao Li, Paolo Romano, Peter Van Roy. Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Data Stores. The 49th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’19). Portland, Oregon, USA. June, 2019
  DOI: 10.1109/DSN.2019.00029
  Open Access
• Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero. Higher-Order Patterns in Replicated Data Types. Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC 2019). Dresden, Germany. March, 2019
  DOI: 10.1145/3301419.3323971
  Open Access
• Igor Kopestenski, 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. March, 2019
  DOI: 10.1109/PERCOMW.2019.8730773
  Open Access
• Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça. IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases. Proceedings of the VLDB Endowment. December, 2018
  DOI: 10.14778/3297753.3297760
  Open Access
• Alejandro Z. Tomsic, Manuel Bravo aMarc 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
• George Younes, Paulo Sérgio Almeida, 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, 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
• 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
• 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
• 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
• Ilyas Toumlilt, Alejandro Tomsic, and Marc Shapiro. Vers une cohérence causale évolutive sans chaînes de ralentissements. Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Systèm. June, 2017
  Open Access
• José Proença and Carlos Baquero. Quality-Aware Reactive Programming for the Internet of Things. FSEN 2017. Theran, Iran. October, 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
  Open Access
• 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
• João Loff, Daniel Porto, Carlos Baquero, João Garcia, Nuno Preguiça, Rodrigo Rodrigues. Transparent cross-system consistency. Workshop PaPoC 2017. Belgrade, Serbia. April,2017
  DOI: 10.1145/3064889.3064898
  Open Access
• Ali Shoker, Ziad Kassam and Carlos Baquero. As Secure as Possible Eventual Consistent. 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

• Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero, Annette Bieniusa, Roger Pueyo Centelles, Pedro Ákos Costa, Vitor Enes, Carla Ferreira, Pedro Fouto, Felix Freitag, Bradley King, Igor Kopestenski, Giorgos Kostopoulos, João Leitão, Adam Lindberg, Albert van der Linde, Sreeja Nair, Nuno Preguiça, Mennan Selimi, Marc Shapiro, Peer Stritzinger, Ilyas Toumlilt, Peter Van Roy, Dimitrios Vasilas, Georges Younes, Igor Zavalyshyn, and Peter Zeller. LightKone Reference Architecture (LiRA). White Paper. December,  2019
  Open Access
• Sreeja Nai and Marc Shapiro. Improving the “Correct Eventual Consistency” Tool. Project Teams DELYS. Research Report n° 9191. 2018
  Open Access
• 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
• Annette Bieniusa, Alexey Gotsman, Bettina Kemme, and Marc Shapiro. Data Consistency in Distributed Systems: Algorithms, Programs, and Databases. Report from Dagstuhl Seminar 18091.
  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
  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

• Albert van der Linde 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. Programming Models and Runtimes (Section: Towards General Purpose Computations at the Edge). In Book “Ultrascale Computing Systems” . IET. January, 2019
  Open Access
• Paolo Trunfio Angelos Bilas, Jesús Carretero, Toni Cortes, Javier García-Blas, Pilar González-Férez, Anastasios Papagiannis, Anna Queralt, Fabrizio Marozzo, Giorgos Saloustros, Ali Shoker, Domenico Talia. Data Management Techniques (section: Advanced Conflict-free Replicated DataTypes). In Book “Ultrascale Computing Systems”. IET. January, 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
• Nuno Preguiça, Carlos Baquero, and Marc Shapiro. Conflict-free Replicated Data Types (CRDTs). Encyclopedia of Big Data Technologies. Springer Verlag. 2018
  Open Access
• 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. Optimistic Replication and Resolution. Encyclopedia of Database Systems. Springer. 2017
  Open Access
• Marc Shapiro. Eventual Consistency. Encyclopedia of Database Systems. Springer. 2017
• Marc Shapiro. Replicated Data Types. Encyclopedia of Database Systems. Springer. 2017