Publications

Bibtex files of publications

Selected Publications:

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

Conference Publications:

  • Ruma Paul. Designing Distributed Applications Using a Phase-Aware, Reversible System.  Int. Conf. on Edge Computing, June 2017, Honolulu, Hawaii, USA.
  • 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:

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)]33 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