FR

EN

Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies


Bibliography

Major publications by the team in recent years
  • 1V. Balegas, N. Preguiça, R. Rodrigues, S. Duarte, C. Ferreira, M. Najafzadeh, M. Shapiro.

    Putting Consistency back into Eventual Consistency, in: Euro. Conf. on Comp. Sys. (EuroSys), Bordeaux, France, April 2015, pp. 6:1–6:16.

    https://doi.org/10.1145/2741948.2741972
  • 2L. Gidra, G. Thomas, J. Sopena, M. Shapiro, N. Nguyen.

    NumaGiC: a garbage collector for big data on big NUMA machines, in: Int. Conf. on Archi. Support for Prog. Lang. and Systems (ASPLOS), Istanbul, Turkey, Assoc. for Computing Machinery, March 2015, pp. 661–673.

    http://dx.doi.org/10.1145/2694344.2694361
  • 3A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro.

    'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems, in: Symp. on Principles of Prog. Lang. (POPL), St. Petersburg, FL, USA, 2016, pp. 371–384.

    http://dx.doi.org/10.1145/2837614.2837625
  • 4M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.

    Conflict-free Replicated Data Types, in: Int. Symp. on Stabilization, Safety, and Security of Dist. Sys. (SSS), Grenoble, France, X. Défago, F. Petit, V. Villain (editors), Lecture Notes in Comp. Sc., Springer-Verlag, October 2011, vol. 6976, pp. 386–400.

    http://lip6.fr/Marc.Shapiro/papers/CRDTs_SSS-2011.pdf
  • 5M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas, M. Shapiro.

    Write Fast, Read in the Past: Causal Consistency for Client-side Applications, in: Int. Conf. on Middleware (MIDDLEWARE), Vancouver, BC, Canada, ACM/IFIP/Usenix, December 2015, pp. 75–87.
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 12Z. Al-Shara, F. Alvares, H. Bruneliere, J. Lejeune, C. Prud'Homme, T. Ledoux.

    CoMe4ACloud: An End-to-End Framework for Autonomic Cloud Systems, in: Future Generation Computer Systems, September 2018, vol. 86, pp. 339-354. [ DOI : 10.1016/j.future.2018.03.039 ]

    https://hal.archives-ouvertes.fr/hal-01762716
  • 13L. Blin, F. Boubekeur, S. Dubois.

    A Self-Stabilizing Memory Efficient Algorithm for the Minimum Diameter Spanning Tree under an Omnipotent Daemon, in: Journal of Parallel and Distributed Computing, July 2018, vol. 117, pp. 50-62. [ DOI : 10.1016/j.jpdc.2018.02.007 ]

    https://hal.inria.fr/hal-01966265
  • 14S. Bouchard, Y. Dieudonné, F. Petit, A. Pelc.

    On Deterministic Rendezvous at a Node of Agents with Arbitrary Velocities, in: Information Processing Letters, January 2018, vol. 133, pp. 39 - 43. [ DOI : 10.1016/j.ipl.2018.01.003 ]

    https://hal.archives-ouvertes.fr/hal-01701786
  • 15A. Graciela de Moraes Rossetto, C. Geyer, L. Arantes, P. Sens.

    Impact FD: An Unreliable Failure Detector Based on Process Relevance and Confidence in the System, in: The Computer Journal, 2018.

    https://hal.inria.fr/hal-01793311
  • 16L. A. Rodrigues, E. P. Duarte Jr., L. Arantes.

    A distributed k-mutual exclusion algorithm based on autonomic spanning trees, in: Journal of Parallel and Distributed Computing, May 2018, vol. 115, pp. 41-55. [ DOI : 10.1016/j.jpdc.2018.01.008 ]

    https://hal.inria.fr/hal-01965673
  • 17J. P. de Araujo, L. Arantes, E. P. Duarte Jr., L. A. Rodrigues, P. Sens.

    VCube-PS: A causal broadcast topic-based publish/subscribe system, in: Journal of Parallel and Distributed Computing, November 2018. [ DOI : 10.1016/j.jpdc.2018.10.011 ]

    https://hal.inria.fr/hal-01925856

Articles in Non Peer-Reviewed Journals

  • 18A. Bieniusa, A. Gotsman, B. Kemme, M. Shapiro.

    Data Consistency in Distributed Systems: Algorithms, Programs, and Databases, in: Dagstuhl Reports, July 2018, vol. 8, no 2, pp. 101-121. [ DOI : 10.4230/DagRep.8.2.101 ]

    https://hal.inria.fr/hal-01848384

International Conferences with Proceedings

  • 19L. Arantes, E. Bampis, A. Kononov, M. Letsios, G. Lucarelli, P. Sens.

    Scheduling under Uncertainty: A Query-based Approach, in: IJCAI 2018 - 27th International Joint Conference on Artificial Intelligence, Stockholm, Sweden, July 2018.

    https://hal.inria.fr/hal-01924648
  • 20S. Bouchard, M. Bournat, Y. Dieudonné, S. Dubois, F. Petit.

    Approche asynchrone dans le plan : un algorithme déterministe polynomial, in: ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Roscoff, France, May 2018.

    https://hal.archives-ouvertes.fr/hal-01782388
  • 21S. Bouchard, Y. Dieudonné, B. Ducourthial.

    Rassemblement byzantin dans les réseaux, in: 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications(ALGOTEL 2018), Roscoff, France, May 2018.

    https://hal.archives-ouvertes.fr/hal-01782387
  • 22S. Bouchard, Y. Dieudonné, A. Lamani.

    Byzantine Gathering in Polynomial Time, in: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Prague, Czech Republic, July 2018. [ DOI : 10.4230/LIPIcs.ICALP.2018.147 ]

    https://hal.archives-ouvertes.fr/hal-01965743
  • 23S. Bouchard, Y. Dieudonné, A. Pelc, F. Petit.

    Deterministic Treasure Hunt in the Plane with Angular Hints, in: 29th International Symposium on Algorithms and Computation, ISAAC 2018, Jiaoxi Township, Taiwan, W.-L. Hsu, D.-T. Lee, C.-S. Liao (editors), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, December 2018, vol. 123, pp. 48:1–48:13. [ DOI : 10.4230/LIPIcs.ISAAC.2018.48 ]

    https://hal.sorbonne-universite.fr/hal-01970990
  • 24J. Bouron, S. Chevalley, B. Lepers, W. Zwaenepoel, R. Gouicem, J. Lawall, G. Muller, J. Sopena.

    The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS, in: 2018 USENIX Annual Technical Conference, Boston, MA, United States, July 2018.

    https://hal.inria.fr/hal-01853267
  • 25H. Bruneliere, Z. Al-Shara, F. Alvares, J. Lejeune, T. Ledoux.

    A Model-based Architecture for Autonomic and Heterogeneous Cloud Systems, in: CLOSER 2018 - 8h International Conference on Cloud Computing and Services Science, Funchal, Portugal, March 2018, vol. 1, pp. 201-212, Best Paper Award. [ DOI : 10.5220/0006773002010212 ]

    https://hal.archives-ouvertes.fr/hal-01705248
  • 26G. Fraysse, I. Grida Ben Yahia, J. Lejeune, P. Sens, J. Sopena.

    Towards multi-SDN services: Dangers of concurrent resource allocation from multiple providers, in: 21st Conference on Innovation in Clouds, Internet and Networks (ICIN 2018), Paris, France, February 2018.

    https://hal.inria.fr/hal-01793636
  • 27E. Mauffret, D. Jeanneau, L. Arantes, P. Sens.

    The Weakest Failure Detector to Solve the Mutual Exclusion Problem in an Unknown Dynamic Environment, in: 20th International Conference on Distributed Computing and Networking (ICDCN 2019), Bangalore, India, January 2019, Extended version: https://hal.archives-ouvertes.fr/hal-01661127v3.

    https://hal.archives-ouvertes.fr/hal-01929224
  • 28M. Najafzadeh, M. Shapiro, P. Eugster.

    Co-Design and Verification of an Available File System, in: VMCAI 2018 - International Conference on Verification, Model Checking, and Abstract Interpretation, Los Angeles, CA, United States, I. Dillig, J. Palsberg (editors), Lecture Notes in Computer Science, Springer, January 2018, vol. 10747, pp. 358-381. [ DOI : 10.1007/978-3-319-73721-8_17 ]

    https://hal.inria.fr/hal-01696263
  • 29L. A. Rodrigues, E. P. Duarte Jr., J. P. de Araujo, L. Arantes, P. Sens.

    Bundling Messages to Reduce the Cost of Tree-Based Broadcast Algorithms, in: LADC 2018 - 8th Latin-American Symposium on Dependable Computing, Foz do Iguaçu, Brazil, October 2018.

    https://hal.inria.fr/hal-01959395
  • 30M. Shapiro, A. Bieniusa, P. Zeller, G. Petri.

    Ensuring referential integrity under causal consistency, in: PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Porto, Portugal, April 2018, https://arxiv.org/abs/1803.03482.

    https://hal.inria.fr/hal-01727207
  • 31A. Z. Tomsic, M. Bravo, M. Shapiro.

    Distributed transactional reads: the strong, the quick, the fresh & the impossible, in: 2018 ACM/IFIP/USENIX International Middleware Conference, Rennes, France, Proceedings of 2018 ACM/IFIP/USENIX International Middleware Conference, ACM, December 2018, 14 p, https://arxiv.org/abs/1810.01698. [ DOI : 10.1145/3274808.3274818 ]

    https://hal.inria.fr/hal-01876456
  • 32D. Vasilas, M. Shapiro, B. King.

    A Modular Design for Geo-Distributed Querying: Work in Progress Report, in: PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Porto, Portugal, April 2018, pp. 1-8, https://arxiv.org/abs/1803.04141.

    https://hal.inria.fr/hal-01728712
  • 33J. P. de Araujo, L. Arantes, E. P. Duarte Jr., L. A. Rodrigues, P. Sens.

    A Communication-Efficient Causal Broadcast Protocol, in: ICPP 2018 - 47th International Conference on Parallel Processing, Eugene, Oregon, United States, August 2018.

    https://hal.inria.fr/hal-01924741

Conferences without Proceedings

  • 34K. Altisen, S. Devismes, A. Durand, F. Petit.

    Stabilisation progressive, in: ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Roscoff, France, May 2018.

    https://hal.archives-ouvertes.fr/hal-01779963
  • 35F. Coriat, A. Fladenmuller, L. Arantes.

    Architecture de collecte pour la géolocalisation en situation de crise : évaluation comparative, in: ComPAS 2018 - Conférence d'informatique en Parallélisme, Architecture et Système, Toulouse, France, July 2018.

    https://hal.sorbonne-universite.fr/hal-01877942

Internal Reports

Scientific Popularization

Other Publications