Publications

Selected Publications

  • Paulo Sérgio Almeida, Ali Shoker and Carlos Baquero. Delta state replicated data types, Elsevier, Journal of Parallel and Distributed Computing, 2018. https://doi.org/10.1016/j.jpdc.2017.08.003 (open access link).
  • Mahsa Najafzadeh, Marc Shapiro and Patrick Eugster. Co-Design and Verification of an Available File System, Int. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI, 2018), Los Angeles, CA, Jan. 7- 13, 2018, https://doi.org/10.1007/978-3-319-73721-8_17 (open access link).
  • Paulo Sérgio Almeida, Carlos Baquero. Scalable eventually consistent counters over unreliable networks, Springer Distributed Computing, online first December 2017. https://doi.org/10.1007/s00446-017-0322-2 (open access link).
  • 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 3-7,2017. http://dx.doi.org/10.1145/3038912.3052673 (open access link).
  • 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, January 2017. (open access link).
  • 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, Int. Conf. on Dist. Comp. Sys. (ICDCS), Nara, Japan, June 2016. doi: 10.1109/ICDCS.2016.98 (open access link).
  • Christopher Meiklejohn and Peter Van Roy. Lasp: A Language for Distributed, Coordination-Free Programming, International Symposium on Principles and Practice of Declarative Programming (PPDP), July 2015, Siena, Italy. http://dx.doi.org/10.1145/2790449.2790525 (open access link).
  • 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, January 2011. (open access link).

Peer Reviewed Publications

  • Alejandro Z. Tomsic and Manuel Bravo and Marc Shapiro. Distributed transactional reads: the strong, the quick, the fresh & the impossible,  ACM/IFIP/USENIX International Middleware Conference; 10–14 December 2018, Rennes, France. doi: 10.1145/3274808.3274818 (open access link).
  • Pedro Fouto, João Leitão, Nuno Preguiça. Practical and Fast Causal Consistent Partial Geo-Replication 2018 IEEE 17th International Symposium on Network Computing and Applications, NCA 1-3 Nov. 2018, Cambridge, MA, USA. doi: 10.1109/NCA.2018.8548067 (open access link).
  • 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 2-5, 2018. (open access link).
  • 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), 2-5 October, 2018. (open access link).
  • 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), Aug. 27-31, 2018. doi:10.1007/978-3-319-96983-1_35 (open access link).
  • Ali Shoker. Brief Announcement: Sustainable Blockchains through Proof of eXercise. ACM Symposium on Principles of Distributed Computing (PODC 2018), Egham, United Kingdom, July 23-27, 2018. https://doi.org/10.1145/3212734.3212781 (open access link).
  • 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 18, 2018. (open access link).
  • Cheng Li, Nuno Preguiça, and Rodrigo Rodrigues. Fine-grained consistency for geo-replicated systems, 2018 USENIX Annual Technical Conference (ATC ’18), July 11-13, 2018, Boston, MA. doi:10.1145/3194261.3194267 (open access link).
  • 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 11-15, 2018. https://doi.org/10.1145/3208040.3208055 (open access link).
  • Marc Shapiro, Annette Bieniusa, Peter Zeller and Gustavo Petri. Ensuring referential integrity under causal consistency, Int. Workshop on Principles and Practice of Consistency for Distr. (PaPoC 2018), Porto, Portugal, April 23–26, 2018. https://doi.org/10.1145/3194261.3194262 (open access link).
  • Mathias Weber, Annette Bieniusa. ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases, arxive, 2018. (open access link).
  • 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 13, 2018. (open access link).
  • Paulo Sergio Almeida, Ali Shoker, and Carlos Baquero. Delta state replicated data types. Journal of Parallel and Distributed Computing, Volume 111, Elsevier, January 2018. https://doi.org/10.1016/j.jpdc.2017.08.003 (open access link).
  • Gonçalo Cabrita and Nuno Preguiça. Non-uniform Replication, in Proceedings of the 21st International Conference on Principles of Distributed Systems (OPODIS’17). 18-20 December 2017, Lisboa, Portugal. doi: 10.4230/LIPIcs.OPODIS.2017.24 (open access link).
  • 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 link).
  • 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 link).
  • Ziad Kassam, Ali Shoker, Paulo Sérgio Almeida and Carlos Baquero. Aggregation Protocols in Light of Reliable Communication, in the proceedings of the 16th IEEE International Symposium on Network Computing and Applications (NCA 2017), IEEE Computer Society, Cambridge, MA, USA, October 2017. doi: 10.1109/NCA.2017.8171346 (open access link).
  • 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. https://doi.org/10.1145/3131851.3131862 (open access link).
  • Zhongmiao Li, Peter Van Roy and Paolo Romano. Exploiting Speculation in Partially Replicated Transactional Data Stores (poster), ACM Symposium on Cloud Computing (SoCC  2017), Santa Clara, CA, 25-27 September, 2017. https://doi.org/10.1145/3127479.3132692 (open access link).
  • 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), 26-29 September, 2017. Hong Kong, China. doi:10.1109/SRDS.2017.9 (open access link).
  • Paulo Sérgio Almeida, Ali Shoker and Carlos Baquero. Delta state replicated data types, Elsevier, Journal of Parallel and Distributed Computing, 2017. https://doi.org/10.1016/j.jpdc.2017.08.003 (open access link).
  • Chathuri Gunawardhana, Manuel Bravo and Luís Rodrigues.  Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication, 2017 USENIX Annual Technical Conference (ATC ’17), Santa Clara, CA, July 12-14, 2017. (open access link).
  • João Marco Silva, K. A. Bispo, P. Carvalho and S. R. Lima. LiteSense: An adaptive sensing scheme for WSNs, 2017 IEEE Symposium on Computers and Communications (ISCC), July 2017. doi: 10.1109/ISCC.2017.8024689. (open access link).
  • 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 20, 2017. doi: 10.1145/3166089.3166093 (open access link).
  • Bernardo Ferreira, João Leitão, Henrique Domingos. Multimodal Indexable Encryption for Mobile Cloud-Based Applications, 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 26-29 June 2017, DSN 2017. Denver, CO, USA. doi:10.1109/DSN.2017.31 (open access link).
  • 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 25-30, 2017. doi: 10.1109/IEEE.EDGE.2017.16 (open access link).
  • Christopher Meiklejohn. A Certain Tendency of the Database Community, Salon des Refusés workshop (colocated with <Programming> 2017), Brussels, Belgium, April 3-6, 2017. doi: 10.1145/3079368.3079414 (open access link).
  • 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 3-7, 2017. http://dx.doi.org/10.1145/3038912.3052673 (open access link).
  • 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 3-7, 2017. http://dx.doi.org/10.1145/3038912.3052603 (open access link).
  • Gonçalo Marcelino, Valter Balegas and Carla Ferreira. Bringing hybrid consistency closer to programmers, Workshop (PaPoC 2017), Belgrade, Serbia, April 23, 2017. http://dx.doi.org/10.1145/3064889.3064896 (open access link).
  • Georges Younes, Paulo Sérgio Almeida and Carlos Baquero. Compact Resettable Counters through Causal Stability (Slides), Workshop (PaPoC 2017), Belgrade, Serbia, April 23,2017. http://dx.doi.org/10.1145/3064889.3064892 (open access link).
  • Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida and João Leitão. Borrowing an Identity for a Distributed Counter (Slides), Workshop (PaPoC 2017), Belgrade, Serbia, April 23,2017. http://dx.doi.org/10.1145/3064889.3064894 (open access link).
  • Ali Shoker, Ziad Kassam and Carlos Baquero. As Secure as Possible Eventual Consistency (Slides),  Workshop (PaPoC 2017), Belgrade, Serbia, April 23, 2017. http://dx.doi.org/10.1145/3064889.3064895   (open access link).
  • 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 23, 2017. http://dx.doi.org/10.1145/3064889.3064897 (open access link).
  • Peter Zeller. Testing properties of weakly consistent programs with Repliss. PaPoC 2017 workshop (colocated with EuroSys 2017), Belgrade, Serbia, April 23, 2017. doi: 10.1145/3064889.3064893 (open access link)
  • Manuel Bravo, Luís Rodrigues and Peter Van Roy. Saturn: A Distributed Metadata Service for Causal Consistency, Conference, Belgrade, Serbia, April 23-26 (EuroSys 2017). http://dx.doi.org/10.1145/3064176.3064210 (open access link).
  • Christopher Meiklejohn and Peter Van Roy. Loquat: A Framework for Large-Scale Actor Communication on Edge Networks, Workshop (SmartEdge 2017 colocated with PerCom 2017), Kona, Hawaii, March 13-17, 2017. doi: 10.1109/PERCOMW.2017.7917624 (open access link).
  • 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 (early access). 16 February 2017. doi: 10.1109/TCC.2017.2669999 (open access link)

Reports and White Papers

  • 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 link).
  • Marc Shapiro and Pierre Sutra. Database Consistency Models, in Encyclopedia of Big Data Technologies, Springer International Publishing, p.1-11, 2018. (open access link).
  • Nuno Preguiça. Conflict-free Replicated Data Types: An Overview, July 2018. (open access link).
  • Joao Leitão, Pedro Ákos Costa, Maria Cecília Gomes, and Nuno Preguiça. Towards Enabling Novel Edge-Enabled Applications, Technical Report, May 2018. (open access link).
  • João Leitão, Maria Cecilia Gomes, Nuno Preguiça, Pedro Ákos Costa,VitorDuarte, David Mealha, André Carrusca, and André Lameirinhas. A Case for Autonomic Microservices for Hybrid Cloud/Edge Applications, NOVA LINCS and NOVA University of Lisbon, May 2018.
  • Joao Leitão, Pedro Ákos Costa, Maria Cecília Gomes, and Nuno Preguiça. Towards Enabling Novel Edge-Enabled Applications. Technical Report, May 2018. (open access link).
  • Dimitrios Vasilas, Marc Shapiro and Bradley King. A Modular Design for Geo-Distributed Querying: Work in Progress Report, Int. Workshop on Principles and Practice of Consistency for Distr. (PaPoC 2018), Porto, Portugal, April 23–26, 2018. doi:10.1145/3194261.3194265 (open access link).
  • Carlos Baquero, Paulo Sérgio Almeida and Ali Shoker. Pure Operation-Based Replicated Data Types, arXiv CoRR, October 2017 (open access link).
  • 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, January 2017 (open access link).
  • Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha and Carla Ferreira. Composition in State-based Replicated Data Types, Bulletin of EATCS, No 123, October 2017. (open access link).

Others

  • Ali Shoker, João Leitão, Peter Van Roy, and Albert van der Linde. Programming Models and Runtimes: Towards General Purpose Computations at the Edge. The IET. Book chapter. Ultrascale Computing Systems. 2018 (in press).
  • Ali Shoker, Anna Queralt, and Toni Cortes. Data Management Techniques: Advanced Conflict-free Replicated DataTypes. The IET. Book chapter. Ultrascale Computing Systems. 2018 (in press).
  • 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. Chapter. Encyclopedia of Big Data Technologies, Springer Ver- lag, Feb. 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). Chapter. Encyclopedia of Big Data Technologies, Springer Verlag, Feb. 2018.
  • Marc Shapiro. DB Consistency Models (entry). Encyclopedia of Big Data Technologies, Springer, Dec. 2017.
  • Marc Shapiro, Nuno Preguiça, and Carlos Baquero. CRDTs (entry). Encyclopedia of Big Data Technologies, Springer, Dec. 2017.
  • Marc Shapiro. Replicated Data Types, Optimistic Replication and Resolution,Eventual Consistency (three entries). Encyclopedia of Database Systems, Springer, March 2017.