Publications

Selected Publications

  • 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). 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, Joao Leitao, 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).
  • 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)
  • 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).
  • 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).

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 Costa and João Leitão. Practical Continuous Aggregationin 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), October 2-5, 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).
  • 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).
  • 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).
  • André Rijo. A Set CRDT with Multiple Conflict Resolution Policies, Int. Workshop on Principles and Practice of Consistency for Distr. (PaPoC 2018), Porto, Portugal, April 23–26, 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. doi:10.1007/978-3-319-63962-8\_203-1 (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, Jan. 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. Jan. 2018. https://doi.org/10.1016/j.jpdc.2017.08.003 (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)
  • 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).
  • Christopher Meiklejohn and Peter Van Roy. Towards a Systems Approach to Dis- tributed Programming, Off the Beaten Track (OBT 2018, colocated with POPL 2018), Los Angeles, CA, Jan. 13, 2018. (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, Oct. 9-12, 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, Sep. 25-27, 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)
  • 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).
  • 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).
  • José Proença and Carlos Baquero. Quality-Aware Reactive Programming for the Internet of Things (Slides), Conference (FSEN 2017), Tehran, Iran, April 26-28, 2017. (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:0.1109/PERCOMW.2017.7917624 (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)
  • Carlos Baquero, Paulo Sérgio Almeida and Ali Shoker. Pure Operation-Based Replicated Data Types, arXiv CoRR, October 2017. (open access link)
  • Ali Shoker, Joao Leitao, Peter Van Roy, and Christopher Meiklejohn. LightKone: Towards General Purpose Computations on the Edge, Report at H2020 LightKone Project, January 2017. (open access link)

Others