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
  • 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
  • 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
  • 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
  • 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.
  • 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

 

Non-refereed Publications

  • Annette Bieniusa, Peter Zeller, Shraddha Barke. Collaborative Work Management with a Highly-Available Kanban Board. Principled Software Development 2018, Feetschrift for the 60th birthday of Arnd Poetzsch-Heffer, 2018

 

Other Publications

  • Ajay Singh, Marc Shapiro, Gael Thomas. Persistent Memory Programming Abstractions in content of Concurrent Applications. Arxiv. 2017
    Open Access
  • Marc Shapiro. Technical Perspective : Unexpected Connections.Communications of the ACM. 2017
    Open Access
  • 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