Bibliography

Major publications by the team in recent years

• 1M. Bertier, D. Frey, R. Guerraoui, A.-M. Kermarrec, V. Leroy.
  The Gossple Anonymous Social Network, in: ACM/IFIP/USENIX 11th International Middleware Conference, India Bangalore, November 2010.
  http://hal.inria.fr/inria-00515693/en
• 2J. Cao, M. Raynal, X. Yang, W. Wu.
  Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks, in: IEEE Transactions on Computers, 2007, vol. 56, n^o 8, pp. 1055–1070.
• 3A. Carneiro Viana, S. Maag, F. Zaidi.
  One step forward: Linking Wireless Self-Organising Networks Validation Techniques with Formal Testing approaches, in: ACM Computing Surveys, 2009.
  http://hal.inria.fr/inria-00429444/en/
• 4R. Friedman, A. Mostefaoui, S. Rajsbaum, M. Raynal.
  Distributed agreement problems and their connection with error-correcting codes, in: IEEE Transactions on Computers, 2007, vol. 56, n^o 7, pp. 865–875.
• 5A. J. Ganesh, A.-M. Kermarrec, E. Le Merrer, L. Massoulié.
  Peer counting and sampling in overlay networks based on random walks, in: Distributed Computing, 2007, vol. 20, n^o 4, pp. 267-278.
• 6G. Giakkoupis, P. Woelfel.
  A tight RMR lower bound for randomized mutual exclusion, in: STOC - 44th ACM Symposium on Theory of Computing, New York, United States, May 2012.
  http://hal.inria.fr/hal-00722940
• 7G. Giakkoupis, P. Woelfel.
  On the time and space complexity of randomized test-and-set, in: PODC - 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Madeira, Portugal, July 2012.
  http://hal.inria.fr/hal-00722947
• 8M. Jelasity, S. Voulgaris, R. Guerraoui, A.-M. Kermarrec, M. van Steen.
  Gossip-Based Peer Sampling, in: ACM Transactions on Computer Systems, August 2007, vol. 41, n^o 5.
• 9B. Maniymaran, M. Bertier, A.-M. Kermarrec.
  Build One, Get One Free: Leveraging the Coexistence of Multiple P2P Overlay Networks, in: Proceedings of ICDCS 2007, Toronto, Canada, June 2007.
• 10A. Mostefaoui, S. Rajsbaum, M. Raynal, C. Travers.
  From Diamond W to Omega: a simple bounded quiescent reliable broadcast-based transformation, in: Journal of Parallel and Distributed Computing, 2007, vol. 61, n^o 1, pp. 125–129.

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 11A. Boutet.
  Décentralisation des systèmes de personnalisation, Université Rennes 1, March 2013.
  http://hal.inria.fr/tel-00861370
• 12T. Crain.
  Faciliter l'utilisation des mémoires transactionnelles logicielles, Université Rennes 1, March 2013.
  http://hal.inria.fr/tel-00861274
• 13K. Kloudas.
  Exploitation du contenu pour l'optimisation du stockage distribué, Université Rennes 1, March 2013.
  http://hal.inria.fr/tel-00806078
• 14A. Van Kempen.
  Optimiser l'utilisation de la bande passante dans les systèmes de stockage distribué, Université Rennes 1, March 2013.
  http://hal.inria.fr/tel-00862845

Articles in International Peer-Reviewed Journals

• 15X. Bai, R. Guerraoui, A.-M. Kermarrec.
  Personalizing Top-k Processing On-line in a Peer-to-Peer Social Tagging Network, in: ACM Transactions on Internet Technology, 2014.
  http://hal.inria.fr/hal-00925990
• 16M. Bertier, M. Obrovac, C. Tedeschi.
  Adaptive atomic capture of multiple molecules, in: Journal of Parallel and Distributed Computing, September 2013, vol. 73, n^o 9, pp. 1251-1266.
  http://hal.inria.fr/hal-00915220
• 17A. Boutet, D. Frey, A. Jégou, A.-M. Kermarrec, H. Ribeiro.
  FreeRec: an Anonymous and Distributed Personalization Architecture, in: Computing, December 2013.
  http://hal.inria.fr/hal-00909127
• 18A. Boutet, E. Yoneki, K. Hyoungshick.
  What's in Twitter I Know What Parties are Popular and Who You are Supporting Now!, in: Social Network Analysis and Mining, July 2013.
  http://hal.inria.fr/hal-00849890
• 19C. Delporte-Gallet, H. Fauconnier, R. Guerraoui, A.-M. Kermarrec, E. Ruppert, H. Tran-The.
  Byzantine agreement with homonyms, in: Distributed Computing, 2013, vol. 26, n^o 5-6, pp. 321-340. [ DOI : 10.1007/s00446-013-0190-3 ]
  http://hal.inria.fr/hal-00839625
• 20D. Frey, A. Jégou, A.-M. Kermarrec, M. Raynal, J. Stainer.
  Trust-Aware Peer Sampling: Performance and Privacy Tradeoffs, in: Journal of Theoretical Computer Science (TCS), February 2013.
  http://hal.inria.fr/hal-00872996
• 21A. Giurgiu, R. Guerraoui, K. Huguenin, A.-M. Kermarrec.
  Computing in Social Networks, in: Journal of Information and Computation, 2013, pp. 1-14, SSS 2010 Special Issue. [ DOI : 10.1016/j.ic.2013.11.001 ]
  http://hal.inria.fr/hal-00827745
• 22A.-M. Kermarrec, P. Triantafillou.
  XL Peer-to-Peer Pub/Sub Systems, in: ACM Computing Surveys, 2014, vol. 46, n^o 2.
  http://hal.inria.fr/hal-00853828

Invited Conferences

• 23F. Taïani.
  Deconstructing Complex Distributed Platforms: A Report From the Trenches, in: 9th International Workshop on Automated Specification and Verification of Web Systems, Florence, Italy, A. Ravara, J. Silva (editors), Electronic Proceedings in Theoretical Computer Science, June 2013, vol. 123, 2 p. [ DOI : 10.4204/EPTCS.123 ]
  http://hal.inria.fr/hal-00919426

International Conferences with Proceedings

• 24D. Alistarh, J. Aspnes, G. Giakkoupis, P. Woelfel.
  Randomized loose renaming in O(log log n) time, in: 32nd ACM Symposium on Principles of Distributed Computing (PODC), Montreal, Canada, July 2013.
  http://hal.inria.fr/hal-00856744
• 25N. Amann, A. Gouta, D. Hong, A.-M. Kermarrec, Y. Le Louedec.
  Large scale analysis of HTTP Adaptive Streaming over the Mobile Networks, in: 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Pornic, France, N. Nisse, F. Rousseau, Y. Busnel (editors), April 2013, pp. 1-4.
  http://hal.inria.fr/hal-00813595
• 26X. Bai, A. Jégou, F. Junqueira, V. Leroy.
  DynaSoRe: Efficient In-Memory Store for Social Applications, in: Middleware, Beijing, China, December 2013.
  http://hal.inria.fr/hal-00872990
• 27X. Bai, A. Jégou, F. Junqueira, V. Leroy.
  DynaSoRe: Efficient In-Memory Store for Social Applications, in: ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 2013, pp. 425-444. [ DOI : 10.1007/978-3-642-45065-5_22 ]
  http://hal.inria.fr/hal-00932468
• 28J. Bourgeois, J. Cao, M. Raynal, D. Dhoutaut, J. Piranda, E. Dedu, A. Mostefaoui, H. Mabed.
  Coordination and Computation in distributed intelligent MEMS, in: AINA 2013, 27th IEEE Int. Conf. on Advanced Information Networking and Applications, Spain, March 2013, pp. 118–123.
  http://hal.inria.fr/hal-00931533
• 29A. Boutet, D. Frey, R. Guerraoui, A. Jégou, A.-M. Kermarrec.
  WhatsUp Decentralized Instant News Recommender, in: IPDPS 2013, Boston, United States, May 2013.
  http://hal.inria.fr/hal-00769291
• 30A. Boutet, D. Frey, A. Jégou, A.-M. Kermarrec, H. Borba Ribeiro.
  FreeRec: an Anonymous and Distributed Personalization Architecture, in: NETYS, Marrakesh, Morocco, 2013.
  http://hal.inria.fr/hal-00820377
• 31A. Boutet, K. Kloudas, A.-M. Kermarrec.
  FStream: a decentralized and social music streamer, in: NETYS, Marrakech, Morocco, May 2013.
  http://hal.inria.fr/hal-00828542
• 32G. Giakkoupis, M. Helmi, L. Higham, P. Woelfel.
  An O(sqrt(n)) space bound for obstruction-free leader election, in: DISC - 27th International Symposium on Distributed Computing, Jerusalem, Israel, October 2013.
  http://hal.inria.fr/hal-00875167
• 33G. Giakkoupis, A.-M. Kermarrec, P. Woelfel.
  Gossip protocols for renaming and sorting, in: DISC - 27th International Symposium on Distributed Computing, Jerusalem, Israel, October 2013.
  http://hal.inria.fr/hal-00875162
• 34A. Gouta, C. Hong, D. Hong, A.-M. Kermarrec, Y. Lelouedec.
  Large scale analysis of HTTP adaptive streaming in mobile networks, in: Proc. of the IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM'13), Spain, August 2013, 10 p.
  http://hal.inria.fr/hal-00833496
• 35A. Gouta, D. Hong, A.-M. Kermarrec, Y. Lelouedec.
  HTTP adaptive streaming in mobile networks: characteristics and caching opportunities, in: IEEE 21st International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, San Francisco, United States, June 2013, 10 p.
  http://hal.inria.fr/hal-00833493
• 36R. Guerraoui, F. Huc, A.-M. Kermarrec.
  Highly Dynamic Distributed Computing with Byzantine Failures, in: ACM Symposium on Principles of Distributed Computing, Montreal, Canada, ACM, 2013.
  http://hal.inria.fr/hal-00870960
• 37A.-M. Kermarrec, A. Moin.
  FlexGD : A Flexible Force-directed Model for Graph Drawing, in: IEEE PacificVis, Sydney, Australia, 2013.
  http://hal.inria.fr/hal-00764245
• 38M. Raynal, J. Stainer.
  Simultaneous Consensus vs Set Agreement: A Message-Passing-Sensitive Hierarchy of Agreement Problems., in: SIROCCO, Ischia, Italy, Lecture Notes in Computer Science, Thomas Moscibroda and Adele A. Rescigno, July 2013, vol. 8179, pp. 298-309. [ DOI : 10.1007/978-3-319-03578-9_25 ]
  http://hal.inria.fr/hal-00920725
• 39M. Raynal, J. Stainer.
  Synchrony weakened by message adversaries vs asynchrony restricted by failure detectors, in: PODC, Montréal, Canada, ACM, July 2013, pp. 166-175. [ DOI : 10.1145/2484239.2484249 ]
  http://hal.inria.fr/hal-00920734
• 40F. Taïani, B. Porter, G. Coulson, M. Raynal.
  Cliff-Edge Consensus: Agreeing on the Precipice, in: 12th International Conference on Parallel Computing Technologies (PaCT-2013), St. Petersburg, Russian Federation, V. Malyshkin (editor), Lecture Notes in Computer Science, Springer, September 2013, vol. 7979, pp. 51-64. [ DOI : 10.1007/978-3-642-39958-9_5 ]
  http://hal.inria.fr/hal-00876054

Scientific Books (or Scientific Book chapters)

• 41M. Raynal.
  Concurrent Programming: Algorithms, Principles, and Foundations, Springer, 2013, XXXII + 515 p.
  http://hal.inria.fr/hal-00922217
• 42M. Raynal.
  Distributed Algorithms for Message-Passing Systems, Springer, 2013, XXX + 500 p.
  http://hal.inria.fr/hal-00922219

Internal Reports

• 43M. Bertier, M. Perrin, C. Tedeschi.
  On the Complexity of Concurrent Multiset Rewriting, Inria, December 2013, n^o RR-8408, 17 p.
  http://hal.inria.fr/hal-00912554
• 44A. Boutet, D. Frey, A. Jégou, A.-M. Kermarrec, H. Borba Ribeiro.
  FreeRec: an Anonymous and Distributed Personalization Architecture, July 2013, 20 p.
  http://hal.inria.fr/hal-00844813
• 45A. Boutet, D. Frey, A.-M. Kermarrec, R. Guerraoui.
  Democratizing Personalization, Inria, March 2013, n^o RR-8254.
  http://hal.inria.fr/hal-00799221
• 46A. Boutet, A.-M. Kermarrec, D. Frey, R. Guerraoui, A. Jégou.
  Privacy-Preserving Distributed Collaborative Filtering, Inria, March 2013, n^o RR-8253.
  http://hal.inria.fr/hal-00799209
• 47M. Herlihy, S. Rajsbaum, M. Raynal, J. Stainer.
  Computing in the Presence of Concurrent Solo Executions, May 2013, n^o PI-2004.
  http://hal.inria.fr/hal-00825619
• 48A. Lèbre, J. Pastor, M. Bertier, F. Desprez, J. Rouzaud-Cornabas, C. Tedeschi, P. Anedda, G. Zanetti, R. Nou, T. Cortes, E. Rivière, T. Ropars.
  Beyond The Cloud, How Should Next Generation Utility Computing Infrastructures Be Designed?, Inria, July 2013, n^o RR-8348.
  http://hal.inria.fr/hal-00854204
• 49S. Rajsbaum, R. Michel.
  An Introductory Tutorial to Concurrency-Related Distributed Recursion, June 2013, n^o PI 2006, 14 p.
  http://hal.inria.fr/hal-00858195
• 50M. Raynal, J. Stainer, J. Cao, W. Wu.
  A Simple Broadcast Algorithm for Recurrent Dynamic Systems, September 2013, n^o PI-2008.
  http://hal.inria.fr/hal-00862442
• 51M. Raynal, J. Stainer.
  Round-based Synchrony Weakened by Message Adversaries vs Asynchrony Enriched with Failure Detectors, February 2013, n^o PI-2002.
  http://hal.inria.fr/hal-00787978
• 52M. Raynal, J. Stainer.
  Simultaneous Consensus vs Set Agreement a Message-Passing Sensitive Hierarchy of Agreement Problems, February 2013, n^o PI-2003.
  http://hal.inria.fr/hal-00787992
• 53C. Travers, S. Rajsbaum, M. Raynal.
  The Iterated Restricted Immediate Snapshot Model, June 2013, n^o PI-2005.
  http://hal.inria.fr/hal-00829436

Other Publications

• 54A. Castaneda, D. Imbs, S. Rajsbaum, R. Michel.
  Generalized Symmetry Breaking Tasks, September 2013.
  http://hal.inria.fr/hal-00862230

References in notes

• 55M. Aguilera.
  A Pleasant Stroll Through the Land of Infinitely Many Creatures, in: ACM SIGACT News, Distributed Computing Column, 2004, vol. 35, n^o 2.
• 56D. Angluin.
  Local and Global Properties in Networks of Processes, in: Proc. 12th ACM Symposium on Theory of Computing (STOC'80), 1980.
• 57K. Birman, M. Hayden, O. Ozkasap, Z. Xiao, M. Budiu, Y. Minsky.
  Bimodal Multicast, in: ACM Transactions on Computer Systems, May 1999, vol. 17, n^o 2, pp. 41-88.
• 58A. Demers, D. Greene, C. Hauser, W. Irish, J. Larson, S. Shenker, H. Sturgis, D. Swinehart, D. Terry.
  Epidemic algorithms for replicated database maintenance, in: Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC'87), August 1987.
• 59P. Eugster, S. Handurukande, R. Guerraoui, A.-M. Kermarrec, P. Kouznetsov.
  Lightweight Probabilistic Broadcast, in: ACM Transaction on Computer Systems, November 2003, vol. 21, n^o 4.
• 60L. Lamport.
  Time, clocks, and the ordering of events in distributed systems, in: Communications of the ACM, 1978, vol. 21, n^o 7.
• 61M. Merritt, G. Taubenfeld.
  Computing Using Infinitely Many Processes, in: Proc. 14th Int'l Symposium on Distributed Computing (DISC'00), 2000.
• 62S. Ratnasamy, P. Francis, M. Handley, R. Karp, S. Shenker.
  A Scalable Content-Addressable Network, in: Conference of the Special Interest Group on Data Communication (SIGCOMM'01), 2001.
• 63A. Rowstron, P. Druschel.
  Pastry: Scalable, distributed object location and routing for large-scale peer-to-peer systems, in: IFIP/ACM Intl. Conf. on Distributed Systems Platforms (Middleware), 2001.
• 64I. Stoica, R. Morris, D. Karger, F. Kaashoek, H. Balakrishnan.
  Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications, in: SIGCOMM'01, 2001.
• 65S. Voulgaris, D. Gavidia, M. van Steen.
  CYCLON: Inexpensive Membership Management for Unstructured P2P Overlays, in: Journal of Network and Systems Management, 2005, vol. 13, n^o 2.