Publications

Publications HAL du labo/EPI delys

2021

Conference papers

titre
Topology Aware Leader Election Algorithm for Dynamic Networks
auteur
Arnaud Favier, Nicolas Guittonneau, Luciana Arantes, Anne Fladenmuller, Jonathan Lejeune, Pierre Sens
article
PRDC 2020 – 25th IEEE Pacific Rim International Symposium on Dependable Computing, Dec 2021, Perth, Australia
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02954037/file/Topology_Aware_Leader_Election_Algorithm_for_Dynamic_Networks.pdf BibTex

2020

Journal articles

titre
Distributed Reconfiguration of Maximal Independent Sets
auteur
Keren Censor-Hillel, Mikaël Rabie
article
Journal of Computer and System Sciences, Elsevier, 2020, 112, pp.85-96. ⟨10.1016/j.jcss.2020.03.003⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02879023/file/Journal.pdf BibTex
titre
Robustness: A new form of heredity motivated by dynamic networks
auteur
Arnaud Casteigts, Swan Dubois, Franck Petit, John Robson
article
Theoretical Computer Science, Elsevier, 2020, 806, pp.429-445. ⟨10.1016/j.tcs.2019.08.008⟩
Accès au bibtex
BibTex
titre
PAX-MAC: A Low Latency Anycast Protocol with Advanced Preamble †
auteur
Tales Heimfarth, João Giacomin, Edison Pignaton de Freitas, Gustavo Figueiredo Araujo, João Paulo de Araujo
article
Sensors, MDPI, 2020, 20 (1), pp.23 – 25. ⟨10.3390/s20010250⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02479153/file/sensors-20-00250-v3.pdf BibTex

Conference papers

titre
Towards application-specific query processing systems
auteur
Dimitrios Vasilas, Marc Shapiro, Bradley King, Sara Hamouda
article
BDA 2020 – 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtual, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02943380/file/double-column.pdf BibTex
titre
Diffusion dans les réseaux sans fil en utilisant des filtres à mémoire constante
auteur
Gewu Bu, Maria Potop-Butucaru, Mikaël Rabie
article
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02867634/file/sample-algotel.pdf BibTex
titre
Élection Autostabilisante dans les Réseaux à Haute Dynamicité
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
article
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02791667/file/algotel.pdf BibTex
titre
Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
article
PODC 2020 – ACM Symposium on Principles of Distributed Computing, Aug 2020, Salerne / Virtual, Italy. ⟨10.1145/3382734.3404502⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02911071/file/mainShortPodc20.pdf BibTex
titre
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance
auteur
Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller
article
2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02901169/file/atc20-gouicem.pdf BibTex
titre
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving
auteur
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
article
SAT 2020 – 23rd International Conference on Theory and Applications of Satisfiability Testing, Jul 2020, Alghero / Virtual, Italy. pp.11-27, ⟨10.1007/978-3-030-51825-7_2⟩
Accès au bibtex
BibTex
titre
A resource usage efficient distributed allocation algorithm for 5G Service Function Chains
auteur
Guillaume Fraysse, Jonathan Lejeune, Julien Sopena, Pierre Sens
article
DAIS 2020 – 20th IFIP WG 6.1 International Conference Distributed Applications and Interoperable Systems, Jun 2020, Valetta, Malta. pp.169-185, ⟨10.1007/978-3-030-50323-9_11⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02975998/file/dais_paper_23_camera_ready.pdf BibTex
titre
On the Usefulness of Clause Strengthening in Parallel SAT Solving
auteur
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
article
12th NASA Formal Methods Symposium, May 2020, Moffett Field, United States
Accès au bibtex
BibTex
titre
Provable Multicore Schedulers with Ipanema: Application to Work Conservation
auteur
Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller
article
Eurosys 2020 – European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02554342/file/paper.pdf BibTex
titre
Proving the safety of highly-available distributed objects
auteur
Sreeja Nair, Gustavo Petri, Marc Shapiro
article
ESOP 2020 – 29th European Symposium on Programming, Apr 2020, Dublin, Ireland
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02424317/file/esop2020.pdf BibTex
titre
Data Consistency in the 5G Specification
auteur
Jonathan Sid-Otmane, Sofiane Imadali, Frederic Martelli, Marc Shapiro
article
2020 ICIN 2020 – 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.110-117, ⟨10.1109/ICIN48450.2020.9059408⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02943802/file/Data_Consistency_in_the_5G_Specification.pdf BibTex

Reports

titre
Specification of a Transactionally and Causally-Consistent (TCC) database
auteur
Saalik Hatia, Marc Shapiro
article
[Research Report] RR-9355, DELYS; LIP6, Sorbonne Université, Inria, Paris, France. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02902474/file/RR-9355.pdf BibTex
titre
Lower and upper bounds for deterministic convergecast with labeling schemes
auteur
Gewu Bu, Zvi Lotker, Maria Potop-Butucaru, Mikael Rabie
article
[Research Report] Sorbonne Université. 2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02650472/file/main.pdf BibTex
titre
A scalable causal broadcast that tolerates dynamics of mobile networks
auteur
Daniel Wilhelm, Luciana Arantes, Pierre Sens
article
[Technical Report] Sorbonne University UPMC. 2020
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-02652082/file/ensemble.pdf BibTex
titre
Proving the safety of highly-available distributed objects (Extended version)
auteur
Sreeja Nair, Gustavo Petri, Marc Shapiro
article
[Other] LIP6, Sorbonne Université, Inria, Paris, France; Arm Research, Cambridge, UK. 2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02492599/file/esop2020.pdf BibTex
titre
Resources management for controlling dynamic loads in clouds environments. The Wolphin project experience
auteur
Ahmed Amamou, Martin Camey, Christophe Cérin, Jonathan Rivalan, Julien Sopena
article
[Research Report] Université Sorbonne Paris Nord; Sorbonne Université. 2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02481264/file/Wolphin_article.pdf BibTex

Preprints, Working Papers, …

titre
Wireless Broadcast with short labelling
auteur
Gewu Bu, Maria Potop-Butucaru, Mikael Rabie
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01869563/file/conference_041818.pdf BibTex

2019

Journal articles

titre
Using differential execution analysis to identify thread interference
auteur
Mohamed Said Mosli Bouksiaa, François Trahay, Alexis Lescouet, Gauthier Voron, Remi Dulong, Amina Guermouche, Elisabeth Brunet, Gaël Thomas
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2019, 30 (12), pp.2866-2878. ⟨10.1109/TPDS.2019.2927481⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02179717/file/tpds_final.pdf BibTex
titre
The weakest failure detector for eventual consistency
auteur
Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens
article
Distributed Computing, Springer Verlag, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Accès au bibtex
BibTex
titre
Optimal torus exploration by oblivious robots
auteur
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil
article
Computing, Springer Verlag, 2019, 101 (9), pp.1241-1264. ⟨10.1007/s00607-018-0595-8⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02420598/file/HAL-version.pdf BibTex
titre
Asynchronous approach in the plane: a deterministic polynomial algorithm
auteur
Sébastien Bouchard, Marjorie Bournat, Yoann Dieudonné, Swan Dubois, Franck Petit
article
Distributed Computing, Springer Verlag, 2019, 32 (4), pp.317-337. ⟨10.1007/s00446-018-0338-2⟩
Accès au bibtex
BibTex
titre
Self-stabilizing robots in highly dynamic environments
auteur
Marjorie Bournat, Ajoy Datta, Swan Dubois
article
Theoretical Computer Science, Elsevier, 2019, 772, pp.88-110. ⟨10.1016/j.tcs.2018.11.026⟩
Accès au bibtex
BibTex
titre
Explicit Communication Among Stigmergic Robots
auteur
Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2019, 30 (02), pp.315-332. ⟨10.1142/S0129054119500072⟩
Accès au bibtex
BibTex
titre
Gradual stabilization
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
article
Journal of Parallel and Distributed Computing, Elsevier, 2019, 123, pp.26-45. ⟨10.1016/j.jpdc.2018.09.002⟩
Accès au bibtex
BibTex

Conference papers

titre
Improving Prediction Accuracy of Memory Interferences for Multicore Platforms
auteur
Cédric Courtaud, Julien Sopena, Gilles Muller, Daniel Gracia
article
RTSS 2019 – 40th IEEE Real-Time Systems Symposium, Dec 2019, Hong-Kong, China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02401625/file/RTSS_cedric.pdf BibTex
titre
Fork/Wait and Multicore Frequency Scaling: a Generational Clash
auteur
Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller
article
10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02349987/file/paper.pdf BibTex
titre
A Bag-of-Tasks Scheduler Tolerant to Temporal Failures in Clouds
auteur
Luan Teylo, Lúcia de A. Drummond, Luciana Arantes, Pierre Sens
article
SBAC-PAD 2019 – International Symposium on Computer Architecture and High Performance Computing, Oct 2019, Campo Grande, Brazil
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02284965/file/SBAC-PAD_2019.pdf BibTex
titre
Highlighting the Container Memory Consolidation Problems in Linux
auteur
Francis Laniel, Damien Carver, Julien Sopena, Franck Wajsburt, Jonathan Lejeune, Marc Shapiro
article
NCA 2019 – 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, United States. pp.1-4, ⟨10.1109/NCA.2019.8935034⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02424007/file/nca.pdf BibTex
titre
A Hibernation Aware Dynamic Scheduler for Cloud Environments
auteur
Luan Teylo, Luciana Arantes, Pierre Sens, Lúcia Maria de A. Drummond
article
ICCP 2019 – 48th International Conference on Parallel Processing – Workshop, Aug 2019, Kyoto, Japan. pp.1-10, ⟨10.1145/3339186.3339205⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02391614/file/w-icpp2019.pdf BibTex
titre
Understanding scheduler performance : a feature-based approach
auteur
Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller, Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix
article
Compas 2019 – Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02558763/file/compas19.pdf BibTex
titre
Resilient Optimistic Termination Detection for the Async-Finish Model
auteur
Sara Hamouda, Josh Milthorpe
article
34th International Conference on High Performance Computing, Jun 2019, Frankfurt, Germany. pp.291-311, ⟨10.1007/978-3-030-20656-7_15⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02169496/file/Hamouda2019_ISC_HPC.pdf BibTex
titre
Pannes de processus liées à la contention
auteur
Anaïs Durand, Michel Raynal, Gadi Taubenfeld
article
ALGOTEL 2019 – 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02118917/file/algotel.pdf BibTex
titre
Vérification de preuves distribuées : compromis temps-espace
auteur
Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen, Ami Paz, Mor Perry
article
ALGOTEL 2019 – 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02118043/file/redondance.pdf BibTex
titre
Trouver un trésor plus rapidement avec des conseils angulaires
auteur
Sébastien Bouchard, Yoann Dieudonné, Andrzej Pelc, Franck Petit
article
ALGOTEL 2019 – 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02118362/file/bouchard_et_al.pdf BibTex
titre
Silence dans la forêt !
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand
article
ALGOTEL 2019 – 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02118549/file/main.pdf BibTex
titre
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
auteur
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
article
TACAS 2019 – 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.135-151, ⟨10.1007/978-3-030-17462-0_8⟩
Accès au bibtex
BibTex
titre
Invariant Safety for Distributed Applications
auteur
Sreeja Nair, Gustavo Petri, Marc Shapiro
article
Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02052012/file/authorversion-soteria.pdf BibTex
titre
The Weakest Failure Detector to Solve the Mutual Exclusion Problem in an Unknown Dynamic Environment
auteur
Etienne Mauffret, Denis Jeanneau, Luciana Arantes, Pierre Sens
article
20th International Conference on Distributed Computing and Networking (ICDCN 2019), Jan 2019, Bangalore, India. ⟨10.1145/3288599.3288608⟩
Accès au bibtex
BibTex

Book sections

titre
Conflict-free Replicated Data Types (CRDTs)
auteur
Nuno Preguiça, Carlos Baquero, Marc Shapiro
article
Sakr, Sherif; Zomaya, Albert. Encyclopedia of Big Data Technologies, Springer International Publishing, 2019, Encyclopedia of Big Data Technologies, 978-3-319-63962-8. ⟨10.1007/978-3-319-63962-8_185-1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01793586/file/CRDTs-encyclopedia.zip BibTex
titre
Database Consistency Models
auteur
Marc Shapiro, Pierre Sutra
article
Sherif Sakr; Albert Zomaya. Encyclopedia of Big Data Technologies, Springer, 2019, 978-3-319-63962-8. ⟨10.1007/978-3-319-63962-8_203-1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01756780/file/DBconsistency-Springer2018-authorversion.pdf BibTex

Books

titre
Introduction to Distributed Self-Stabilizing Algorithms
auteur
Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit
article
Morgan & Claypool, 8 (1), pp.1-165, 2019, Synthesis Lectures on Distributed Computing Theory, Michel Raynal, ⟨10.2200/S00908ED1V01Y201903DCT015⟩
Accès au bibtex
BibTex

Patents

titre
Distributing computing system implementing a non-speculative hardware transactional memory and a method for using same for distributed computing
auteur
Julien Peeters, Nicolas Ventroux, Tanguy Sassolas, Marc Shapiro
article
United States, Patent n° : US 10 416 925B2. 2019
Accès au bibtex
BibTex

Reports

titre
Self-stabilizing Systems in Spite of High Dynamics
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
article
[Research Report] LaBRI, CNRS UMR 5800. 2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02376832/file/ADDJP2020.pdf BibTex

Theses

titre
On the Deterministic Gathering of Mobile Agents
auteur
Sébastien Bouchard
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS175⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02320156/file/these_bouchard_sebastien_2019.pdf BibTex
titre
Graceful Degradation and Speculation for Robots in Highly Dynamic Environments
auteur
Marjorie Bournat
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS035⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02177304/file/these_bournat_marjorie_2019.pdf BibTex
titre
Advanced Consolidation for Dynamic Containers
auteur
Damien Carver
article
Computer Science [cs]. EDITE de Paris, 2019. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02393773/file/these_archivage_3066006.pdf BibTex

2018

Journal articles

titre
VCube-PS: A causal broadcast topic-based publish/subscribe system
auteur
João Paulo de Araujo, Luciana Arantes, Elias Duarte Júnior, Luiz Rodrigues, Pierre Sens
article
Journal of Parallel and Distributed Computing, Elsevier, 2018, ⟨10.1016/j.jpdc.2018.10.011⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01925856/file/vcube-ps_hal.pdf BibTex
titre
CoMe4ACloud: An End-to-End Framework for Autonomic Cloud Systems
auteur
Zakarea Al-Shara, Frederico Alvares, Hugo Bruneliere, Jonathan Lejeune, Charles Prud’Homme, Thomas Ledoux
article
Future Generation Computer Systems, Elsevier, 2018, 86, pp.339-354. ⟨10.1016/j.future.2018.03.039⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01762716/file/FGCS2018_CoMe4ACloud_AuthorsVersion.pdf BibTex
titre
Data Consistency in Distributed Systems: Algorithms, Programs, and Databases
auteur
Annette Bieniusa, Alexey Gotsman, Bettina Kemme, Marc Shapiro
article
Dagstuhl Reports, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2018, Dagstuhl Reports, 8 (2), pp.101-121. ⟨10.4230/DagRep.8.2.101⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01848384/file/Dagstuhl-Consistency-18091.pdf BibTex
titre
A Self-Stabilizing Memory Efficient Algorithm for the Minimum Diameter Spanning Tree under an Omnipotent Daemon
auteur
Lélia Blin, Fadwa Boubekeur, Swan Dubois
article
Journal of Parallel and Distributed Computing, Elsevier, 2018, 117, pp.50-62. ⟨10.1016/j.jpdc.2018.02.007⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01966265/file/JPDC.pdf BibTex
titre
A distributed k-mutual exclusion algorithm based on autonomic spanning trees
auteur
Luiz Rodrigues, Elias Duarte Júnior, Luciana Arantes
article
Journal of Parallel and Distributed Computing, Elsevier, 2018, 115, pp.41-55. ⟨10.1016/j.jpdc.2018.01.008⟩
Accès au bibtex
BibTex
titre
SDN-based Wi-Fi Direct Clustering for Cloud Access in Campus Networks
auteur
Thi-Mai-Trang Nguyen, Lyes Hamidouche, Fabien Mathieu, Sébastien Monnet, Syphax Iskounen
article
Annals of Telecommunications – annales des télécommunications, Springer, 2018, 73 (3), pp.239–249. ⟨10.1007/s12243-017-0598-z⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01567735/file/sdn-wifi-direct.pdf BibTex
titre
On Deterministic Rendezvous at a Node of Agents with Arbitrary Velocities
auteur
Sébastien Bouchard, Yoann Dieudonné, Franck Petit, Andrzej Pelc
article
Information Processing Letters, Elsevier, 2018, 133, pp.39 – 43. ⟨10.1016/j.ipl.2018.01.003⟩
Accès au bibtex
BibTex
titre
Impact FD: An Unreliable Failure Detector Based on Process Relevance and Confidence in the System
auteur
Anubis Graciela de Moraes Rossetto, Claudio Geyer, Luciana Arantes, Pierre Sens
article
The Computer Journal, Oxford University Press (UK), In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01793311/file/Impact.pdf BibTex

Conference papers

titre
Deterministic Treasure Hunt in the Plane with Angular Hints
auteur
Sébastien Bouchard, Yoann Dieudonné, Andrzej Pelc, Franck Petit
article
29th International Symposium on Algorithms and Computation, ISAAC 2018, Dec 2018, Jiaoxi Township, Taiwan. pp.48:1–48:13, ⟨10.4230/LIPIcs.ISAAC.2018.48⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01970990/file/isaac2018-conf.pdf BibTex
titre
Distributed transactional reads: the strong, the quick, the fresh & the impossible
auteur
Alejandro Z. Tomsic, Manuel Bravo, Marc Shapiro
article
2018 ACM/IFIP/USENIX International Middleware Conference, ACM/IFIP/USENIX, Dec 2018, Rennes, France. pp.14, ⟨10.1145/3274808.3274818⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01876456/file/middleware18-authorversion.pdf BibTex
titre
Bundling Messages to Reduce the Cost of Tree-Based Broadcast Algorithms
auteur
Luiz Rodrigues, Elias Duarte Júnior, João Paulo de Araujo, Luciana Arantes, Pierre Sens
article
LADC 2018 – 8th Latin-American Symposium on Dependable Computing, Oct 2018, Foz do Iguaçu, Brazil. ⟨10.1109/LADC.2018.00022⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01959395/file/bundling_hypercube.pdf BibTex
titre
A Communication-Efficient Causal Broadcast Protocol
auteur
João Paulo de Araujo, Luciana Arantes, Elias Duarte Júnior, Luiz Rodrigues, Pierre Sens
article
ICPP 2018 – 47th International Conference on Parallel Processing, Aug 2018, Eugene, Oregon, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01924741/file/icpp2018-hal.pdf BibTex
titre
Scheduling under Uncertainty: A Query-based Approach
auteur
Luciana Arantes, Evripidis Bampis, Alexander Kononov, Manthos Letsios, Giorgio Lucarelli, Pierre Sens
article
IJCAI 2018 – 27th International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.4646-4652, ⟨10.24963/ijcai.2018/646⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01924648/file/IJCAI-CR-new.pdf BibTex
titre
The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS
auteur
Justinien Bouron, Sébastien Chevalley, Baptiste Lepers, Willy Zwaenepoel, Redha Gouicem, Julia Lawall, Gilles Muller, Julien Sopena
article
2018 USENIX Annual Technical Conference, Jul 2018, Boston, MA, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01853267/file/atc18-bouron.pdf BibTex
titre
Byzantine Gathering in Polynomial Time
auteur
Sébastien Bouchard, Yoann Dieudonné, Anissa Lamani
article
45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.147⟩
Accès au bibtex
BibTex
titre
Architecture de collecte pour la géolocalisation en situation de crise : évaluation comparative
auteur
Florent Coriat, Anne Fladenmuller, Luciana Arantes
article
ComPAS 2018 – Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01877942/file/compas2018_soumis.pdf BibTex
titre
Rassemblement byzantin dans les réseaux
auteur
Sébastien Bouchard, Yoann Dieudonne, Bertrand Ducourthial
article
20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications(ALGOTEL 2018), May 2018, Roscoff, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01782387/file/Rassemblement%20byzantin%20dans%20les%20r%C3%A9seaux%20-%20version%20finale.pdf BibTex
titre
Approche asynchrone dans le plan : un algorithme déterministe polynomial
auteur
Sébastien Bouchard, Marjorie Bournat, Yoann Dieudonné, Swan Dubois, Franck Petit
article
ALGOTEL 2018 – 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01782388/file/Approche%20asynchrone%20dans%20le%20plan%20-%20version%20finale.pdf BibTex
titre
Stabilisation progressive
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
article
ALGOTEL 2018 – 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01779963/file/algotel.pdf BibTex
titre
Ensuring referential integrity under causal consistency
auteur
Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri
article
PaPoC 2018 – 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01727207/file/final-2018-03-08.pdf BibTex
titre
A Modular Design for Geo-Distributed Querying
auteur
Dimitrios Vasilas, Marc Shapiro, Bradley King
article
PaPoC 2018 – 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal. pp.1-8, ⟨10.1145/3194261.3194265⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01728712/file/main.pdf BibTex
titre
A Model-based Architecture for Autonomic and Heterogeneous Cloud Systems
auteur
Hugo Bruneliere, Zakarea Al-Shara, Frederico Alvares, Jonathan Lejeune, Thomas Ledoux
article
CLOSER 2018 – 8h International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Portugal. pp.201-212, ⟨10.5220/0006773002010212⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01705248/file/CoMe4ACloud_CLOSER2018_CameraReady.pdf BibTex
titre
Towards multi-SDN services: Dangers of concurrent resource allocation from multiple providers
auteur
Guillaume Fraysse, Imen Grida Ben Yahia, Jonathan Lejeune, Pierre Sens, Julien Sopena
article
21st Conference on Innovation in Clouds, Internet and Networks (ICIN 2018), Feb 2018, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01793636/file/mutual_exclusion_PS.pdf BibTex
titre
Co-Design and Verification of an Available File System
auteur
Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
article
VMCAI 2018 – International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2018, Los Angeles, CA, United States. pp.358-381, ⟨10.1007/978-3-319-73721-8_17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01696263/file/VMCAI-2018-filesys.pdf BibTex

Reports

titre
The Weakest Failure Detector to Solve the Mutual Exclusion Problem in an Unknown Dynamic Environment
auteur
Etienne Mauffret, Denis Jeanneau, Luciana Arantes, Pierre Sens
article
[Technical Report] LISTIC; Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606. 2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01661127/file/main.pdf BibTex
titre
Improving the “Correct Eventual Consistency” Tool
auteur
Sreeja Nair, Marc Shapiro
article
[Research Report] RR-9191, Sorbonne Université. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01832888/file/RR-9191.pdf BibTex
titre
Gracefully Degrading Gathering in Dynamic Rings
auteur
Marjorie Bournat, Swan Dubois, Franck Petit
article
[Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; DELYS; Inria. 2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01790554/file/main.pdf BibTex
titre
Just-Right Consistency: reconciling availability and safety
auteur
Marc Shapiro, Annette Bieniusa, Nuno Preguiça, Valter Balegas, Christopher Meiklejohn
article
[Research Report] RR-9145, Inria Paris; UPMC – Paris 6 Sorbonne Universités; Tech. U. Kaiserslautern; U. Nova de Lisboa; U. Catholique de Louvain. 2018, pp.1-15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01685945/file/RR-9145.pdf BibTex

Theses

titre
Failure Detectors in Dynamic Distributed Systems
auteur
Denis Jeanneau
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS207⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01951975/file/JEANNEAU_Denis_these_2018.pdf BibTex
titre
Géolocalisation et communication en situation de crise
auteur
Florent Coriat
article
Réseaux et télécommunications [cs.NI]. Sorbonne Université, 2018. Français. ⟨NNT : 2018SORUS340⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01970777/file/these_CORIAT_Florent_2018.pdf BibTex
titre
FreeCore : un système d’indexation de résumés de document sur une Table de Hachage Distribuée (DHT)
auteur
Bassirou Ngom
article
Recherche d’information [cs.IR]. Sorbonne Université; Université Cheikh Anta Diop de Dakar, 2018. Français. ⟨NNT : 2018SORUS180⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01921587/file/NGOM_Bassirou_these_2018.pdf BibTex
titre
Vers une dissémination efficace de données volumineuses sur des réseaux wi-fi denses
auteur
Lyes Hamidouche
article
Informatique. Sorbonne Université, 2018. Français. ⟨NNT : 2018SORUS188⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01953300/file/HAMIDOUCHE_Lyes_these_2018.pdf BibTex
titre
Exploring the design space of highly-available distributed transactions
auteur
Alejandro Zlatko Tomsic
article
Databases [cs.DB]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS324⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01956321/file/these_Tomsic_Alejandro_2018.pdf BibTex
titre
Virtualisation efficace d’architectures NUMA
auteur
Gauthier Voron
article
Hardware Architecture [cs.AR]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS026⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01947560/file/2018SORUS026.pdf BibTex

Preprints, Working Papers, …

titre
SPT – Summary Prefix Tree: An over DHT Indexing Data Structure for Efficient Superset Search
auteur
Bassirou Ngom, Mesaac Makpangou, Samba Ndiaye
article
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01757074/file/spt-arima.pdf BibTex

 

Comments are closed.