Publications

Bibtex files of publications

Selected Publications:

  • Manuel Bravo, Luís Rodrigues, Peter Van Roy.  Saturn: a Distributed Metadata Service for Causal Consistency.  European Conference on Computer Systems (EuroSys), Belgrade, Serbia.  April 2017.
  • Marc Shapiro, Masoud Saeida Ardekani, and Gustavo Petri. Consistency in 3D.  Int. Conf. on Concurrency Theory (CONCUR), pages 3:1–3:14, Québec, Québec, Canada, August 2016. Schloss Dagstuhl – Leibniz- Zentrum für Informatik, Dagstuhl Publishing, Germany.
  • Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sérgio Duarte, Carla Ferreira, Johannes Gehrke, João Leitão, Nuno Preguiça, Rodrigo Rodrigues, Marc Shapiro, and Viktor Vafeiadis. Geo-replication: Fast if possible, consistent if necessaryData Engineering Bulletin, 39(1):81--92, March 2016.

Conference Publications:

  • Manuel Bravo, Luís Rodrigues, and Peter Van Roy. Saturn: a distributed metadata service for causal consistency. In Euro. Conf. on Comp. Sys. (EuroSys), Belgrade, Serbia, April 2017. Assoc. for Computing Machinery.
  • Albert van der Linde, Pedro Fouto, João Leitão, Nuno Preguiça, Santiago Castiñeira, and Annette Bieniusa. Enriching internet services with peer-to-peer interactions. In Int. Conf. on World Wide Web (WWW), Perth, Australia, April 2017.
  • Ali Shoker. Exploiting universal redundancy. In Int. Symp. on Network Computing and Applications (NCA), pages 199--203, Cambridge, MA, USA, October 2016. doi: 10.1109/NCA.2016.7778617.
  • Marc Shapiro, Masoud Saeida Ardekani, and Gustavo Petri. Consistency in 3D.  Int. Conf. on Concurrency Theory (CONCUR), pages 3:1–3:14, Québec, Québec, Canada, August 2016. Schloss Dagstuhl – Leibniz- Zentrum für Informatik, Dagstuhl Publishing, Germany.
  • Iwan Briquemont, Manuel Bravo, Zhongmiao Li, and Peter Van Roy. Conflict-free Partially Replicated Data Types. In Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2015). IEEE, Nov 2015.
  • Deepthi Devaki Akkoorath and Annette Bieniusa. Transactions on mergeable objects. In Asian Symposium on Pg. Lang. and Sys. (APLAS), pages 427--444, Pohang, South Korea, November 2015.

Journal publications:

  • Natalia Chechina, Kenneth MacKenzie, Simon Thompson, Phil Trinder, Olivier Boudeville, Viktória Fo ̈rd ̋os, Csaba Hoch, Amir Ghaffari, and Mario Moro Hernandez. Evaluating Scalable distributed Erlang for scalability and reliability. IEEE Trans. on Parallel and Dist. Sys. (TPDS), PP(99):1–1, January 2017.
  • Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sérgio Duarte, Carla Ferreira, Johannes Gehrke, João Leitão, Nuno Preguiça, Rodrigo Rodrigues, Marc Shapiro, and Viktor Vafeiadis. Geo-replication: Fast if possible, consistent if necessaryData Engineering Bulletin, 39(1):81--92, March 2016.

Sponsored workshops:

  • W. on Principles and Practice of Consistency for Distributed Data (PaPoC). London, UK, April 2016.
  • Workshop on Planetary-Scale Distributed Systems (W-PSDS), Montréal, Canada, Sept. 2015.
    • Alejandro Zlatko Tomsic, Marc Shapiro and Tyler Crain, Scaling geo-distributed databases to the MEC ecosystem
    • Christopher Meiklejohn and Peter Van Roy, Selective Hearing: An Approach To Distributed, Eventually Consistent Edge Computation
    • Ali Shoker, Paulo Sérgio Almeida and Carlos Baquero, Exactly-Once Quantity Transfer
    • Valter Balegas, Nuno Preguiça, Rodrigo Rodrigues, Sérgio Duarte and Carla Ferreira, Designing Concurrency-aware Geo-Replicated systems
  • W. on Principles and Practice of Consistency for Distributed Data (PaPoC). Bordeaux, France, April 2015.
  • W. on Principles and Practice of Eventual Consistency (PaPEC), Amsterdam, the Netherlands, April 2014.

Other Publications:

  • Christopher S. Meiklejohn, Peter Van Roy.  Loquat: A Framework for Large-Scale Actor Communication on Edge Networks.  International Workshop on Smart Edge Computing and Networking (SmartEdge 2017), Kona, Big Island, Hawaii, USA, March 2017.
  • Valter Balegas, Sergio Duarte, Carla Ferreira, Rodrigo Rodrigues and Nuno Preguiça. The quest for coordination-free cloud storage (Poster). 25th ACM Symposium on Operating Systems Principles (SOSP '15), Monterey, CA, Oct. 2015.
  • Valter Balegas, Sergio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça, Mahsa Najafzadeh and Marc Shapiro. Towards Fast Invariant Preservation in Geo-replicated Systems. ACM SIGOPS Operating Systems Review - Special Issue on Repeatability and Sharing of Experimental Artifacts. Volume 49 Issue 1, January 2015. Pages 121-125.

Prior work by the consortium directly related to the project:

  • Programming Models and Languages for Distributed Systems: The Mozart Programming System.
  • Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer: Mobile Objects in Distributed Oz. ACM Trans. Program. Lang. Syst. 19(5): 804-851 (1997).
  • Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar: A Calculus of Atomic Actions, Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2--15, 2009.
  • Sezgin, Ali, Tasiran, Serdar, Qadeer, Shaz: Tressa: Claiming the Future, Proceedings of the Third International Conference on Verified Software: Theories, Tools, Experiments, Springer-Verlag, 25--39, 2010.
Attachments:
Download this file (predef.bib)predef.bib[bibtex string definitions for Y3-dissemination.bib]8 kB
Download this file (Y1-dissemination.bib)Y1-dissemination.bib[SyncFree publications, Oct. 2013–Sep. 2014]4 kB
Download this file (Y2-dissemination.bib)Y2-dissemination.bib[SyncFree publications, Oct. 2014–Sep. 2015]19 kB
Download this file (Y3-dissemination.bib)Y3-dissemination.bib[SyncFree publications, Oct. 2015–Dec. 2016 (bibtex)]32 kB

Featured


FAQ on CRDTs
SyncFree Software Repository  

SyncFree Technology
  • Bounded Counters: maintaining numeric invariants with high availability
  • Commander: Bug-Finding for Programs Running on Weakly Consistent Platforms
  • Verifico: CRDT-App Verification Framework for Isabelle

            

 This project is funded by the European Union, 7th Research Framework Programme, ICT call 10, grant agreement n°609551. 

Contact (Project Coordinator)

MARC dot SHAPIRO atsign ACM dot ORG