Project-Team Regal
Personnel
Overall Objectives
Research Program
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

Bibliography

Major publications by the team in recent years
  • 1V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, N. Preguiça, M. Najafzadeh, M. Shapiro.
    Putting Consistency back into Eventual Consistency, in: Euro. Conf. on Comp. Sys. (EuroSys), Bordeaux, France, ACM, 2015, pp. 6:1–6:16. [ DOI : 10.1145/2741948.2741972 ]
    https://hal.inria.fr/hal-01248191
  • 2G. Bosilca, A. Bouteiller, A. Guermouche, T. Hérault, Y. Robert, P. Sens, J. Dongarra.
    Failure Detection and Propagation in HPC systems, in: SC 2016 - The International Conference for High Performance Computing, Networking, Storage and Analysis, Salt Lake City, United States, November 2016.
    https://hal.inria.fr/hal-01352109
  • 3S. Dubois, R. Guerraoui, P. Kuznetsov, F. Petit, P. Sens.
    The Weakest Failure Detector for Eventual Consistency, in: 34th Annual ACM Symposium on Principles of Distributed Computing (PODC-2015), Donostia-San Sebastián, Spain, Donostia-San Sebastián, Spain, July 2015, pp. 375-384. [ DOI : 10.1145/2767386.2767404 ]
    https://hal.archives-ouvertes.fr/hal-01213330
  • 4L. Gidra, G. Thomas, J. Sopena, M. Shapiro, N. Nguyen.
    NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines, in: 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Istanbul, Turkey, Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM, March 2015, pp. 661-673. [ DOI : 10.1145/2694344.2694361 ]
    https://hal.archives-ouvertes.fr/hal-01178790
  • 5A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro.
    'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems, in: Symposium on Principles of Programming Languages, Saint Petersburg, FL, United States, January 2016, pp. 371–384. [ DOI : 10.1145/2837614.2837625 ]
    https://hal.inria.fr/hal-01243192
  • 6M. Saeida Ardekani, P. Sutra, M. Shapiro.
    Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems, in: Symp. on Reliable Dist. Sys. (SRDS), Braga, Portugal, IEEE Comp. Society, Oct. 2013, pp. 163–172. [ DOI : 10.1109/SRDS.2013.25 ]
    http://lip6.fr/Marc.Shapiro/papers/NMSI-SRDS-2013.pdf
  • 7M. Saeida Ardekani, P. Sutra, M. Shapiro.
    G-DUR: A Middleware for Assembling, Analyzing, and Improving Transactional Protocols, in: Middleware, Bordeaux, France, IEEE, December 2014, 12 p. [ DOI : 10.1145/2663165.2663336 ]
    https://hal.inria.fr/hal-01109114
  • 8Y. Saito, M. Shapiro.
    Optimistic Replication, in: ACM Computing Surveys, March 2005, vol. 37, no 1, pp. 42–81.
    http://lip6.fr/Marc.Shapiro/papers/Optimistic_Replication_Computing_Surveys_2005-03_cameraready.pdf
  • 9M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
    Conflict-free Replicated Data Types, in: Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS), Grenoble, France, X. Défago, F. Petit, V. Villain (editors), Lecture Notes in Comp. Sc., Springer-Verlag, Oct. 2011, vol. 6976, pp. 386–400.
  • 10V. Vafeiadis, M. Herlihy, T. Hoare, M. Shapiro.
    Proving Correctness of Highly-Concurrent Linearisable Objects, in: Symp. on Principles and Practice of Parallel Prog. (PPoPP), New York, USA, March 2006, pp. 129–136.
Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 11A. Blin.
    Towards an efficient use of multi-core processors in mixed criticality embedded systems, Université Pierre et Marie Curie - Paris VI, January 2017.
    https://tel.archives-ouvertes.fr/tel-01624259
  • 12R. Cortés.
    Scalable Location-Temporal Range Query Processing for Structured Peer-to-Peer Networks, Pierre et Marie Curie, Paris VI ; LIP6 UMR 7606 UPMC Sorbonne Universités, France ; équipe REGAL, April 2017.
    https://tel.archives-ouvertes.fr/tel-01552377
  • 13V. Tao Thanh.
    Ensuring Availability and Managing Consistency in Geo-Replicated File Systems, Pierre et Marie Curie, Paris VI ; Inria Paris ; REGAL ; Scality, December 2017.
    https://hal.inria.fr/tel-01673030

Articles in International Peer-Reviewed Journals

  • 14K. Altisen, A. Cournier, S. Devismes, A. Durand, F. Petit.
    Self-Stabilizing Leader Election in Polynomial Steps, in: Information and Computation, 2017. [ DOI : 10.1016/j.ic.2016.09.002 ]
    http://hal.upmc.fr/hal-01347471
  • 15X. Bonnaire, R. Cortés, F. Kordon, O. Marin.
    ASCENT: a Provably-Terminating Decentralized Logging Service, in: The Computer Journal, December 2017, vol. 60, no 12, pp. 1889–1911, forthcoming. [ DOI : 10.1093/comjnl/bxx076 ]
    http://hal.upmc.fr/hal-01547514
  • 16G. Bosilca, A. Bouteiller, A. Guermouche, T. Hérault, Y. Robert, P. Sens, J. Dongarra.
    A Failure Detector for HPC Platforms, in: International Journal of High Performance Computing Applications, 2017.
    https://hal.inria.fr/hal-01531522
  • 17T.-M.-T. Nguyen, L. Hamidouche, F. Mathieu, S. Monnet, S. Iskounen.
    SDN-based Wi-Fi Direct Clustering for Cloud Access in Campus Networks, in: Annals of Telecommunications, Springer, 2017. [ DOI : 10.1007/s12243-017-0598-z ]
    http://hal.upmc.fr/hal-01567735
  • 18M. Shapiro.
    Technical Perspective: Unexpected Connections, in: Communications- ACM, July 2017, vol. 60, no 8, pp. 82–82. [ DOI : 10.1145/3068768 ]
    https://hal.inria.fr/hal-01570845
  • 19P. Viotti, D. Dobre, M. Vukolić.
    Hybris: Robust Hybrid Cloud Storage, in: Transactions on Storage, September 2017, vol. 13, no 3, pp. 1 - 32. [ DOI : 10.1145/3119896 ]
    https://hal.inria.fr/hal-01610463

International Conferences with Proceedings

  • 20L. Arantes, R. Friedman, O. Marin, P. Sens.
    Probabilistic Byzantine Tolerance Scheduling in Hybrid Cloud Environments, in: 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Hyderabad, India, January 2017. [ DOI : 10.1145/1235 ]
    https://hal.inria.fr/hal-01399026
  • 21M. BOURNAT, S. Dubois, F. Petit.
    Computability of Perpetual Exploration in Highly Dynamic Rings, in: The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), Atlanta, United States, June 2017.
    https://hal.inria.fr/hal-01548109
  • 22M. Bournat, S. Dubois, F. Petit.
    Quel est le nombre optimal de robots pour explorer un anneau hautement dynamique ? , in: ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Quiberon, France, May 2017.
    https://hal.archives-ouvertes.fr/hal-01516182
  • 23D. Carver, J. Sopena, S. Monnet.
    ACDC : Advanced Consolidation for Dynamic Containers, in: NCA, Cambridge, MA, United States, October 2017.
    https://hal.inria.fr/hal-01673304
  • 24L. Hamidouche, S. Monnet, F. Bardolle, P. Sens, D. Refauvelet.
    EDWiN : leveraging device-to-device communications for Efficient data Dissemination over Wi-Fi Networks, in: The 31st IEEE International Conference on. Advanced Information Networking and Applications (AINA-2017), Taipei, Taiwan, March 2017.
    https://hal.inria.fr/hal-01515372
  • 25L. Hamidouche, S. Monnet, P. Sens, D. Refauvelet.
    Toward heterogeneity-aware device-to-device data dissemination over Wi-Fi networks, in: ICPADS 2017 - International Conference on Parallel and Distributed Systems, Shenzhen, China, December 2017.
    http://hal.univ-smb.fr/hal-01619216
  • 26D. Jeanneau, T. Rieutord, L. Arantes, P. Sens.
    Détecteur de fautes pour le k-accord dans les systèmes inconnus et dynamiques, in: ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Quiberon, France, May 2017.
    https://hal.archives-ouvertes.fr/hal-01511559
  • 27J. Kniess, L. Arantes, P. Sens, C. V. N. Albuquerque.
    Saving Resources in Discovery Protocol on Delay-Sensitive Rescue Mobile Networks, in: The 31st IEEE International Conference on. Advanced Information Networking and Applications (AINA-2017), Tapei, Taiwan, March 2017.
    https://hal.inria.fr/hal-01515369
  • 28L. Le Frioux, S. Baarir, J. Sopena, F. Kordon.
    PaInleSS: a Framework for Parallel SAT Solving, in: The 20th International Conference on Theory and Applications of Satisfiability Testing, Melbourne, Australia, Lecture Notes in Computer Science, Springer, August 2017, vol. 10491, pp. 233-250. [ DOI : 10.1007/978-3-319-66263-3_15 ]
    https://hal.archives-ouvertes.fr/hal-01540785
  • 29J. Lejeune, F. Alvares, T. Ledoux.
    Towards a generic autonomic model to manage Cloud Services, in: The 7th International Conference on Cloud Computing and Services Science (CLOSER 2017), Porto, Portugal, April 2017.
    https://hal.archives-ouvertes.fr/hal-01511360
  • 30B. Lepers, W. Zwaenepoel, J.-P. Lozi, N. Palix, R. Gouicem, J. Sopena, J. Lawall, G. Muller.
    Towards Proving Optimistic Multicore Schedulers, in: HotOS 2017 - 16th Workshop on Hot Topics in Operating Systems, Whistler, British Columbia, Canada, ACM SIGOPS, May 2017, 6 p. [ DOI : 10.1145/3102980.3102984 ]
    https://hal.inria.fr/hal-01556597
  • 31B. Ngom, M. Makpangou.
    Summary Prefix Tree: An over DHT Indexing Data Structure for Efficient Superset Search, in: NCA 2017 : 16th IEEE International Symposium on Network Computing and Applications, Cambridge, MA, United States, October 2017.
    https://hal.inria.fr/hal-01672052
  • 32J. Paulo De Araujo, L. Arantes, E. P. Duarte, L. A. Rodrigues, P. Sens.
    A Publish/Subscribe System Using Causal Broadcast Over Dynamically Built Spanning Trees, in: SBAC-PAD 2017 - 29th International Symposium on Computer Architecture and High Performance Computing, Campinas, Brazil, IEEE, October 2017, pp. 161-168. [ DOI : 10.1109/SBAC-PAD.2017.28 ]
    https://hal.inria.fr/hal-01644469
  • 33W. Sun, V. Simon, S. Monnet, P. Robert, P. Sens.
    Analysis of a Stochastic Model of Replication in Large Distributed Storage Systems: A Mean-Field Approach, in: ACM Sigmetrics 2017- International Conference on Measurement and Modeling of Computer Systems, Urbana-Champaign, Illinois, United States, ACM, June 2017, pp. 51–51, https://arxiv.org/abs/1701.00335. [ DOI : 10.1145/3078505.3078531 ]
    https://hal.inria.fr/hal-01494235
  • 34G. Voron, G. Thomas, V. Quema, P. Sens.
    An interface to implement NUMA policies in the Xen hypervisor, in: Twelfth European Conference on Computer Systems, EuroSys 2017, Belgrade, Serbia, April 2017, 15 p.
    https://hal.inria.fr/hal-01515359

Conferences without Proceedings

  • 35S. Bouchard, M. BOURNAT, Y. Dieudonné, S. Dubois, F. Petit.
    Asynchronous Approach in the Plane: A Deterministic Polynomial Algorithm, in: 31st International Symposium on Distributed Computing, DISC 2017, Vienna, Austria, October 2017.
    http://hal.upmc.fr/hal-01672916

Scientific Books (or Scientific Book chapters)

  • 36M. Shapiro, B. Kemme.
    Eventual Consistency, in: Encyclopedia of Database Systems, L. Liu, M. T. Özsu (editors), Springer, June 2017, 2 p. [ DOI : 10.1007/978-1-4899-7993-3_1366-2 ]
    https://hal.inria.fr/hal-01547451
  • 37M. Shapiro.
    Optimistic Replication and Resolution, in: Encyclopedia Of Database Systems, L. Liu, M. T. Özsu (editors), Springer-Verlag, April 2017, vol. Optimistic Replication and Resolution, pp. 1–8. [ DOI : 10.1007/978-1-4899-7993-3_258-4 ]
    https://hal.inria.fr/hal-01576333
  • 38M. Shapiro.
    Replicated Data Types, in: Encyclopedia Of Database Systems, L. Liu, M. T. Özsu (editors), Springer-Verlag, July 2017, vol. Replicated Data Types, pp. 1–5. [ DOI : 10.1007/978-1-4899-7993-3_80813-1 ]
    https://hal.archives-ouvertes.fr/hal-01578910

Internal Reports

  • 39G. Bosilca, A. Bouteiller, A. Guermouche, T. Hérault, Y. Robert, P. Sens, J. Dongarra.
    A Failure Detector for HPC Platforms, Inria, February 2017, no RR-9024.
    https://hal.inria.fr/hal-01453086
  • 40E. Mauffret, D. Jeanneau, L. Arantes, P. Sens.
    The Weakest Failure Detector to Solve the Fault Tolerant Mutual Exclusion Problem in an Unknown Dynamic Environment, LISTIC ; Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606, December 2017.
    https://hal.archives-ouvertes.fr/hal-01661127
  • 41S. S. Nair.
    Evaluation of the CEC (Correct Eventual Consistency) Tool, Inria Paris ; LIP6 UMR 7606, UPMC Sorbonne Universités, France, November 2017, no RR-9111, pp. 1-27.
    https://hal.inria.fr/hal-01628719

Other Publications


previous Previous | up Home