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.
  • 8N. 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.
  • 9S. 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.
  • 10J.-P. Lozi, F. David, G. Thomas, J. 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.
  • 11O. 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.
  • 12N. Palix, G. Thomas, S. Saha, C. Calvès, J. 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.
  • 13N. 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

  • 14G. Da Silva Silvestre.

    Designing Adaptive Replication Schemes for Efficient Content Delivery in Edge Networks, Université Pierre et Marie Curie - Paris VI, October 2013.

    http://hal.inria.fr/tel-00931562
  • 15R. Hu.

    Algorithmes de dissémination épidémiques dans les réseaux à grande échelle : comparaison et adaptation aux topologies, Université Pierre et Marie Curie - Paris VI, December 2013, avec la mention : très honorable.

    http://hal.inria.fr/tel-00931796
  • 16N. M. Ndiaye.

    Techniques de gestion des défaillances dans les grilles informatiques tolérantes aux fautes, Université Pierre et Marie Curie - Paris VI, September 2013.

    http://hal.inria.fr/tel-00931839
  • 17T. Preud'Homme.

    Communication inter-cœurs optimisée pour le parallélisme de flux, Université Pierre et Marie Curie - Paris VI, June 2013.

    http://hal.inria.fr/tel-00931833
  • 18S. Saha.

    Amélioration de la qualité des codes de gestion d'erreur dans les logiciels système en utilisant des informations locales aux fonctions, Université Pierre et Marie Curie - Paris VI, March 2013.

    http://hal.inria.fr/tel-00937807

Articles in International Peer-Reviewed Journals

  • 19T. F. Bissyandé, L. Réveillère, J. Lawall, D. Bromberg, G. Muller.

    Implementing an Embedded Compiler using Program Transformation Rules, in: Software: Practice and Experience, September 2013, pp. 1–20, (To appear).

    http://hal.inria.fr/hal-00844536
  • 20A. Cournier, S. Dubois, A. Lamani, F. Petit, V. Villain.

    Snap-stabilizing message forwarding algorithm on tree topologies, in: Theoretical Computer Science, 2013, vol. 496, pp. 89-112.

    http://hal.inria.fr/hal-00933930
  • 21S. Devismes, F. Petit, S. Tixeuil.

    Optimal probabilistic ring exploration by semi-synchronous oblivious robots, in: Theoretical Computer Science, August 2013, vol. 498, pp. 10-27. [ DOI : 10.1016/j.tcs.2013.05.031 ]

    http://hal.inria.fr/hal-00930045
  • 22Y. Dieudonné, F. Levé, F. Petit, V. Villain.

    Deterministic Geoleader Election in Disoriented Anonymous Systems, in: Theoretical Computer Science, 2013, pp. 43-54.

    http://hal.inria.fr/hal-00933915
  • 23F. Hermenier, J. Lawall, G. Muller.

    BtrPlace: A Flexible Consolidation Manager for Highly Available Applications, in: IEEE Transactions on Dependable and Secure Computing, 2013, vol. 10, no 5, pp. 273-286. [ DOI : 10.1109/TDSC.2013.5 ]

    http://hal.inria.fr/hal-00916311
  • 24B. Kemme, G. Ramalingam, A. Schiper, M. Shapiro, K. Vaswani.

    Consistency in Distributed Systems, in: Dagstuhl Reports, June 2013, vol. 3, no 2, pp. 92-126. [ DOI : 10.4230/DagRep.3.2.92 ]

    http://hal.inria.fr/hal-00932737
  • 25W. Kolberg, P. D. B. Marcos, J. C. S. Anjos, A. K. S. Miyazaki, C. R. Geyer, L. Arantes.

    MRSG - A MapReduce Simulator over SimGrid, in: Parallel Computing, 2013, vol. 39, no 4-5, pp. 233–244. [ DOI : 10.1016/j.parco.2013.02.001 ]

    http://hal.inria.fr/hal-00931855
  • 26J. Lawall, J. Brunel, N. Palix, R. Rydhof Hansen, H. Stuart, G. Muller.

    WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process, in: Software, Practice and Experience, January 2013, vol. 43, no 1, pp. 67-92. [ DOI : 10.1002/spe.2102 ]

    http://hal.inria.fr/hal-00918830

International Conferences with Proceedings

  • 27L. Arantes, F. Greve, P. Sens, V. Simon.

    Eventual Leader Election in Evolving Mobile Networks, in: OPODIS 2013 - 17th International Conference Principles of Distributed Systems, Nice, France, R. Baldoni, N. Nisse, M. van Steen (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 8304, pp. 23-37. [ DOI : 10.1007/978-3-319-03850-6_3 ]

    http://hal.inria.fr/hal-00927651
  • 28E. Bampas, A. Lamani, F. Petit, M. Valero.

    Self-Stabilizing Balancing Algorithm for Containment-Based Trees, in: 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2013, OSAKA, Japan, Springer Berlin / Heidelberg, 2013, vol. 8255, pp. 191-205.

    http://hal.inria.fr/hal-00933151
  • 29S. 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.

    http://hal.inria.fr/hal-00934311
  • 30R. Cortes, X. Bonnaire, F. Kordon, O. Marin.

    A Scalable Architecture for Highly Reliable Certification, in: TrustCom'2013 - IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Melbourne, Australia, IEEE, July 2013, pp. 328-335. [ DOI : 10.1109/TrustCom.2013.44 ]

    http://hal.inria.fr/hal-00931444
  • 31R. Cortes, X. Bonnaire, F. Kordon, O. Marin.

    Verification of a Quasi certification Protocol over a DHT, in: Dagstuhl Seminar "Formal Verification of Distributed Algorithms", France, April 2013.

    http://hal.inria.fr/hal-00931415
  • 32G. Da Silva Silvestre, S. Monnet.

    Performing accurate simulations for deadline-aware applications, in: HPCS 2013 - The 2013 International Conference on High Performance Computing & Simulation, Helsinki, Finland, July 2013, 10 p.

    http://hal.inria.fr/hal-00861970
  • 33A. Datta, A. Lamani, L. Larmore, F. Petit.

    Brief Announcement: Ring Exploration by Oblivious Robots With Vision Limited to 2 or 3, in: 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2013, Osaka, Japan, Springer Berlin / Heidelberg, 2013, vol. 8255, pp. 363-366.

    http://hal.inria.fr/hal-00933714
  • 34A. Datta, A. Lamani, L. Larmore, F. Petit.

    Ring Exploration by Oblivious Agents with Local Vision, in: 33rd International Conference on Distributed Computing (ICDCS), Philadelphia, United States, 2013, pp. 347-356.

    http://hal.inria.fr/hal-00933909
  • 35A. Datta, A. Lamani, L. Larmore, F. Petit.

    Ring Exploration with Oblivious Myopic Robots (Invited Paper), in: Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, 2013, pp. 335-342.

    http://hal.inria.fr/hal-00933893
  • 36L. 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 ]

    http://hal.inria.fr/hal-00868012
  • 37R. Hu, J. Sopena, L. Arantes, P. Sens, I. Demeure.

    Efficient Dissemination Algorithm for Scale-Free Topologies, in: ICPP'13 - 42th International Conference on Parallel Processing, Lyon, France, IEEE Computer Society, 2013.

    http://hal.inria.fr/hal-00839060
  • 38J. Lejeune, L. Arantes, J. Sopena, P. Sens.

    A prioritized distributed mutual exclusion algorithm balancing priority inversions and response time, in: ICPP'13 - 42th International Conference on Parallel Processing, Lyon, France, IEEE Computer Society, 2013.

    http://hal.inria.fr/hal-00839058
  • 39S. Monnet, G. Da Silva Silvestre, B. David, P. Sens.

    Predicting Popularity and Adapting Replication of Internet Videos for High-Quality Delivery, in: ICPADS 2013 - 19th IEEE International Conference on Parallel and Distributed Systems, Seoul, Korea, Republic Of, December 2013.

    http://hal.inria.fr/hal-00930200
  • 40M. Najafzadeh, M. Shapiro, V. Balegas, N. Preguiça.

    Improving the scalability of geo-replication with reservations, in: DCC 2013 : Workshop on Distributed Cloud Computing, Dresden, Germany, IEEE Computer Society, December 2013.

    http://hal.inria.fr/hal-00932657
  • 41D. Navalho, S. Duarte, N. Preguiça, M. Shapiro.

    Incremental Stream Processing using Computational Conflict-free Replicated Data Types, in: CloudDP '13 - 3rd International Workshop on Cloud Data and Platforms, Prague, Czech Republic, ACM, April 2013, pp. 31-36. [ DOI : 10.1145/2460756.2460762 ]

    http://hal.inria.fr/hal-00932788
  • 42M. Saeida Ardekani, P. Sutra, M. Shapiro, N. Preguiça.

    On the Scalability of Snapshot Isolation, in: Euro-Par 2013 - 19th International Conference Parallel Processing, Aachen (Aix-la-Chapelle), Germany, F. Wolf, B. Mohr, D. Mey (editors), LNCS - Lecture Notes in Computer Science, Springer, October 2013, vol. 8097, pp. 369-381. [ DOI : 10.1007/978-3-642-40047-6_39 ]

    http://hal.inria.fr/hal-00932781
  • 43M. Saeida Ardekani, P. Sutra, M. Shapiro.

    Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems, in: SRDS 2013 -IEEE 32nd International Symposium on Reliable Distributed Systems, Braga, Portugal, IEEE Computer Society, October 2013, pp. 163-172. [ DOI : 10.1109/SRDS.2013.25 ]

    http://hal.inria.fr/hal-00932758
  • 45P. Senna, L. Réveillère, L. Jiang, D. Lo, J. Lawall, G. Muller.

    Understanding the genetic makeup of Linux device drivers, in: PLOS'13 - 7th Workshop on Programming Languages and Operating Systems, Nemacolin Woodlands Resort, Pennsylvania, United States, ACM, 2013. [ DOI : 10.1145/2525528.2525536 ]

    http://hal.inria.fr/hal-00927070
  • 46D. Serrano, S. Bouchenak, Y. Kouki, T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens.

    Towards QoS-Oriented SLA Guarantees for Online Cloud Services, in: IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2013, Delft, Netherlands, May 2013, pp. 50-57.

    http://hal.inria.fr/hal-00780000
  • 47F. Thung, D. Lo, J. Lawall.

    Automated library recommendation, in: WCRE 2013 - 20th Working Conference on Reverse Engineering, Koblenz, Germany, R. Lämmel, R. Oliveto, R. Robbes (editors), IEEE, October 2013, pp. 182-191. [ DOI : 10.1109/WCRE.2013.6671293 ]

    http://hal.inria.fr/hal-00918076
  • 48F. Thung, S. Wang, D. Lo, J. Lawall.

    Automatic recommendation of API methods from feature requests, in: ASE 2013 - 28th IEEE/ACM International Conference on Automated Software Engineering, Palo Alto, California, United States, E. Denney, T. Bultan, A. Zeller (editors), IEEE, November 2013.

    http://hal.inria.fr/hal-00918828
  • 49M. 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.inria.fr/hal-00940774

National Conferences with Proceedings

  • 50F. David.

    Profiler dynamique de contention pour les verrous des applications Java, in: ComPAS, Grenoble, France, January 2013.

    http://hal.inria.fr/hal-00937220
  • 51L. Guo.

    Pinpoint the Offending Code in a Kernel Oops, in: ComPAS, Grenoble, France, January 2013.

    http://hal.inria.fr/hal-00937216
  • 52R. Hu, J. Sopena, L. Arantes, P. Sens, I. Demeure.

    Comparaisons équitables des algorithmes de gossip sur les topologies aléatoires à grande-échelle, in: ComPAS'2013 - 9ème Conférence Française sur les Systèmes d'Exploitation (CFSE'13), Chapitre français de l'ACM-SIGOPS, GDR ARP, Grenoble, France, 2013.

    http://hal.inria.fr/hal-00839059
  • 53Y. Kouki, T. Ledoux, D. Serrano, S. Bouchenak, J. Lejeune, L. Arantes, J. Sopena, P. Sens.

    SLA et qualité de service pour le Cloud Computing, in: Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Grenoble, France, January 2013, pp. 1-11.

    http://hal.inria.fr/hal-00764951
  • 54J. Lejeune, L. Arantes, J. Sopena, P. Sens.

    Un algorithme équitable d'exclusion mutuelle distribuée avec priorité, in: 9ème Conférence Française sur les Systèmes d'Exploitation (CFSE'13), Chapitre français de l'ACM-SIGOPS, GDR ARP, Grenoble, France, 2013.

    http://hal.inria.fr/hal-00839061
  • 55M. Lorrillere, J. Sopena, S. Monnet, P. Sens.

    Vers un cache réparti adapté au cloud computing, in: Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS'2013) - 9ème Conférence Française sur les Systèmes d'Exploitation (CFSE'13), Grenoble, France, January 2013, pp. 1-12.

    http://hal.inria.fr/hal-00832976
  • 56S. Saha, J.-P. Lozi.

    EHCtor: Detecting resource-release omission faults in error-handling code for systems software, in: ComPAS, Grenoble, France, January 2013.

    http://hal.inria.fr/hal-00937218
  • 57M. Véron, O. Marin, S. Monnet, Z. Guessoum.

    Vers un système d'arbitrage décentralisé pour les jeux en ligne, in: RenPar'21 - Rencontres francophones du Parallelisme, Grenoble, France, 2013, 9 p.

    http://hal.inria.fr/hal-00931400

Internal Reports

  • 58L. Arantes, J. Sopena.

    Easily rendering token-ring algorithms of distributed and parallel applications fault tolerant, Inria, September 2013, no RR-8359, 23 p.

    http://hal.inria.fr/hal-00859863
  • 59L. Guo, P. Senna Tschudin, K. Kono, G. Muller, J. Lawall.

    Oops! What about a Million Kernel Oopses?, Inria, June 2013, no RT-0436, 27 p.

    http://hal.inria.fr/hal-00838528
  • 60M. Saeida Ardekani, P. Sutra, N. Preguiça, M. Shapiro.

    Non-Monotonic Snapshot Isolation, Inria, June 2013, no RR-7805, 45 p.

    http://hal.inria.fr/hal-00643430
  • 61M. Zawirski, A. Bieniusa, V. Balegas, S. Duarte, C. Baquero, M. Shapiro, N. Preguiça.

    SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine, Inria, October 2013, no RR-8347.

    http://hal.inria.fr/hal-00870225

Other Publications