Personnel
Overall Objectives
Research Program
New 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]
V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, N. Preguiça, M. Najafzadeh, M. Shapiro.
Putting Consistency back into Eventual Consistency, in: Euro. Conf. on Comp. Sys. (EuroSys), Bordeaux, France, ACM, 2015, pp. 6:1–6:16. [ DOI : 10.1145/2741948.2741972 ]
https://hal.inria.fr/hal-01248191
[2]
G. Bosilca, A. Bouteiller, A. Guermouche, T. Hérault, Y. Robert, P. Sens, J. Dongarra.
Failure Detection and Propagation in HPC systems, in: SC 2016 - The International Conference for High Performance Computing, Networking, Storage and Analysis, Salt Lake City, United States, November 2016.
https://hal.inria.fr/hal-01352109
[3]
S. Dubois, R. Guerraoui, P. Kuznetsov, F. Petit, P. Sens.
The Weakest Failure Detector for Eventual Consistency, in: 34th Annual ACM Symposium on Principles of Distributed Computing (PODC-2015), Donostia-San Sebastián, Spain, Donostia-San Sebastián, Spain, July 2015, pp. 375-384. [ DOI : 10.1145/2767386.2767404 ]
https://hal.archives-ouvertes.fr/hal-01213330
[4]
L. Gidra, G. Thomas, J. Sopena, M. Shapiro, N. 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, Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM, March 2015, pp. 661-673. [ DOI : 10.1145/2694344.2694361 ]
https://hal.archives-ouvertes.fr/hal-01178790
[5]
A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro.
'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems, in: Symposium on Principles of Programming Languages, Saint Petersburg, FL, United States, January 2016, pp. 371–384. [ DOI : 10.1145/2837614.2837625 ]
https://hal.inria.fr/hal-01243192
[6]
M. Saeida Ardekani, P. Sutra, M. Shapiro.
Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems, in: Symp. on Reliable Dist. Sys. (SRDS), Braga, Portugal, IEEE Comp. Society, Oct. 2013, pp. 163–172. [ DOI : 10.1109/SRDS.2013.25 ]
http://lip6.fr/Marc.Shapiro/papers/NMSI-SRDS-2013.pdf
[7]
M. 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
[8]
Y. Saito, M. Shapiro.
Optimistic Replication, in: ACM Computing Surveys, March 2005, vol. 37, no 1, pp. 42–81.
http://lip6.fr/Marc.Shapiro/papers/Optimistic_Replication_Computing_Surveys_2005-03_cameraready.pdf
[9]
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
Conflict-free Replicated Data Types, in: Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS), Grenoble, France, X. Défago, F. Petit, V. Villain (editors), Lecture Notes in Comp. Sc., Springer-Verlag, Oct. 2011, vol. 6976, pp. 386–400.
[10]
V. Vafeiadis, M. Herlihy, T. Hoare, M. Shapiro.
Proving Correctness of Highly-Concurrent Linearisable Objects, in: Symp. on Principles and Practice of Parallel Prog. (PPoPP), New York, USA, March 2006, pp. 129–136.
Publications of the year

Doctoral Dissertations and Habilitation Theses

[11]
A. Blin.
Towards an efficient use of multi-core processors in mixed criticality embedded systems, Université Pierre et Marie Curie - Paris VI, January 2017.
https://tel.archives-ouvertes.fr/tel-01624259
[12]
R. Cortés.
Scalable Location-Temporal Range Query Processing for Structured Peer-to-Peer Networks, Pierre et Marie Curie, Paris VI ; LIP6 UMR 7606 UPMC Sorbonne Universités, France ; équipe REGAL, April 2017.
https://tel.archives-ouvertes.fr/tel-01552377
[13]
V. Tao Thanh.
Ensuring Availability and Managing Consistency in Geo-Replicated File Systems, Pierre et Marie Curie, Paris VI ; Inria Paris ; REGAL ; Scality, December 2017.
https://hal.inria.fr/tel-01673030

Articles in International Peer-Reviewed Journals

[14]
K. Altisen, A. Cournier, S. Devismes, A. Durand, F. Petit.
Self-Stabilizing Leader Election in Polynomial Steps, in: Information and Computation, 2017. [ DOI : 10.1016/j.ic.2016.09.002 ]
http://hal.upmc.fr/hal-01347471
[15]
X. Bonnaire, R. Cortés, F. Kordon, O. Marin.
ASCENT: a Provably-Terminating Decentralized Logging Service, in: The Computer Journal, December 2017, vol. 60, no 12, pp. 1889–1911, forthcoming. [ DOI : 10.1093/comjnl/bxx076 ]
http://hal.upmc.fr/hal-01547514
[16]
G. Bosilca, A. Bouteiller, A. Guermouche, T. Hérault, Y. Robert, P. Sens, J. Dongarra.
A Failure Detector for HPC Platforms, in: International Journal of High Performance Computing Applications, 2017.
https://hal.inria.fr/hal-01531522
[17]
T.-M.-T. Nguyen, L. Hamidouche, F. Mathieu, S. Monnet, S. Iskounen.
SDN-based Wi-Fi Direct Clustering for Cloud Access in Campus Networks, in: Annals of Telecommunications, Springer, 2017. [ DOI : 10.1007/s12243-017-0598-z ]
http://hal.upmc.fr/hal-01567735
[18]
M. Shapiro.
Technical Perspective: Unexpected Connections, in: Communications- ACM, July 2017, vol. 60, no 8, pp. 82–82. [ DOI : 10.1145/3068768 ]
https://hal.inria.fr/hal-01570845
[19]
P. Viotti, D. Dobre, M. Vukolić.
Hybris: Robust Hybrid Cloud Storage, in: Transactions on Storage, September 2017, vol. 13, no 3, pp. 1 - 32. [ DOI : 10.1145/3119896 ]
https://hal.inria.fr/hal-01610463

International Conferences with Proceedings

[20]
L. Arantes, R. Friedman, O. Marin, P. Sens.
Probabilistic Byzantine Tolerance Scheduling in Hybrid Cloud Environments, in: 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Hyderabad, India, January 2017. [ DOI : 10.1145/1235 ]
https://hal.inria.fr/hal-01399026
[21]
M. BOURNAT, S. Dubois, F. Petit.
Computability of Perpetual Exploration in Highly Dynamic Rings, in: The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), Atlanta, United States, June 2017.
https://hal.inria.fr/hal-01548109
[22]
M. Bournat, S. Dubois, F. Petit.
Quel est le nombre optimal de robots pour explorer un anneau hautement dynamique ? , in: ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Quiberon, France, May 2017.
https://hal.archives-ouvertes.fr/hal-01516182
[23]
D. Carver, J. Sopena, S. Monnet.
ACDC : Advanced Consolidation for Dynamic Containers, in: NCA, Cambridge, MA, United States, October 2017.
https://hal.inria.fr/hal-01673304
[24]
L. Hamidouche, S. Monnet, F. Bardolle, P. Sens, D. Refauvelet.
EDWiN : leveraging device-to-device communications for Efficient data Dissemination over Wi-Fi Networks, in: The 31st IEEE International Conference on. Advanced Information Networking and Applications (AINA-2017), Taipei, Taiwan, March 2017.
https://hal.inria.fr/hal-01515372
[25]
L. Hamidouche, S. Monnet, P. Sens, D. Refauvelet.
Toward heterogeneity-aware device-to-device data dissemination over Wi-Fi networks, in: ICPADS 2017 - International Conference on Parallel and Distributed Systems, Shenzhen, China, December 2017.
http://hal.univ-smb.fr/hal-01619216
[26]
D. Jeanneau, T. Rieutord, L. Arantes, P. Sens.
Détecteur de fautes pour le k-accord dans les systèmes inconnus et dynamiques, in: ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Quiberon, France, May 2017.
https://hal.archives-ouvertes.fr/hal-01511559
[27]
J. Kniess, L. Arantes, P. Sens, C. V. N. Albuquerque.
Saving Resources in Discovery Protocol on Delay-Sensitive Rescue Mobile Networks, in: The 31st IEEE International Conference on. Advanced Information Networking and Applications (AINA-2017), Tapei, Taiwan, March 2017.
https://hal.inria.fr/hal-01515369
[28]
L. Le Frioux, S. Baarir, J. Sopena, F. Kordon.
PaInleSS: a Framework for Parallel SAT Solving, in: The 20th International Conference on Theory and Applications of Satisfiability Testing, Melbourne, Australia, Lecture Notes in Computer Science, Springer, August 2017, vol. 10491, pp. 233-250. [ DOI : 10.1007/978-3-319-66263-3_15 ]
https://hal.archives-ouvertes.fr/hal-01540785
[29]
J. Lejeune, F. Alvares, T. Ledoux.
Towards a generic autonomic model to manage Cloud Services, in: The 7th International Conference on Cloud Computing and Services Science (CLOSER 2017), Porto, Portugal, April 2017.
https://hal.archives-ouvertes.fr/hal-01511360
[30]
B. Lepers, W. Zwaenepoel, J.-P. Lozi, N. Palix, R. Gouicem, J. Sopena, J. Lawall, G. Muller.
Towards Proving Optimistic Multicore Schedulers, in: HotOS 2017 - 16th Workshop on Hot Topics in Operating Systems, Whistler, British Columbia, Canada, ACM SIGOPS, May 2017, 6 p. [ DOI : 10.1145/3102980.3102984 ]
https://hal.inria.fr/hal-01556597
[31]
B. Ngom, M. Makpangou.
Summary Prefix Tree: An over DHT Indexing Data Structure for Efficient Superset Search, in: NCA 2017 : 16th IEEE International Symposium on Network Computing and Applications, Cambridge, MA, United States, October 2017.
https://hal.inria.fr/hal-01672052
[32]
J. Paulo De Araujo, L. Arantes, E. P. Duarte, L. A. Rodrigues, P. Sens.
A Publish/Subscribe System Using Causal Broadcast Over Dynamically Built Spanning Trees, in: SBAC-PAD 2017 - 29th International Symposium on Computer Architecture and High Performance Computing, Campinas, Brazil, IEEE, October 2017, pp. 161-168. [ DOI : 10.1109/SBAC-PAD.2017.28 ]
https://hal.inria.fr/hal-01644469
[33]
W. Sun, V. Simon, S. Monnet, P. Robert, P. Sens.
Analysis of a Stochastic Model of Replication in Large Distributed Storage Systems: A Mean-Field Approach, in: ACM Sigmetrics 2017- International Conference on Measurement and Modeling of Computer Systems, Urbana-Champaign, Illinois, United States, ACM, June 2017, pp. 51–51, https://arxiv.org/abs/1701.00335. [ DOI : 10.1145/3078505.3078531 ]
https://hal.inria.fr/hal-01494235
[34]
G. Voron, G. Thomas, V. Quema, P. Sens.
An interface to implement NUMA policies in the Xen hypervisor, in: Twelfth European Conference on Computer Systems, EuroSys 2017, Belgrade, Serbia, April 2017, 15 p.
https://hal.inria.fr/hal-01515359

Conferences without Proceedings

[35]
S. Bouchard, M. BOURNAT, Y. Dieudonné, S. Dubois, F. Petit.
Asynchronous Approach in the Plane: A Deterministic Polynomial Algorithm, in: 31st International Symposium on Distributed Computing, DISC 2017, Vienna, Austria, October 2017.
http://hal.upmc.fr/hal-01672916

Scientific Books (or Scientific Book chapters)

[36]
M. Shapiro, B. Kemme.
Eventual Consistency, in: Encyclopedia of Database Systems, L. Liu, M. T. Özsu (editors), Springer, June 2017, 2 p. [ DOI : 10.1007/978-1-4899-7993-3_1366-2 ]
https://hal.inria.fr/hal-01547451
[37]
M. Shapiro.
Optimistic Replication and Resolution, in: Encyclopedia Of Database Systems, L. Liu, M. T. Özsu (editors), Springer-Verlag, April 2017, vol. Optimistic Replication and Resolution, pp. 1–8. [ DOI : 10.1007/978-1-4899-7993-3_258-4 ]
https://hal.inria.fr/hal-01576333
[38]
M. Shapiro.
Replicated Data Types, in: Encyclopedia Of Database Systems, L. Liu, M. T. Özsu (editors), Springer-Verlag, July 2017, vol. Replicated Data Types, pp. 1–5. [ DOI : 10.1007/978-1-4899-7993-3_80813-1 ]
https://hal.archives-ouvertes.fr/hal-01578910

Internal Reports

[39]
G. Bosilca, A. Bouteiller, A. Guermouche, T. Hérault, Y. Robert, P. Sens, J. Dongarra.
A Failure Detector for HPC Platforms, Inria, February 2017, no RR-9024.
https://hal.inria.fr/hal-01453086
[40]
E. Mauffret, D. Jeanneau, L. Arantes, P. Sens.
The Weakest Failure Detector to Solve the Fault Tolerant Mutual Exclusion Problem in an Unknown Dynamic Environment, LISTIC ; Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606, December 2017.
https://hal.archives-ouvertes.fr/hal-01661127
[41]
S. S. Nair.
Evaluation of the CEC (Correct Eventual Consistency) Tool, Inria Paris ; LIP6 UMR 7606, UPMC Sorbonne Universités, France, November 2017, no RR-9111, pp. 1-27.
https://hal.inria.fr/hal-01628719

Other Publications

[42]
P. Darche.
Évolution des mémoires à semi-conducteurs à accès aléatoire, February 2017, Article E2491 des Techniques de l'Ingénieur-article de référence sur le domaine.
http://hal.upmc.fr/hal-01341972
[43]
A. Singh, M. Shapiro, G. Thomas.
Persistent Memory Programming Abstractions in Context of Concurrent Applications, December 2017, https://arxiv.org/abs/1712.04989 - Accepted in HiPC SRS 2017.
https://hal.inria.fr/hal-01667772