Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

53 résultats

Algorithms for concurrent systems

Petr Kuznetsov , Rachid Guerraoui
2018
Ouvrages hal-04517804v1

Reconfigurable Lattice Agreement and Applications

Petr Kuznetsov , Thibault Rieutord , Tucci-Piergiovanni Sara
OPODIS, Dec 2019, Neuchatel, Switzerland
Communication dans un congrès hal-03022570v1

Perfect Failure Detection with Very Few Bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord
18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
Communication dans un congrès hal-01423637v1

Brief Announcement

Luciano Freitas , Petr Kuznetsov , Andrei Tonkikh
PODC '22: ACM Symposium on Principles of Distributed Computing, Jul 2022, Salerno Italy, France. pp.103-105, ⟨10.1145/3519270.3538461⟩
Communication dans un congrès hal-04337935v1

Asynchronous reconfiguration with Byzantine failures

Petr Kuznetsov , Andrei Tonkikh
Distributed Computing, 2022, 35 (6), pp.477-502. ⟨10.1007/S00446-022-00421-1⟩
Article dans une revue hal-04337916v1
Image document

Brief Announcement: A Concurrency-Optimal List-Based Set

Vincent Gramoli , Petr Kuznetsov , Srivatsan Ravi , Di Shang
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Communication dans un congrès hal-01207872v1
Image document

Progress-Space Tradeoffs in Single-Writer Memory Implementations

Damien Imbs , Petr Kuznetsov , Thibault Rieutord
21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisbon, Portugal. ⟨10.4230/LIPIcs.OPODIS.2017.9⟩
Communication dans un congrès hal-01787848v1
Image document

Perfect failure detection with very few bits.

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord
Information and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
Article dans une revue hal-03559548v1

The Weakest Failure Detector for Eventual Consistency

Swan Dubois , Rachid Guerraoui , Petr Kuznetsov , Franck Petit , Pierre Sens
34th Annual ACM Symposium on Principles of Distributed Computing (PODC-2015), Donostia-San Sebastián, Spain, Jul 2015, Donostia-San Sebastián, Spain. pp.375-384, ⟨10.1145/2767386.2767404⟩
Communication dans un congrès hal-01213330v1
Image document

Permissionless and Asynchronous Asset Transfer

Petr Kuznetsov , Yvonne-Anne Pignolet , Pavel Ponomarev , Andrei Tonkikh
DISC, Oct 2021, Strasbourg, France. ⟨10.4230/LIPIcs.DISC.2021.28⟩
Communication dans un congrès hal-03559627v1

Permissionless and asynchronous asset transfer

Petr Kuznetsov , Yvonne-Anne Pignolet , Pavel Ponomarev , Andrei Tonkikh
Distributed Computing, 2023, 36 (3), pp.349-371. ⟨10.1007/S00446-023-00449-X⟩
Article dans une revue hal-04337958v1

In-Band Synchronization for Distributed SDN Control Planes

Liron Schiff , Stefan Schmid , Petr Kuznetsov
Computer Communication Review, 2016, 46 (1), pp.37-43
Article dans une revue hal-02287556v1
Image document

Affine Tasks for k-Test-and-Set

Petr Kuznetsov , Thibault Rieutord
2020
Pré-publication, Document de travail hal-01810601v2

Set-Consensus Collections are Decidable

Carole Delporte-Gallet , Hugues Fauconnier , Eli Gafni , Petr Kuznetsov
OPODIS, Dec 2016, MADRID, Spain
Communication dans un congrès hal-01416981v1
Image document

Perfect Failure Detection with Very Few Bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
Rapport hal-01365304v1
Image document

On the Uncontended Complexity of Anonymous Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
[Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015
Rapport hal-01180864v1
Image document

Accountability and reconfiguration: self-healing lattice agreement

Luciano Freitas , Petr Kuznetsov , Thibault Rieutord , Sara Tucci
OPODIS 2021 - 25th International Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France. pp.25, ⟨10.4230/LIPIcs.OPODIS.2021.25⟩
Communication dans un congrès cea-04484628v1

The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017

Petr Kuznetsov
SIGACT News, 2018, 49 (1), pp.81-90. ⟨10.1145/3197406.3197421⟩
Article dans une revue hal-02287904v1

The weakest failure detector for eventual consistency

Swan Dubois , Rachid Guerraoui , Petr Kuznetsov , Franck Petit , Pierre Sens
Distributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Article dans une revue hal-02413314v1
Image document

An Asynchronous Computability Theorem for Fair Adversaries

Petr Kuznetsov , Thibault Rieutord , Yuan He
2017
Pré-publication, Document de travail hal-01572257v4
Image document

Brief Announcement: On the Uncontended Complexity of Anonymous Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Communication dans un congrès hal-01207895v1

The consensus number of a cryptocurrency

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi
Distributed Computing, 2022, 35 (1), pp.1-15. ⟨10.1007/s00446-021-00399-2⟩
Article dans une revue hal-04084120v1

Scalable Byzantine Reliable Broadcast

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi
DISC, Oct 2019, Budapest, Hungary
Communication dans un congrès hal-03022562v1

CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts

Andrei Tonkikh , Pavel Ponomarev , Petr Kuznetsov , Yvonne-Anne Pignolet
CCS '23: ACM SIGSAC Conference on Computer and Communications Security, Nov 2023, Copenhagen Denmark, France. pp.1556-1570, ⟨10.1145/3576915.3616587⟩
Communication dans un congrès hal-04337963v1
Image document

Inherent Limitations of Hybrid Transactional Memory

Dan Alistarh , Justin Kopinsky , Petr Kuznetsov , Srivatsan Ravi , Nir Shavit
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_13⟩
Communication dans un congrès hal-01206434v1
Image document

Agreement in Spiking Neural Networks

Martin Kunev , Petr Kuznetsov , Denis Sheynikhovich
Journal of Computational Biology, 2022, 29 (4), pp.358 - 369. ⟨10.1089/cmb.2021.0365⟩
Article dans une revue inserm-03719607v1

Safety and Deferred Update in Transactional Memory

Hagit Attiya , Sandeep Hans , Petr Kuznetsov , Srivatsan Ravi
Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩
Chapitre d'ouvrage hal-02287873v1

Task Computability in Unreliable Anonymous Networks

Petr Kuznetsov , Nayuta Yanagisawa
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.23:1-23:13, ⟨10.4230/LIPIcs.OPODIS.2018.23⟩
Communication dans un congrès hal-02412406v1

The Consensus Number of a Cryptocurrency

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovič , Dragos-Adrian Seredinschi
the 2019 ACM PODC, Jul 2019, Toronto ON, Canada. pp.307-316, ⟨10.1145/3293611.3331589⟩
Communication dans un congrès hal-02364290v1
Image document

Grasping the Gap between Blocking and Non-Blocking Transactional Memories

Petr Kuznetsov , Srivatsan Ravi
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_16⟩
Communication dans un congrès hal-01206451v1