Petr Kuznetsov

162 papers A* 19A 15B 27C 5Misc 4Journal 83Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Pending Conflicts Make Progress Impossible.
CoRR
Petr Kuznetsov, Pierre Sutra, Guillermo Toyos-Marfurt
2025 A conf
Asynchronous Latency and Fast Atomic Snapshot.
DISC
João Paulo Bezerra, Luciano Freitas de Souza, Petr Kuznetsov, Matthieu Rambaud
2025 A conf
Brief Announcement: DAGs for the Masses.
DISC
Michael Anoprenko, Andrei Tonkikh, Alexander Spiegelman, Petr Kuznetsov
2025 A* conf
Brief Announcement: Fast Atomic Snapshot and Asynchronous Latency.
PODC
João Paulo Bezerra, Petr Kuznetsov, Luciano Freitas de Souza
2025 A* conf
Brief Announcement: Optimal Construction of Unique Identifiers from Bounded Registers.
PODC
Michael Anoprenko, Petr Kuznetsov, Vitaly Aksenov
2025 J jnl
DAGs for the Masses.
CoRR
Michael Anoprenko, Andrei Tonkikh, Alexander Spiegelman, Petr Kuznetsov
2025 B conf
Fast, Private and Regulated Payments in Asynchronous Networks.
AFT
Maxence Brugeres, Victor Languille, Petr Kuznetsov, Hamza Zarfaoui
2025 J jnl
Fast, private and regulated payments in asynchronous networks.
IACR Cryptol. ePrint Arch.
Maxence Brugeres, Victor Languille, Petr Kuznetsov, Hamza Zarfaoui
2025 B conf
Resolving Conflicts with Grace: Dynamically Concurrent Universality.
OPODIS
Petr Kuznetsov, Nathan Josia Schrodt
2025 J jnl
Resolving Conflicts with Grace: Dynamically Concurrent Universality.
CoRR
Petr Kuznetsov, Nathan Josia Schrodt
2025 C conf
Space-Time Trade-Off in Bounded Iterated Memory.
SSS
Guillermo Toyos-Marfurt, Petr Kuznetsov
2025 J jnl
Space-Time Trade-off in Bounded Iterated Memory.
CoRR
Guillermo Toyos-Marfurt, Petr Kuznetsov
2025 J jnl
Wait-free Replicated Data Types and Fair Reconciliation.
CoRR
Petr Kuznetsov, Maxence Perion, Sara Tucci Piergiovanni
2024 J jnl
Asynchronous Latency and Fast Atomic Snapshot.
CoRR
João Paulo Bezerra, Luciano Freitas de Souza, Petr Kuznetsov
2024 B conf
Dynamic Probabilistic Reliable Broadcast.
OPODIS
João Paulo Bezerra, Veronika Anikina, Petr Kuznetsov, Liron Schiff, Stefan Schmid
2024 B conf
Memory Bounds for Concurrent Bounded Queues.
PPoPP
Vitaly Aksenov, Nikita Koval, Petr Kuznetsov, Anton Paramonov
2024 B conf
On the Bit Complexity of Iterated Memory.
SIROCCO
Guillermo Toyos-Marfurt, Petr Kuznetsov
2024 J jnl
On the Bit Complexity of Iterated Memory.
CoRR
Guillermo Toyos-Marfurt, Petr Kuznetsov
2024 A* ed.
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, PODC 2024, Nantes, France, June 17-21, 2024
PODC
Ran Gelles, Dennis Olivetti, Petr Kuznetsov
2023 B conf
A Tight Bound on Multiple Spending in Decentralized Cryptocurrencies.
OPODIS
João Paulo Bezerra, Petr Kuznetsov
2023 A* conf
CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts.
CCS
Andrei Tonkikh, Pavel Ponomarev, Petr Kuznetsov, Yvonne-Anne Pignolet
2023 J jnl
Dynamic Probabilistic Reliable Broadcast.
CoRR
Veronika Anikina, João Paulo Bezerra, Petr Kuznetsov, Liron Schiff, Stefan Schmid
2023 J jnl
Homomorphic Sortition - Single Secret Leader Election for PoS Blockchains.
IACR Cryptol. ePrint Arch.
Luciano Freitas de Souza, Andrei Tonkikh, Adda-Akram Bendoukha, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Petr Kuznetsov
2023 J jnl
Permissionless and asynchronous asset transfer.
Distributed Comput.
Petr Kuznetsov, Yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh
2022 J jnl
Agreement in Spiking Neural Networks.
J. Comput. Biol.
Martin Kunev, Petr Kuznetsov, Denis Sheynikhovich
2022 J jnl
Asynchronous reconfiguration with Byzantine failures.
Distributed Comput.
Petr Kuznetsov, Andrei Tonkikh
2022 A* conf
Brief Announcement: Asynchronous Randomness and Consensus without Trusted Setup.
PODC
Luciano Freitas de Souza, Petr Kuznetsov, Andrei Tonkikh
2022 A* conf
Brief Announcement: How to Tame Multiple Spending in Decentralized Cryptocurrencies.
PODC
João Paulo Bezerra, Petr Kuznetsov
2022 J jnl
Correction to: The consensus number of a cryptocurrency.
Distributed Comput.
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
2022 J jnl
CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts.
CoRR
Petr Kuznetsov, Yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh
2022 A conf
Distributed Randomness from Approximate Agreement.
DISC
Luciano Freitas de Souza, Petr Kuznetsov, Andrei Tonkikh
2022 J jnl
Distributed Randomness from Approximate Agreement.
CoRR
Luciano Freitas de Souza, Petr Kuznetsov, Andrei Tonkikh
2022 J jnl
Homomorphic Sortition - Secret Leader Election for Blockchain.
CoRR
Luciano Freitas de Souza, Andrei Tonkikh, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Adda-Akram Bendoukha, Petr Kuznetsov
2022 J jnl
How to Tame Multiple Spending in Decentralized Cryptocurrencies.
CoRR
João Paulo Bezerra, Petr Kuznetsov
2022 — conf
Relaxed Reliable Broadcast for Decentralized Trust.
NETYS
João Paulo Bezerra, Petr Kuznetsov, Alice Koroleva
2022 J jnl
The consensus number of a cryptocurrency.
Distributed Comput.
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
2021 B conf
Accountability and Reconfiguration: Self-Healing Lattice Agreement.
OPODIS
Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
2021 J jnl
Accountability and Reconfiguration: Self-Healing Lattice Agreement.
CoRR
Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
2021 B conf
Accountable Distributed Computing (Invited Talk).
OPODIS
Petr Kuznetsov
2021 A conf
Brief Announcement: Accountability and Reconfiguration - Self-Healing Lattice Agreement.
DISC
Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
2021 J jnl
Memory-Optimality for Non-Blocking Containers.
CoRR
Vitaly Aksenov, Nikita Koval, Petr Kuznetsov
2021 B conf
Optimal Concurrency for List-Based Sets.
PaCT
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Di Shang, Srivatsan Ravi
2021 J jnl
Peformance Prediction for Coarse-Grained Locking: MCS Case.
CoRR
Vitaly Aksenov, Daniil Bolotov, Petr Kuznetsov
2021 J jnl
Permissionless and Asynchronous Asset Transfer [Technical Report].
CoRR
Petr Kuznetsov, Yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh
2021 A conf
Permissionless and Asynchronous Asset Transfer.
DISC
Petr Kuznetsov, Yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh
2021 B conf
RandSolomon: Optimally Resilient Random Number Generator with Deterministic Termination.
OPODIS
Luciano Freitas de Souza, Andrei Tonkikh, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Petr Kuznetsov
2021 J jnl
RandSolomon: optimally resilient multi-party random number generation protocol.
CoRR
Luciano Freitas de Souza, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Petr Kuznetsov
2021 J jnl
Relaxed Reliable Broadcast for Decentralized Trust.
CoRR
João Paulo Bezerra, Petr Kuznetsov, Alice Koroleva
2021 A* conf
Revisiting Optimal Resilience of Fast Byzantine Consensus.
PODC
Petr Kuznetsov, Andrei Tonkikh, Yan X. Zhang
2021 J jnl
Revisiting Optimal Resilience of Fast Byzantine Consensus.
CoRR
Petr Kuznetsov, Andrei Tonkikh, Yan X. Zhang
2020 C conf
Affine Tasks for k-Test-and-Set.
SSS
Petr Kuznetsov, Thibault Rieutord
2020 J jnl
An Asynchronous Computability Theorem for Fair Adversaries.
CoRR
Petr Kuznetsov, Thibault Rieutord, Yuan He
2020 A conf
Asynchronous Reconfiguration with Byzantine Failures.
DISC
Petr Kuznetsov, Andrei Tonkikh
2020 J jnl
Asynchronous Reconfiguration with Byzantine Failures.
CoRR
Petr Kuznetsov, Andrei Tonkikh
2020 A conf
Brief Announcement: On Decidability of 2-Process Affine Models.
DISC
Petr Kuznetsov, Thibault Rieutord
2020 B conf
Dynamic Byzantine Reliable Broadcast.
OPODIS
Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh
2020 J jnl
On Decidability of 2-process Affine Models.
CoRR
Petr Kuznetsov, Thibault Rieutord
2020 J jnl
Online Payments by Merely Broadcasting Messages (Extended Version).
CoRR
Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Matteo Monti, Athanasios Xygkis, Matej Pavlovic, Petr Kuznetsov, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh
2020 A conf
Online Payments by Merely Broadcasting Messages.
DSN
Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh, Athanasios Xygkis
2020 J jnl
Perfect failure detection with very few bits.
Inf. Comput.
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord
2020 J jnl
Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020.
SIGACT News
Vitaly Aksenov, Petr Kuznetsov
2019 J jnl
Performance Prediction for Coarse-Grained Locking.
CoRR
Vitaly Aksenov, Dan Alistarh, Petr Kuznetsov
2019 B conf
Reconfigurable Lattice Agreement and Applications.
OPODIS
Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
2019 J jnl
Reconfigurable Lattice Agreement and Applications.
CoRR
Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
2019 J jnl
SPTCC 2019 Review.
SIGACT News
Petr Kuznetsov
2019 J jnl
Scalable Byzantine Reliable Broadcast (Extended Version).
CoRR
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
2019 A conf
Scalable Byzantine Reliable Broadcast.
DISC
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
2019 J jnl
The Consensus Number of a Cryptocurrency (Extended Version).
CoRR
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
2019 A* conf
The Consensus Number of a Cryptocurrency.
PODC
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
2019 J jnl
The weakest failure detector for eventual consistency.
Distributed Comput.
Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens
2018 J jnl
AT2: Asynchronous Trustworthy Transfers.
CoRR
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
2018 A* conf
An Asynchronous Computability Theorem for Fair Adversaries.
PODC
Petr Kuznetsov, Thibault Rieutord, Yuan He
2018 A* conf
Brief Announcement: Performance Prediction for Coarse-Grained Locking.
PODC
Vitaly Aksenov, Dan Alistarh, Petr Kuznetsov
2018 J jnl
Inherent limitations of hybrid transactional memory.
Distributed Comput.
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
2018 — conf
On Helping and Stacks.
NETYS
Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto
2018 B conf
Parallel Combining: Benefits of Explicit Synchronization.
OPODIS
Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto
2018 C ed.
Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings
SSS
Taisuke Izumi, Petr Kuznetsov
2018 B conf
Task Computability in Unreliable Anonymous Networks.
OPODIS
Petr Kuznetsov, Nayuta Yanagisawa
2018 J jnl
The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017.
SIGACT News
Petr Kuznetsov
2017 — conf
A Concurrency-Optimal Binary Search Tree.
Euro-Par
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi
2017 J jnl
A Concurrency-Optimal Binary Search Tree.
CoRR
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi
2017 — conf
Agreement Functions for Distributed Computing Models.
NETYS
Petr Kuznetsov, Thibault Rieutord
2017 J jnl
Agreement Functions for Distributed Computing Models.
CoRR
Petr Kuznetsov, Thibault Rieutord
2017 A conf
Brief Announcement: Compact Topology of Shared-Memory Adversaries.
DISC
Petr Kuznetsov, Thibault Rieutord, Yuan He
2017 J jnl
Flat Parallelization.
CoRR
Vitaly Aksenov, Petr Kuznetsov
2017 J jnl
Grasping the gap between blocking and non-blocking transactional memories.
J. Parallel Distributed Comput.
Petr Kuznetsov, Srivatsan Ravi
2017 J jnl
Non-interference and local correctness in transactional memory.
Theor. Comput. Sci.
Petr Kuznetsov, Sathya Peri
2017 J jnl
On the uncontended complexity of anonymous agreement.
Distributed Comput.
Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani
2017 J jnl
Parallel Combining: Making Use of Free Cycles.
CoRR
Vitaly Aksenov, Petr Kuznetsov
2017 B conf
Progress-Space Tradeoffs in Single-Writer Memory Implementations.
OPODIS
Damien Imbs, Petr Kuznetsov, Thibault Rieutord
2017 J jnl
Progress-Space Tradeoffs in Single-Writer Memory Implementations.
CoRR
Damien Imbs, Petr Kuznetsov, Thibault Rieutord
2016 B conf
In the Search for Optimal Concurrency.
SIROCCO
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
2016 J jnl
In the Search of Optimal Concurrency.
CoRR
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
2016 J jnl
In-Band Synchronization for Distributed SDN Control Planes.
Comput. Commun. Rev.
Liron Schiff, Stefan Schmid, Petr Kuznetsov
2016 C conf
Perfect Failure Detection with Very Few Bits.
SSS
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord
2016 B conf
Read-Write Memory and k-Set Consensus as an Affine Task.
OPODIS
Eli Gafni, Yuan He, Petr Kuznetsov, Thibault Rieutord
2016 J jnl
Read-Write Memory and k-Set Consensus as an Affine Task.
CoRR
Eli Gafni, Yuan He, Petr Kuznetsov, Thibault Rieutord
2016 B conf
Set-Consensus Collections are Decidable.
OPODIS
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2016 J jnl
Set-Consensus Collections are Decidable.
CoRR
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2015 J jnl
A Concurrency-Optimal List-Based Set.
CoRR
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi, Di Shang
2015 A* conf
A distributed and robust SDN control plane for transactional network updates.
INFOCOM
Marco Canini, Petr Kuznetsov, Dan Levin, Stefan Schmid
2015 A conf
Grasping the Gap Between Blocking and Non-Blocking Transactional Memories.
DISC
Petr Kuznetsov, Srivatsan Ravi
2015 A conf
Inherent Limitations of Hybrid Transactional Memory.
DISC
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
2015 Misc conf
On Partial Wait-Freedom in Transactional Memory.
ICDCN
Petr Kuznetsov, Srivatsan Ravi
2015 A* conf
On the Space Complexity of Set Agreement.
PODC
Carole Delporte-Gallet, Hugues Fauconnier, Petr Kuznetsov, Eric Ruppert
2015 J jnl
On the Space Complexity of Set Agreement.
CoRR
Carole Delporte-Gallet, Hugues Fauconnier, Petr Kuznetsov, Eric Ruppert
2015 B conf
On the Uncontended Complexity of Anonymous Consensus.
OPODIS
Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani
2015 B conf
Progressive Transactional Memory in Time and Space.
PaCT
Petr Kuznetsov, Srivatsan Ravi
2015 J jnl
Progressive Transactional Memory in Time and Space.
CoRR
Petr Kuznetsov, Srivatsan Ravi
2015 — ch.
Safety and Deferred Update in Transactional Memory.
Transactional Memory
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi
2015 A* conf
The Weakest Failure Detector for Eventual Consistency.
PODC
Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens
2015 J jnl
The Weakest Failure Detector for Eventual Consistency.
CoRR
Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens
2015 J jnl
Wait-freedom with advice.
Distributed Comput.
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2015 J jnl
Why Transactional Memory Should Not Be Obstruction-Free.
CoRR
Petr Kuznetsov, Srivatsan Ravi
2014 A* conf
A generalized asynchronous computability theorem.
PODC
Eli Gafni, Petr Kuznetsov, Ciprian Manolescu
2014 J jnl
Inherent Limitations of Hybrid Transactional Memory.
CoRR
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
2014 J jnl
Live Equals Fast in Iterated Models.
CoRR
Zohir Bouzid, Eli Gafni, Petr Kuznetsov
2014 Misc conf
Non-interference and Local Correctness in Transactional Memory.
ICDCN
Petr Kuznetsov, Sathya Peri
2014 J jnl
On Partial Wait-Freedom in Transactional Memory.
CoRR
Petr Kuznetsov, Srivatsan Ravi
2014 B conf
Strong Equivalence Relations for Iterated Models.
OPODIS
Zohir Bouzid, Eli Gafni, Petr Kuznetsov
2013 J jnl
A Distributed SDN Control Plane for Consistent Policy Updates.
CoRR
Marco Canini, Petr Kuznetsov, Dan Levin, Stefan Schmid
2013 J jnl
A generalized asynchronous computability theorem
CoRR
Eli Gafni, Petr Kuznetsov, Ciprian Manolescu
2013 J jnl
Safety of Deferred Update in Transactional Memory
CoRR
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi
2013 A conf
Safety of Deferred Update in Transactional Memory.
ICDCS
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi
2013 J jnl
Simple CHT: A New Derivation of the Weakest Failure Detector for Consensus.
CoRR
Petr Kuznetsov
2013 — conf
Software transactional networking: concurrent and consistent policy composition.
HotSDN
Marco Canini, Petr Kuznetsov, Dan Levin, Stefan Schmid
2013 C conf
Universal Model Simulation: BG and Extended BG as Examples.
SSS
Petr Kuznetsov
2012 A* conf
Brief announcement: From sequential to concurrent: correctness and relative efficiency.
PODC
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
2012 J jnl
From Sequential to Concurrent: Correctness and Relative Efficiency
CoRR
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
2012 J jnl
On Non-Interference of Transactions
CoRR
Petr Kuznetsov, Sathya Peri
2012 B conf
On the cost of composing shared-memory algorithms.
SPAA
Dan Alistarh, Rachid Guerraoui, Petr Kuznetsov, Giuliano Losa
2012 J jnl
Renaming and the weakest family of failure detectors.
Distributed Comput.
Yehuda Afek, Petr Kuznetsov, Israel Nir
2012 J jnl
The Weakest Failure Detectors to Solve Quittable Consensus and Nonblocking Atomic Commit.
SIAM J. Comput.
Rachid Guerraoui, Vassos Hadzilacos, Petr Kuznetsov, Sam Toueg
2012 J jnl
Understanding Non-Uniform Failure Models.
Bull. EATCS
Petr Kuznetsov
2012 J jnl
WTTM 2011: the third workshop on the theory of transactional memory.
SIGACT News
Petr Kuznetsov, Srivatsan Ravi
2012 A* conf
Wait-freedom with advice.
PODC
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2011 — conf
Autonomous Storage Management for Personal Devices with PodBase.
USENIX ATC
Ansley Post, Juan Navarro, Petr Kuznetsov, Peter Druschel
2011 A conf
Brief Announcement: On the Meaning of Solving a Task with a Failure Detector.
DISC
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2011 J jnl
Impersonal Failure Detection
CoRR
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2011 A* conf
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated.
POPL
Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev
2011 J jnl
On set consensus numbers.
Distributed Comput.
Eli Gafni, Petr Kuznetsov
2011 J jnl
On the Cost of Concurrency in Transactional Memory
CoRR
Petr Kuznetsov, Srivatsan Ravi
2011 B conf
On the Cost of Concurrency in Transactional Memory.
OPODIS
Petr Kuznetsov, Srivatsan Ravi
2011 Misc conf
Relating
ICDCN
Eli Gafni, Petr Kuznetsov
2011 J jnl
The failure detector abstraction.
ACM Comput. Surv.
Felix C. Freiling, Rachid Guerraoui, Petr Kuznetsov
2011 J jnl
The impossibility of boosting distributed service resilience.
Inf. Comput.
Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum
2010 A* conf
Brief announcement: on L-resilience, hitting sets, and colorless tasks.
PODC
Eli Gafni, Petr Kuznetsov
2010 J jnl
L-Resilient Adversaries and Hitting Sets
CoRR
Eli Gafni, Petr Kuznetsov
2010 J jnl
Towards Network Games with Social Preferences
CoRR
Petr Kuznetsov, Stefan Schmid
2010 B conf
Towards Network Games with Social Preferences.
SIROCCO
Petr Kuznetsov, Stefan Schmid
2010 B conf
Turning Adversaries into Friends: Simplified, Made Constructive, and Extended.
OPODIS
Eli Gafni, Petr Kuznetsov
2009 J jnl
BFTW
SIGACT News
Petr Kuznetsov, Rodrigo Rodrigues
2009 A conf
On Set Consensus Numbers.
DISC
Eli Gafni, Petr Kuznetsov
2009 J jnl
On the weakest failure detector ever.
Distributed Comput.
Rachid Guerraoui, Maurice Herlihy, Petr Kuznetsov, Nancy A. Lynch, Calvin C. Newport
2009 B conf
The Fault Detection Problem.
OPODIS
Andreas Haeberlen, Petr Kuznetsov
2009 J jnl
The complexity of obstruction-free implementations.
J. ACM
Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov
2009 A* conf
The weakest failure detector for solving k-set agreement.
PODC
Eli Gafni, Petr Kuznetsov
2009 Misc conf
Zeno: Eventually Consistent Byzantine-Fault Tolerance.
NSDI
Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis
2008 — conf
Defining weakly consistent Byzantine fault-tolerant services.
LADIS
Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis
2008 — conf
PodBase: transparent storage management for personal devices.
IPTPS
Ansley Post, Petr Kuznetsov, Peter Druschel
2008 J jnl
The gap in circumventing the impossibility of consensus.
J. Comput. Syst. Sci.
Rachid Guerraoui, Petr Kuznetsov
2007 B conf
N-Consensus is the Second Strongest Object for N+1 Processes.
OPODIS
Eli Gafni, Petr Kuznetsov