EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1V. Balegas, N. Preguiça, R. Rodrigues, S. Duarte, C. Ferreira, M. Najafzadeh, M. Shapiro.

    Putting Consistency back into Eventual Consistency, in: Euro. Conf. on Comp. Sys. (EuroSys), Bordeaux, France, April 2015, pp. 6:1–6:16.

    https://doi.org/10.1145/2741948.2741972
  • 2L. Gidra, G. Thomas, J. Sopena, M. Shapiro, N. Nguyen.

    NumaGiC: a garbage collector for big data on big NUMA machines, in: Int. Conf. on Archi. Support for Prog. Lang. and Systems (ASPLOS), Istanbul, Turkey, Assoc. for Computing Machinery, March 2015, pp. 661–673.

    http://dx.doi.org/10.1145/2694344.2694361
  • 3A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro.

    'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems, in: Symp. on Principles of Prog. Lang. (POPL), St. Petersburg, FL, USA, 2016, pp. 371–384.

    http://dx.doi.org/10.1145/2837614.2837625
  • 4J. Peeters, N. Ventroux, T. Sassolas, M. Shapiro.

    Distributing computing system implementing a non-speculative hardware transactional memory and a method for using same for distributed computing, United States Patent and Trademark Office (USPTO), September 2019, no US 10 416 925 B2.
  • 5M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.

    Conflict-free Replicated Data Types, in: Int. Symp. on Stabilization, Safety, and Security of Dist. Sys. (SSS), Grenoble, France, X. Défago, F. Petit, V. Villain (editors), Lecture Notes in Comp. Sc., Springer-Verlag, October 2011, vol. 6976, pp. 386–400.

    http://lip6.fr/Marc.Shapiro/papers/CRDTs_SSS-2011.pdf
  • 6M. Shapiro.

    Living at the edge, safely, LightKone European Project, May 2019.
  • 8M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas, M. Shapiro.

    Write Fast, Read in the Past: Causal Consistency for Client-side Applications, in: Int. Conf. on Middleware (MIDDLEWARE), Vancouver, BC, Canada, ACM/IFIP/Usenix, December 2015, pp. 75–87.
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 13K. Altisen, S. Devismes, A. Durand, F. Petit.

    Gradual stabilization, in: Journal of Parallel and Distributed Computing, January 2019, vol. 123, pp. 26-45. [ DOI : 10.1016/j.jpdc.2018.09.002 ]

    https://hal.archives-ouvertes.fr/hal-02420362
  • 14S. Bouchard, M. Bournat, Y. Dieudonné, S. Dubois, F. Petit.

    Asynchronous approach in the plane: a deterministic polynomial algorithm, in: Distributed Computing, August 2019, vol. 32, no 4, pp. 317-337. [ DOI : 10.1007/s00446-018-0338-2 ]

    https://hal.inria.fr/hal-02413273
  • 15M. Bournat, A. K. Datta, S. Dubois.

    Self-stabilizing robots in highly dynamic environments, in: Theoretical Computer Science, June 2019, vol. 772, pp. 88-110. [ DOI : 10.1016/j.tcs.2018.11.026 ]

    https://hal.inria.fr/hal-02413327
  • 16A. Casteigts, S. Dubois, F. Petit, J. Robson.

    Robustness: A new form of heredity motivated by dynamic networks, in: Theoretical Computer Science, August 2019. [ DOI : 10.1016/j.tcs.2019.08.008 ]

    https://hal.archives-ouvertes.fr/hal-02420608
  • 17S. Devismes, A. Lamani, F. Petit, S. Tixeuil.

    Optimal torus exploration by oblivious robots, in: Computing, September 2019, vol. 101, no 9, pp. 1241-1264. [ DOI : 10.1007/s00607-018-0595-8 ]

    https://hal.archives-ouvertes.fr/hal-02420598
  • 18Y. Dieudonné, S. Dolev, F. Petit, M. Segal.

    Explicit Communication Among Stigmergic Robots, in: International Journal of Foundations of Computer Science, March 2019, vol. 30, no 02, pp. 315-332. [ DOI : 10.1142/S0129054119500072 ]

    https://hal.archives-ouvertes.fr/hal-02420394
  • 19S. Dubois, R. Guerraoui, P. Kuznetsov, F. Petit, P. Sens.

    The weakest failure detector for eventual consistency, in: Distributed Computing, December 2019, vol. 32, no 6, pp. 479-492. [ DOI : 10.1007/s00446-016-0292-9 ]

    https://hal.inria.fr/hal-02413314
  • 20M. S. Mosli Bouksiaa, F. Trahay, A. Lescouet, G. Voron, R. Dulong, A. Guermouche, E. Brunet, G. Thomas.

    Using differential execution analysis to identify thread interference, in: IEEE Transactions on Parallel and Distributed Systems, December 2019, vol. 30, no 12, pp. 2866-2878. [ DOI : 10.1109/TPDS.2019.2927481 ]

    https://hal.archives-ouvertes.fr/hal-02179717

International Conferences with Proceedings

  • 21K. Altisen, S. Devismes, A. Durand.

    Silence dans la forêt !, in: ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint Laurent de la Cabrerisse, France, June 2019.

    https://hal.archives-ouvertes.fr/hal-02118549
  • 22S. Bouchard, Y. Dieudonné, A. Pelc, F. Petit.

    Trouver un trésor plus rapidement avec des conseils angulaires, in: ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint Laurent de la Cabrerisse, France, June 2019.

    https://hal.inria.fr/hal-02118362
  • 23D. Carver, R. Gouicem, J.-P. Lozi, J. Sopena, B. Lepers, W. Zwaenepoel, N. Palix, J. L. Lawall, G. Muller.

    Fork/Wait and Multicore Frequency Scaling: a Generational Clash, in: 10th Workshop on Programming Languages and Operating Systems, Huntsville, Canada, ACM Press, October 2019, pp. 53-59. [ DOI : 10.1145/3365137.3365400 ]

    https://hal.inria.fr/hal-02349987
  • 24C. Courtaud, J. Sopena, G. Muller, D. Gracia.

    Improving Prediction Accuracy of Memory Interferences for Multicore Platforms, in: RTSS 2019 - 40th IEEE Real-Time Systems Symposium, Hong-Kong, China, IEEE, December 2019.

    https://hal.inria.fr/hal-02401625
  • 25S. Hamouda, J. Milthorpe.

    Resilient Optimistic Termination Detection for the Async-Finish Model, in: 34th International Conference on High Performance Computing, Frankfurt, Germany, Lecture Notes in Computer Science, Springer, May 2019, vol. 11501, pp. 291-311. [ DOI : 10.1007/978-3-030-20656-7_15 ]

    https://hal.inria.fr/hal-02169496
  • 26F. Laniel, D. Carver, J. Sopena, F. Wajsburt, J. Lejeune, M. Shapiro.

    Highlighting the Container Memory Consolidation Problems in Linux, in: NCA 2019 - 18th IEEE International Symposium on Network Computing and Applications, Cambridge, United States, IEEE, September 2019, pp. 1-4. [ DOI : 10.1109/NCA.2019.8935034 ]

    https://hal.archives-ouvertes.fr/hal-02424007
  • 27L. Le Frioux, S. Baarir, J. Sopena, F. Kordon.

    Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework, in: TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czech Republic, T. Vojnar, L. Zhang (editors), Lecture Notes in Computer Science, April 2019, vol. 11427, pp. 135-151. [ DOI : 10.1007/978-3-030-17462-0_8 ]

    https://hal.archives-ouvertes.fr/hal-02093520
  • 29S. S. Nair, G. Petri, M. Shapiro.

    Invariant Safety for Distributed Applications, in: Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Dresden, Germany, Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), March 2019, https://arxiv.org/abs/1903.02759.

    https://hal.inria.fr/hal-02052012
  • 30L. Teylo, L. Arantes, P. Sens, L. M. de A. Drummond.

    A Hibernation Aware Dynamic Scheduler for Cloud Environments, in: ICCP 2019 - 48th International Conference on Parallel Processing - Workshop, Kyoto, Japan, ACM Press, August 2019, pp. 1-10. [ DOI : 10.1145/3339186.3339205 ]

    https://hal.inria.fr/hal-02391614
  • 31L. Teylo, L. M. de A. Drummond, L. Arantes, P. Sens.

    A Bag-of-Tasks Scheduler Tolerant to Temporal Failures in Clouds, in: SBAC-PAD 2019 - International Symposium on Computer Architecture and High Performance Computing, Campo Grande, Brazil, October 2019.

    https://hal.inria.fr/hal-02284965

Conferences without Proceedings

  • 32A. Durand, M. Raynal, G. Taubenfeld.

    Pannes de processus liées à la contention, in: ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint Laurent de la Cabrerisse, France, June 2019, pp. 1-4.

    https://hal.archives-ouvertes.fr/hal-02118917
  • 33L. Feuilloley, P. Fraigniaud, J. Hirvonen, A. Paz, M. Perry.

    Vérification de preuves distribuées : compromis temps-espace, in: ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint Laurent de la Cabrerisse, France, June 2019.

    https://hal.archives-ouvertes.fr/hal-02118043
  • 34S. S. Nair, G. Petri, M. Shapiro.

    Proving the safety of highly-available distributed objects, in: ESOP 2020 - 29th European Symposium on Programming, Dublin, Ireland, April 2020.

    https://hal.archives-ouvertes.fr/hal-02424317

Scientific Books (or Scientific Book chapters)

  • 35K. Altisen, S. Devismes, S. Dubois, F. Petit.

    Introduction to Distributed Self-Stabilizing Algorithms, Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool, April 2019, vol. 8, no 1, pp. 1-165. [ DOI : 10.2200/S00908ED1V01Y201903DCT015 ]

    https://hal.archives-ouvertes.fr/hal-02178659

Internal Reports

Scientific Popularization



previous Previous | up Home