Sites Inria

English version

Equipe de recherche DELYS

Publications de l'équipe DELYS

2019

Article dans une revue

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, In press, pp.1-13. ⟨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

Communication dans un congrès

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
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
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
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
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
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
Accès au bibtex
BibTex

Ouvrage (y compris édition critique et traduction)

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

Thèse

titre
Graceful Degradation and Speculation for Robots in Highly Dynamic Environments
auteur
Marjorie Bournat
article
Computer Science [cs]. Sorbonne Université, 2019. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02177304/file/mainThese.pdf BibTex
titre
A communication-efficient causal broadcast publish/subscribe system
auteur
João Paulo de Araujo
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université; LIP6 - Laboratoire d'Informatique de Paris 6, 2019. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02105743/file/thesis_de_araujo.pdf BibTex

2018

Article dans une revue

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. ⟨https://www.sciencedirect.com/science/article/pii/S0167739X17320605⟩. ⟨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
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
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. ⟨http://drops.dagstuhl.de/opus/volltexte/2018/9292/⟩. ⟨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 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

Communication dans un congrès

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
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
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
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
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

Chapitre d'ouvrage

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, 2018, 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, 2018, 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

Rapport

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

Thèse

titre
Failure Detectors in Dynamic Distributed Systems
auteur
Denis Jeanneau
article
Distributed, Parallel, and Cluster Computing [cs.DC]. EDITE; Sorbonne Université, 2018. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01951975/file/these.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é, Faculté des Sciences et Ingénierie, 2018. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01970777/file/these_archivage_2962061.pdf BibTex
titre
FreeCore : un système d’indexation de résumés de documents sur une Table de Hachage Distribuée (DHT)
auteur
Bassirou Ngom
article
Recherche d'information [cs.IR]. Pierre and Marie Curie University, 2018. Français
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01921587/file/main.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é, Faculté des Sciences et Ingénierie, 2018. Français
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01953300/file/thesis.pdf BibTex
titre
Exploring the design space of highly-available distributed transactions
auteur
Alejandro Tomsic
article
Databases [cs.DB]. Sorbonne Universites, UPMC University of Paris 6, 2018. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01956321/file/thesis.pdf BibTex
titre
Efficient Virtualization of NUMA Architectures
auteur
Gauthier Voron
article
Operating Systems [cs.OS]. Sorbonne Université, Faculté des Sciences et Ingénierie, 2018. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01947560/file/thesis.pdf BibTex

Pré-publication, Document de travail

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

Suivez Inria