EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1E. Anceaume, R. Friedman, M. Gradinariu Potop-Butucaru.

    Managed Agreement: Generalizing two fundamental distributed agreement problems, in: Inf. Process. Lett., 2007, vol. 101, no 5, pp. 190-198.
  • 2L. Arantes, D. Poitrenaud, P. Sens, B. Folliot.

    The Barrier-Lock Clock: A Scalable Synchronization-Oriented Logical Clock, in: Parallel Processing Letters, 2001, vol. 11, no 1, pp. 65–76.
  • 3J. Beauquier, M. Gradinariu Potop-Butucaru, C. Johnen.

    Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings, in: Distributed Computing, 2007, vol. 20, no 1, pp. 75-93.
  • 4M. Bertier, L. Arantes, P. Sens.

    Distributed Mutual Exclusion Algorithms for Grid Applications: A Hierarchical Approach, in: JPDC: Journal of Parallel and Distributed Computing, 2006, vol. 66, pp. 128–144.
  • 5M. Bertier, O. Marin, P. Sens.

    Implementation and performance of an adaptable failure detector, in: Proceedings of the International Conference on Dependable Systems and Networks (DSN '02), June 2002.
  • 6M. Bertier, O. Marin, P. Sens.

    Performance Analysis of Hierarchical Failure Detector, in: Proceedings of the International Conference on Dependable Systems and Networks (DSN '03), San-Francisco (USA), IEEE Society Press, June 2003.
  • 7B. Ducourthial, S. Khalfallah, F. Petit.

    Best-effort group service in dynamic networks, in: 22nd Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 2010, pp. 233-242.
  • 8L. Gidra, G. Thomas, J. Sopena, M. Shapiro.

    A study of the scalability of stop-the-world garbage collectors on multicores, in: ASPLOS 13 - Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, Houston, United States, ACM, March 2013, pp. 229-240. [ DOI : 10.1145/2451116.2451142 ]

    https://hal.inria.fr/hal-00868012
  • 9N. Krishna, M. Shapiro, K. Bhargavan.

    Brief announcement: Exploring the Consistency Problem Space, in: Symp. on Prin. of Dist. Computing (PODC), Las Vegas, Nevada, USA, ACM SIGACT-SIGOPS, July 2005.
  • 10S. Legtchenko, S. Monnet, G. Thomas.

    Blue banana: resilience to avatar mobility in distributed MMOGs, in: The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), July 2010.
  • 11J.-P. Lozi, F. David, G. Thomas, J. L. Lawall, G. Muller.

    Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications, in: USENIX Annual Technical Conference, USENIX, June 2012, pp. 65-76.
  • 12O. Marin, M. Bertier, P. Sens.

    DARX - A Framework For The Fault-Tolerant Support Of Agent S oftware, in: Proceedings of the 14th IEEE International Symposium on Sofwat are Reliability Engineering (ISSRE '03), Denver (USA), IEEE Society Press, November 2003.
  • 13N. Palix, G. Thomas, S. Saha, C. Calvès, J. L. Lawall, G. Muller.

    Faults in Linux: Ten Years Later, in: Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), Newport Beach, CA, USA, March 2011.
  • 14N. Schiper, P. Sutra, F. Pedone.

    P-Store: Genuine Partial Replication in Wide Area Networks, in: Symp. on Reliable Dist. Sys. (SRDS), New Dehli, India, IEEE Comp. Society, October 2010, pp. 214–224.
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 18V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, M. Najafzadeh, M. Shapiro, N. Preguiça.

    Towards Fast Invariant Preservation in Geo-replicated Systems , in: ACM SIGOPS, Operating Systems Review (ACM OSR), January 2015, vol. 49, no 1, 5 p. [ DOI : 10.1145/2723872.2723889 ]

    https://hal.inria.fr/hal-01111206
  • 19A. L. S. Gradvohl, H. Senger, L. Arantes, P. Sens.

    Comparing Distributed Online Stream Processing Systems Considering Fault Tolerance Issues. , in: Journal of Emerging Technologies in Web Intellingence, May 2014, vol. 6, no 2, 5 p.

    https://hal.inria.fr/hal-01104700
  • 20B. Kemme, A. Schiper, R. Ganesan, M. Shapiro.

    Dagstuhl Seminar Review: Consistency in Distributed Systems, in: ACM SIGACT News, March 2014, vol. 45, no 1, 22 p. [ DOI : 10.1145/2596583.2596601 ]

    https://hal.inria.fr/hal-01109111
  • 21M. Véron, O. Marin, S. Monnet, Z. Guessoum.

    Towards a scalable refereeing system for online gaming, in: Springer Multimedia Systems Journal, October 2014, vol. 20, no 5, pp. 579-593. [ DOI : 10.1007/s00530-014-0358-0 ]

    http://hal.upmc.fr/hal-01104664

International Conferences with Proceedings

  • 22L. Arantes, L. A. Rodrigues, E. Duarte.

    An Autonomic Implementation of Reliable Broadcast Based on Dynamic Spanning Trees, in: The Tenth European Dependable Computing Conference, New Castle, United Kingdom, 2014.

    https://hal.inria.fr/hal-01105183
  • 23V. Balegas, M. Najafzadeh, S. Duarte, C. Ferreira, M. Shapiro, R. Rodrigues, N. Preguiça.

    Putting the Consistency back into Eventual Consistency, in: European Conference on Computer Systems (EuroSys), Bordeaux, France, European Conference on Computer Systems (EuroSys), ACM, April 2015.

    https://hal.inria.fr/hal-01109121
  • 24V. Balegas, N. Preguiça, S. Duarte, C. Ferreira, R. Rodrigues, M. Najafzadeh, M. Shapiro.

    The Case for Fast and Invariant-Preserving Geo-Replication, in: SRDSW 2014 - 33rd International Symposium on Reliable Distributed Systems Workshops, Nara, Japan, IEEE, October 2014, 5 p. [ DOI : 10.1109/SRDSW.2014.30 ]

    https://hal.inria.fr/hal-01109107
  • 25S. Burckhardt, A. Gotsman, H. Yang, M. Zawirski.

    Replicated Data Types: Specification, Verification, Optimality, in: POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, United States, ACM, January 2014, 14 p.

    https://hal.inria.fr/hal-00934311
  • 26R. Cortés, X. Bonnaire, O. Marin, P. Sens.

    FreeSplit: A Write-Ahead Protocol to Improve Latency in Distributed Prefix Tree Indexing Structures, in: 29th IEEE International Conference on Advanced Information Networking and Applications (AINA-2015), Gwangju, South Korea, March 2015.

    http://hal.upmc.fr/hal-01095702
  • 27A. K. Datta, A. Lamani, L. Larmore, F. Petit.

    Explorer un anneau avec des robots amnésiques et myopes, in: ALGOTEL 2014 – 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Le Bois-Plage-en-Ré, France, June 2014, pp. 1-4.

    https://hal.archives-ouvertes.fr/hal-00985611
  • 28B. Francois, X. Défago, F. Petit, M. Gradinariu Potop-Butucaru, S. Tixeuil.

    Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols, in: Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents (WSSR 2014), Nara, Japan, October 2014.

    https://hal.inria.fr/hal-01108586
  • 29L. Gidra, G. Thomas, J. Sopena, M. Shapiro, N. D. 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, ACM, March 2015.

    https://hal.inria.fr/hal-01109275
  • 30O. Marin, F. Coriat, A. Fladenmuller, L. Arantes, E. Rosas, N. Hidalgo.

    Towards distributed geolocation for large scale disaster management, in: WSDP - Chilean Workshop on Distributed and Parallel Systems, Talca, Chile, November 2014.

    http://hal.upmc.fr/hal-01104657
  • 31K. Pires, S. Monnet, P. Sens.

    POPS: a popularity-aware live streaming service, in: IEEE International Conference on Parallel and Distributed Systems (ICPADS 2014), Hsinchu, Taiwan, 2014.

    https://hal.inria.fr/hal-01105050
  • 32M. Saeida Ardekani, T. B. Douglas.

    A Self-Configurable Geo-Replicated Cloud Storage System, in: 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14), Broomfield, CO, United States, 2014.

    https://hal.inria.fr/hal-01102803
  • 33M. 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
  • 34M. Véron, O. Marin, S. Monnet.

    Matchmaking in multi-player on-line games: studying user traces to improve the user experience, in: NOSSDAV 2014 - ACM Workshop on Network and Operating Systems Support for Digital Audio and Video, Singapore, March 2014, 26 p.

    http://hal.upmc.fr/hal-00940774

National Conferences with Proceedings

  • 35M. Lorrillere, J. Sopena, S. Monnet, P. Sens.

    PUMA: Un cache distant pour mutualiser la mémoire inutilisée des machines virtuelles, in: ComPAS'2014 : Conférence d'informatique en Parallélisme, Architecture et Système, Neuchâtel, Switzerland, P. Felber, L. Philippe, E. Riviere, A. Tisserand (editors), April 2014, pp. 1-12.

    https://hal.archives-ouvertes.fr/hal-00983984
  • 36K. Pires, S. Monnet, P. Sens.

    POPS : service de diffusion de flux vidéos live prenant en compte la popularité, in: ComPAS 2014, Neuchâtel, Switzerland, 2014.

    https://hal.inria.fr/hal-01105063
  • 37M. Véron, O. Marin, S. Monnet.

    Matchmaking dans les jeux mutlijoueurs en ligne : étudier les traces utilisateurs pour améliorer l’expérience de jeu, in: Conférence d’informatique en Parallélisme, Architecture et Système, Neuchâtel, Switzerland, April 2014.

    http://hal.upmc.fr/hal-01104668

Conferences without Proceedings

  • 38V. Balegas, M. Najafzadeh, S. Duarte, C. Ferreira, M. Shapiro, R. Rodrigues, N. Preguiça.

    Putting the Consistency Back Into Eventual Consistency, in: Large-Scale Distributed Systems and Middleware (LADIS) 2014, Cambridge, United Kingdom, Large-Scale Distributed Systems and Middleware (LADIS) 2014, October 2014.

    https://hal.inria.fr/hal-01109719
  • 39P. Cincilla, S. Monnet, M. Shapiro.

    Multi-site Gargamel: Optimistic synchronization for reliable geo-replicated databases, in: International Workshop on Middleware for Dependable Systems and Networks, Bordeaux, France, 2014.

    https://hal.inria.fr/hal-01105053
  • 40M. Makpangou, B. Ngom, S. Ndiaye.

    FreeCore : Un substrat d'indexation des filtres de Bloom fragmentés pour la recherche par mots clés, in: ComPAS'2014, Neuchâtel, Switzerland, April 2014.

    https://hal.archives-ouvertes.fr/hal-01049544
  • 41M. Shapiro, M. Saeida Ardekani, P. Sutra.

    Exploring the spectrum of strongly-consistent transactional protocols, in: Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Cambridge, United Kingdom, Workshop on Large-Scale Distributed Systems and Middleware (LADIS), October 2014.

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

Scientific Books (or Scientific Book chapters)

  • 42Principles of Distributed Systems, 18th Int. Conf. on (OPODIS 2014), Lecture Notes in Computer Science, Springer-Verlag, Cortina d'Ampezzo, Italy, December 2014, vol. 8878. [ DOI : 10.1007/978-3-319-14472-6 ]

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

Internal Reports

  • 43K. Altisen, A. Cournier, S. Devismes, A. Durand, F. Petit.

    Self-Stabilizing Leader Election in Polynomial Steps, VERIMAG, May 2014.

    https://hal.archives-ouvertes.fr/hal-00980798
  • 44K. Attouchi, G. Thomas, A. Bottaro, J. L. Lawall, G. Muller.

    Incinerator - Eliminating Stale References in Dynamic OSGi Applications, Inria, February 2014, no RR-8485, 22 p.

    https://hal.inria.fr/hal-00952327
  • 45N. Braud-Santoni, S. Dubois, M.-H. Kaaouachi, F. Petit.

    The Next 700 Impossibility Results in Time-Varying Graphs, UPMC Sorbonne Universités/CNRS/Inria - EPI REGAL, December 2014.

    https://hal.inria.fr/hal-01097109
  • 46R. Cortés, X. Bonnaire, O. Marin, P. Sens.

    FreeSplit: A Write-Ahead Protocol to Improve Latency in Distributed Prefix Tree Indexing Structures, Inria Paris, November 2014, no RR-8637.

    https://hal.inria.fr/hal-01092251
  • 47R. Cortés, X. Bonnaire, O. Marin, P. Sens.

    Sport Trackers and Big Data: Studying user traces to identify opportunities and challenges, Inria Paris, November 2014, no RR-8636.

    https://hal.inria.fr/hal-01092242
  • 48S. Dubois, M.-H. Kaaouachi, F. Petit.

    Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems, UPMC Sorbonne Universités/CNRS/Inria - EPI REGAL, January 2015.

    https://hal.inria.fr/hal-01111610
  • 49V. Simon, S. Monnet, M. Feuillet, P. Robert, P. Sens.

    SPLAD: scattering and placing data replicas to enhance long-term durability, inria, May 2014, no RR-8533, 23 p.

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

Scientific Popularization

  • 50J.-P. Lozi, F. David, G. Thomas, J. Lawall, G. Muller.

    Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications, April 2014, ComPAS 2014 : conférence en parallélisme, architecture et systèmes.

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

Other Publications

  • 51S. Devismes, A. Lamani, F. Petit, S. Tixeuil.

    Optimal Torus Exploration by Oblivious Mobile Robots, January 2014.

    https://hal.inria.fr/hal-00926573
  • 52M. Segura, V. Rancurel, V. To, M. Shapiro.

    Scality's experience with a geo-distributed file system, Middleware: Posters and Demos '14; Proceedings of the Posters & Demos Session, ACM, December 2014, 1 p, Middleware 2014. [ DOI : 10.1145/2678508.2678524 ]

    https://hal.inria.fr/hal-01111208
References in notes
  • 53V. Balegas, M. Najafzadeh, S. Duarte, C. Ferreira, M. Shapiro, R. Rodrigues, N. Preguiça.

    Putting the Consistency back into Eventual Consistency, in: European Conference on Computer Systems (EuroSys), Bordeaux, France, European Conference on Computer Systems (EuroSys), ACM, April 2015.

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