EN FR
EN FR


previous Previous | up Home


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, p. 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, p. 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, p. 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, p. 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, p. 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.
  • 10O. 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.
  • 11N. 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.
  • 12N. 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, p. 214–224.
Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 13S. Legtchenko.

    Exploiting player behavior in distributed architectures for online games, Université Pierre et Marie Curie (UPMC), 2012, Type : Thèse de Doctorat – Soutenue le : 2012-10-25 – Dirigée par : Sens, Pierre – Encadrée par : MONNET Sébastien.
  • 14G. Thomas.

    Improving the Design and the Performance of Managed Runtime Environments, Université Pierre et Marie Curie (UPMC), 2012, Type : Habilitation à Diriger des Recherches – Soutenue le : 2012-09-28, Ph. D. Thesis.

Articles in International Peer-Reviewed Journals

  • 15Y. Dieudonné, F. Petit.

    Self-stabilizing gathering with strong multiplicity detection, in: Theoretical Computer Science, 2012, vol. 428, p. 47-57.
  • 16S. Dubois, M. Gradinariu Potop-Butucaru, M. Nesterenko, S. Tixeuil.

    Self-Stabilizing Byzantine Asynchronous Unison, in: Journal of Parallel and Distributed Computing (JPDC), 2012, vol. 72, no 7, p. 917-923.
  • 17S. Dubois, T. Masuzawa, S. Tixeuil.

    Bounding the Impact of Unbounded Attacks in Stabilization, in: IEEE Transactions on Parallel and Distributed Systems (TPDS), March 2012, vol. 23, no 3, p. 460-466.

    http://doi.ieeecomputersociety.org/10.1109/TPDS.2011.158
  • 18F. Greve, P. Sens, L. Arantes, V. Simon.

    Eventually Strong Failure Detector with Unknown Membership, in: The Computer Journal, 2012.
  • 19J. Lawall, J. Brunel, N. Palix, R. R. 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 2012, Online preprint.
  • 20S. Legtchenko, S. Monnet, P. Sens, G. Muller.

    RelaxDHT : A Churn Resilient for Peer-to-Peer Distributed Hash-Tables, in: TAAS, July 2012, vol. 7, no 2.

    http://dx.doi.org/10.1145/2240166.2240178

Articles in National Peer-Reviewed Journals

  • 21L. Arantes, J. Lejeune, M. Piffaretti, O. Marin, P. Sens, J. Sopena, A. N. Bessani, V. V. Cogo, M. Correia, P. Costa, M. Pasin.

    Vers une plate-forme MapReduce tolérant les fautes byzantines, in: Technique et Science Informatiques (TSI), 2012, To appear.

International Conferences with Proceedings

  • 22A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, C. Baquero, V. Balegas, S. Duarte.

    Brief Announcement: Semantics of Eventually Consistent Replicated Sets, in: Int. Symp. on Dist. Comp. (DISC), Salvador, Bahia, Brazil, October 2012, p. 449–450.

    http://lip6.fr/Marc.Shapiro/papers/semantics-sets-BA-DISC-2012.pdf
  • 23T. F. Bissyandé, L. Réveillère, J. Lawall, G. Muller.

    Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel, in: Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, Essen, Germany, September 2012, p. 60-69, Best Paper award. [ DOI : 10.1145/2351676.2351686 ]

    http://hal.inria.fr/hal-00731064
  • 25F. Bonnet, X. Défago, F. Petit, M. Gradinariu Potop-Butucaru, S. Tixeuil.

    Brief Announcement: Discovering and Assessing Fine-grained Metrics in Robot Networks Protocols, in: Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2012), Toronto, Canada, Lecture Notes in Computer Science (LNCS), Springer Berlin / Heidelberg, October 2012.
  • 26E. Caron, F. Chuffart, A. Lamani, F. Petit.

    Optimization in a Self-Stabilizing Service Discovery Framework for Large Scale Systems, in: Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2012), Toronto, Canada, Lecture Notes in Computer Science (LNCS), Springer Berlin / Heidelberg, October 2012.
  • 27P. Cincilla, S. Monnet, M. Shapiro.

    Gargamel: boosting DBMS performance by parallelising write transactions, in: 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS'12), December 2012.
  • 28G. Da Silva Silvestre, P. Sens, S. Monnet, R. Krishnaswamy.

    Caju: a content distribution system for edge networks, in: 1st Workshop on Big Data Management in Clouds, in Conjunction with Euro-Par 2012, August 2012.

    http://hal.inria.fr/hal-00727822
  • 29S. Devismes, A. Lamani, F. Petit, P. Raymond, S. Tixeuil.

    Optimal Grid Exploration by Asynchronous Oblivious Robots, in: Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2012), Toronto, Canada, Lecture Notes in Computer Science (LNCS), Springer Berlin / Heidelberg, October 2012.
  • 30S. Dubois, S. Tixeuil, N. Zhu.

    Mariages et Trahisons, in: AlgoTel'12 - 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, La Grande Motte, France, F. Mathieu, N. Hanusse (editors), April 2012, p. 1-4.

    http://hal.inria.fr/hal-00689348
  • 31S. Dubois, S. Tixeuil, N. Zhu.

    The Byzantine Brides Problem, in: Proceedings of the Sixth International Conference on Fun with Algorithms (FUN 2012), Venice, Lecture Notes in Computer Science (LNCS), Springer Berlin / Heidelberg, June 2012.
  • 32F. Greve, M. Santos De Lima, L. Arantes, P. Sens.

    A Time-Free Byzantine Failure Detector for Dynamic Networks, in: Ninth European Dependable Computing Conference, May 2012.
  • 33P. Heidegger, A. Bieniusa, P. Thieman.

    Access Permission Contracts for Scripting Languages, in: 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ACM, January 2012.
  • 34N. Hidalgo, E. Rosas, L. Arantes, O. Marin, P. Sens, X. Bonnaire.

    Optimized range queries for large scale networks, in: 26th IEEE International Conference on Advanced Information Networking and Applications (AINA-2012), March 2012.
  • 35R. Hu, J. Sopena, L. Arantes, P. Sens, I. Demeure.

    Fair Comparison of Gossip Algorithms over Large-Scale Random Topologies, in: 31th IEEE International Symposium on Reliable Distributed Systems (SRDS'12), IEEE Computer Society Press, October 2012.
  • 36A. Lamani, A. Cournier, S. Dubois, F. Petit, V. Villain.

    Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies, in: 13th International Conference on Distributed Computing and Networking (ICDCN 2012), Honk-Kong, China, 2012, p. 46-60.
  • 37A. Lamani, S. Kamei, F. Ooshita, S. Tixeuil.

    Gathering an even number of robots in a symmetric ring without global multiplicity detection, in: Proceedings of the International Conference on Mathematical Foundations of Computer Science (MFCS 2012), Bratislava, Slovakia, Lecture Notes in Computer Science (LNCS), Springer Berlin / Heidelberg, August 2012.
  • 38J. Lejeune, L. Arantes, J. Sopena, P. Sens.

    Service Level Agreement for Distributed Mutual Exclusion in Cloud Computing, in: 12th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing (CCGRID'12), IEEE Computer Society Press, May 2012, p. 180-187.
  • 39J.-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, p. 65-76.
  • 40L. Millet, M. Lorrillere, L. Arantes, S. Gançarski, H. Naacke, J. Sopena.

    Facing peak loads in a P2P transaction system, in: Proceedings of the First Workshop on P2P and Dependability (P2PDEP'12), New York, NY, USA, P2P-Dep '12, ACM, May 2012, p. 1-7.

    http://dx.doi.org/10.1145/2212346.2212347
  • 41M. Ndiaye Ndeye, P. Sens, O. Thiare.

    Performance Comparison of Hierarchical Checkpoint Protocols on Grid Computing, in: 9th International Conference, Distributed Computing and Artificial Intelligence, Springer Verlag, March 2012.
  • 42T. Preud'homme, J. Sopena, G. Thomas, B. Folliot.

    An improvement of OpenMP pipeline parallelism with the BatchQueue algorithm, in: 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS'12), IEEE Computer Society Press, December 2012.
  • 43M. Saeida Ardekani, M. Zawirski, P. Sutra, M. Shapiro.

    The Space Complexity of Transactional Interactive Reads, in: Int. W. on Hot Topics in Cloud Data Processing (HotCDP), Bern, Switzerland, April 2012.

    http://lip6.fr/Marc.Shapiro/papers/interactive-reads-HotCDP-2012.pdf
  • 44G. Silvestre, S. Monnet, R. Krishnaswamy, P. Sens.

    AREN: a popularity aware replication scheme for cloud storage, in: 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS'12), December 2012.
  • 45Y. Tian, J. Lawall, D. Lo.

    Identifying Linux Bug Fixing Patches, in: 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, ACM/IEEE, June 2012, p. 386-396.
  • 46M. Véron, O. Marin, S. Monnet, Z. Guessoum.

    Towards a scalable refereeing system for online gaming, in: 11th International Workshop on Network and Systems Support for Games (NetGames'2012) (Poster), November 2012.

National Conferences with Proceeding

  • 47S. Dubois, S. Tixeuil, N. Zhu.

    Mariages et Trahisons, in: Proceedings of Algotel 2012, La Grande Motte, France, May 2012.

Internal Reports

  • 48A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, C. Baquero, V. Balegas, S. Duarte.

    An optimized conflict-free replicated set, Inria, October 2012, no RR-8083, 12 p.

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

    Non-Monotonic Snapshot Isolation, Inria, October 2012, no RR-7805, 34 p.

    http://hal.inria.fr/hal-00643430
  • 50G. Silvestre, S. Monnet, R. Krishnaswamy, P. Sens.

    Caju: a content distribution system for edge networks, Inria, June 2012, no RR-8006.

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


previous Previous | up Home