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


Bibliography

Major publications by the team in recent years
[1]
E. 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.
[2]
L. 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.
[3]
J. 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.
[4]
M. 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.
[5]
M. 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.
[6]
M. 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.
[7]
B. 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.
[8]
N. 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.
[9]
S. 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.
[10]
J.-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.
[11]
O. 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.
[12]
N. 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.
[13]
N. 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

[14]
G. 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
[15]
R. 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
[16]
N. 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
[17]
T. 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
[18]
S. 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

[19]
T. 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
[20]
A. 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
[21]
S. 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
[22]
Y. 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
[23]
F. 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
[24]
B. 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
[25]
W. 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
[26]
J. 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

[27]
L. 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
[28]
E. 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
[29]
S. 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
[30]
R. 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
[31]
R. 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
[32]
G. 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
[33]
A. 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
[34]
A. 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
[35]
A. 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
[36]
L. 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
[37]
R. 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
[38]
J. 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
[39]
S. 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
[40]
M. 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
[41]
D. 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
[42]
M. 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
[43]
M. 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
[44]
Best Paper
S. Saha, J.-P. Lozi, G. Thomas, J. Lawall, G. Muller.
Hector: Detecting resource-release omission faults in error-handling code for systems software, in: DSN 2013 - 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, IEEE Computer Society, June 2013, pp. 1-12. [ DOI : 10.1109/DSN.2013.6575307 ]
http://hal.inria.fr/hal-00918079
[45]
P. 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
[46]
D. 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
[47]
F. 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
[48]
F. 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
[49]
M. 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

[50]
F. David.
Profiler dynamique de contention pour les verrous des applications Java, in: ComPAS, Grenoble, France, January 2013.
http://hal.inria.fr/hal-00937220
[51]
L. Guo.
Pinpoint the Offending Code in a Kernel Oops, in: ComPAS, Grenoble, France, January 2013.
http://hal.inria.fr/hal-00937216
[52]
R. 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
[53]
Y. 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
[54]
J. 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
[55]
M. 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
[56]
S. 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
[57]
M. 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

[58]
L. 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
[59]
L. 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
[60]
M. 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
[61]
M. 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

[62]
S. Devismes, A. Lamani, F. Petit, S. Tixeuil.
Optimal Torus Exploration by Oblivious Mobile Robots, 2014.
http://hal.inria.fr/hal-00926573