Petr Kuznetsov

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 82

Top Venues

Publications

Vitaly Aksenov, Nikita Koval, Petr Kuznetsov, Anton Paramonov
Memory Bounds for Concurrent Bounded Queues. PPoPP (2024)
Guillermo Toyos-Marfurt, Petr Kuznetsov
On the Bit Complexity of Iterated Memory. CoRR (2024)
Guillermo Toyos-Marfurt, Petr Kuznetsov
On the Bit Complexity of Iterated Memory. SIROCCO (2024)
Petr Kuznetsov, Yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh
Permissionless and asynchronous asset transfer. Distributed Comput. 36 (3) (2023)
Veronika Anikina, João Paulo Bezerra, Petr Kuznetsov, Liron Schiff, Stefan Schmid
Dynamic Probabilistic Reliable Broadcast. CoRR (2023)
Andrei Tonkikh, Pavel Ponomarev, Petr Kuznetsov, Yvonne-Anne Pignolet
CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts. CCS (2023)
Luciano Freitas de Souza, Andrei Tonkikh, Adda-Akram Bendoukha, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Petr Kuznetsov
Homomorphic Sortition - Single Secret Leader Election for PoS Blockchains. IACR Cryptol. ePrint Arch. 2023 (2023)
João Paulo Bezerra, Petr Kuznetsov
A Tight Bound on Multiple Spending in Decentralized Cryptocurrencies. OPODIS (2023)
João Paulo Bezerra, Petr Kuznetsov
How to Tame Multiple Spending in Decentralized Cryptocurrencies. CoRR (2022)
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
Correction to: The consensus number of a cryptocurrency. Distributed Comput. 35 (1) (2022)
Luciano Freitas de Souza, Petr Kuznetsov, Andrei Tonkikh
Brief Announcement: Asynchronous Randomness and Consensus without Trusted Setup. PODC (2022)
Luciano Freitas de Souza, Andrei Tonkikh, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Adda-Akram Bendoukha, Petr Kuznetsov
Homomorphic Sortition - Secret Leader Election for Blockchain. CoRR (2022)
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
The consensus number of a cryptocurrency. Distributed Comput. 35 (1) (2022)
Martin Kunev, Petr Kuznetsov, Denis Sheynikhovich
Agreement in Spiking Neural Networks. J. Comput. Biol. 29 (4) (2022)
Luciano Freitas de Souza, Petr Kuznetsov, Andrei Tonkikh
Distributed Randomness from Approximate Agreement. CoRR (2022)
Luciano Freitas de Souza, Petr Kuznetsov, Andrei Tonkikh
Distributed Randomness from Approximate Agreement. DISC (2022)
João Paulo Bezerra, Petr Kuznetsov
Brief Announcement: How to Tame Multiple Spending in Decentralized Cryptocurrencies. PODC (2022)
João Paulo Bezerra, Petr Kuznetsov, Alice Koroleva
Relaxed Reliable Broadcast for Decentralized Trust. NETYS (2022)
Petr Kuznetsov, Andrei Tonkikh
Asynchronous reconfiguration with Byzantine failures. Distributed Comput. 35 (6) (2022)
Petr Kuznetsov, Yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh
CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts. CoRR (2022)
Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
Accountability and Reconfiguration: Self-Healing Lattice Agreement. OPODIS (2021)
Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
Accountability and Reconfiguration: Self-Healing Lattice Agreement. CoRR (2021)
Petr Kuznetsov, Andrei Tonkikh, Yan X. Zhang
Revisiting Optimal Resilience of Fast Byzantine Consensus. CoRR (2021)
Petr Kuznetsov, Yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh
Permissionless and Asynchronous Asset Transfer [Technical Report]. CoRR (2021)
Vitaly Aksenov, Daniil Bolotov, Petr Kuznetsov
Peformance Prediction for Coarse-Grained Locking: MCS Case. CoRR (2021)
Petr Kuznetsov, Andrei Tonkikh, Yan X. Zhang
Revisiting Optimal Resilience of Fast Byzantine Consensus. PODC (2021)
João Paulo Bezerra, Petr Kuznetsov, Alice Koroleva
Relaxed Reliable Broadcast for Decentralized Trust. CoRR (2021)
Petr Kuznetsov, Yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh
Permissionless and Asynchronous Asset Transfer. DISC (2021)
Petr Kuznetsov
Accountable Distributed Computing (Invited Talk). OPODIS (2021)
Vitaly Aksenov, Nikita Koval, Petr Kuznetsov
Memory-Optimality for Non-Blocking Containers. CoRR (2021)
Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
Brief Announcement: Accountability and Reconfiguration - Self-Healing Lattice Agreement. DISC (2021)
Luciano Freitas de Souza, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Petr Kuznetsov
RandSolomon: optimally resilient multi-party random number generation protocol. CoRR (2021)
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Di Shang, Srivatsan Ravi
Optimal Concurrency for List-Based Sets. PaCT (2021)
Luciano Freitas de Souza, Andrei Tonkikh, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Petr Kuznetsov
RandSolomon: Optimally Resilient Random Number Generator with Deterministic Termination. OPODIS (2021)
Vitaly Aksenov, Petr Kuznetsov
Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020. SIGACT News 51 (4) (2020)
Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh
Dynamic Byzantine Reliable Broadcast. OPODIS (2020)
Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Matteo Monti, Athanasios Xygkis, Matej Pavlovic, Petr Kuznetsov, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh
Online Payments by Merely Broadcasting Messages (Extended Version). CoRR (2020)
Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh, Athanasios Xygkis
Online Payments by Merely Broadcasting Messages. DSN (2020)
Petr Kuznetsov, Andrei Tonkikh
Asynchronous Reconfiguration with Byzantine Failures. DISC (2020)
Petr Kuznetsov, Thibault Rieutord
Affine Tasks for k-Test-and-Set. SSS (2020)
Petr Kuznetsov, Thibault Rieutord
On Decidability of 2-process Affine Models. CoRR (2020)
Petr Kuznetsov, Andrei Tonkikh
Asynchronous Reconfiguration with Byzantine Failures. CoRR (2020)
Petr Kuznetsov, Thibault Rieutord, Yuan He
An Asynchronous Computability Theorem for Fair Adversaries. CoRR (2020)
Petr Kuznetsov, Thibault Rieutord
Brief Announcement: On Decidability of 2-Process Affine Models. DISC (2020)
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord
Perfect failure detection with very few bits. Inf. Comput. 275 (2020)
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
Scalable Byzantine Reliable Broadcast. DISC (2019)
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
The Consensus Number of a Cryptocurrency. PODC (2019)
Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
Reconfigurable Lattice Agreement and Applications. CoRR (2019)
Petr Kuznetsov
SPTCC 2019 Review. SIGACT News 50 (4) (2019)
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
The Consensus Number of a Cryptocurrency (Extended Version). CoRR (2019)
Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
Reconfigurable Lattice Agreement and Applications. OPODIS (2019)
Vitaly Aksenov, Dan Alistarh, Petr Kuznetsov
Performance Prediction for Coarse-Grained Locking. CoRR (2019)
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
Scalable Byzantine Reliable Broadcast (Extended Version). CoRR (2019)
Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens
The weakest failure detector for eventual consistency. Distributed Comput. 32 (6) (2019)
Petr Kuznetsov, Thibault Rieutord, Yuan He
An Asynchronous Computability Theorem for Fair Adversaries. PODC (2018)
Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto
Parallel Combining: Benefits of Explicit Synchronization. OPODIS (2018)
Vitaly Aksenov, Dan Alistarh, Petr Kuznetsov
Brief Announcement: Performance Prediction for Coarse-Grained Locking. PODC (2018)
Petr Kuznetsov
The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017. SIGACT News 49 (1) (2018)
Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto
On Helping and Stacks. NETYS (2018)
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
Inherent limitations of hybrid transactional memory. Distributed Comput. 31 (3) (2018)
Petr Kuznetsov, Nayuta Yanagisawa
Task Computability in Unreliable Anonymous Networks. OPODIS (2018)
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi
AT2: Asynchronous Trustworthy Transfers. CoRR (2018)
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi
A Concurrency-Optimal Binary Search Tree. CoRR (2017)
Petr Kuznetsov, Sathya Peri
Non-interference and local correctness in transactional memory. Theor. Comput. Sci. 688 (2017)
Damien Imbs, Petr Kuznetsov, Thibault Rieutord
Progress-Space Tradeoffs in Single-Writer Memory Implementations. OPODIS (2017)
Petr Kuznetsov, Thibault Rieutord
Agreement Functions for Distributed Computing Models. CoRR (2017)
Damien Imbs, Petr Kuznetsov, Thibault Rieutord
Progress-Space Tradeoffs in Single-Writer Memory Implementations. CoRR (2017)
Petr Kuznetsov, Srivatsan Ravi
Grasping the gap between blocking and non-blocking transactional memories. J. Parallel Distributed Comput. 101 (2017)
Vitaly Aksenov, Petr Kuznetsov
Parallel Combining: Making Use of Free Cycles. CoRR (2017)
Petr Kuznetsov, Thibault Rieutord, Yuan He
Brief Announcement: Compact Topology of Shared-Memory Adversaries. DISC (2017)
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi
A Concurrency-Optimal Binary Search Tree. Euro-Par (2017)
Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani
On the uncontended complexity of anonymous agreement. Distributed Comput. 30 (6) (2017)
Petr Kuznetsov, Thibault Rieutord
Agreement Functions for Distributed Computing Models. NETYS (2017)
Vitaly Aksenov, Petr Kuznetsov
Flat Parallelization. CoRR (2017)
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
In the Search for Optimal Concurrency. SIROCCO (2016)
Eli Gafni, Yuan He, Petr Kuznetsov, Thibault Rieutord
Read-Write Memory and k-Set Consensus as an Affine Task. CoRR (2016)
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
In the Search of Optimal Concurrency. CoRR (2016)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Set-Consensus Collections are Decidable. CoRR (2016)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Set-Consensus Collections are Decidable. OPODIS (2016)
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord
Perfect Failure Detection with Very Few Bits. SSS (2016)
Liron Schiff, Stefan Schmid, Petr Kuznetsov
In-Band Synchronization for Distributed SDN Control Planes. Comput. Commun. Rev. 46 (1) (2016)
Eli Gafni, Yuan He, Petr Kuznetsov, Thibault Rieutord
Read-Write Memory and k-Set Consensus as an Affine Task. OPODIS (2016)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Wait-freedom with advice. Distributed Comput. 28 (1) (2015)
Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens
The Weakest Failure Detector for Eventual Consistency. PODC (2015)
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
Inherent Limitations of Hybrid Transactional Memory. DISC (2015)
Petr Kuznetsov, Srivatsan Ravi
Grasping the Gap Between Blocking and Non-Blocking Transactional Memories. DISC (2015)
Marco Canini, Petr Kuznetsov, Dan Levin, Stefan Schmid
A distributed and robust SDN control plane for transactional network updates. INFOCOM (2015)
Carole Delporte-Gallet, Hugues Fauconnier, Petr Kuznetsov, Eric Ruppert
On the Space Complexity of Set Agreement? PODC (2015)
Petr Kuznetsov, Srivatsan Ravi
Progressive Transactional Memory in Time and Space. CoRR (2015)
Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani
On the Uncontended Complexity of Anonymous Consensus. OPODIS (2015)
Carole Delporte-Gallet, Hugues Fauconnier, Petr Kuznetsov, Eric Ruppert
On the Space Complexity of Set Agreement. CoRR (2015)
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi, Di Shang
A Concurrency-Optimal List-Based Set. CoRR (2015)
Petr Kuznetsov, Srivatsan Ravi
Why Transactional Memory Should Not Be Obstruction-Free. CoRR (2015)
Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens
The Weakest Failure Detector for Eventual Consistency. CoRR (2015)
Petr Kuznetsov, Srivatsan Ravi
Progressive Transactional Memory in Time and Space. PaCT (2015)
Petr Kuznetsov, Srivatsan Ravi
On Partial Wait-Freedom in Transactional Memory. ICDCN (2015)
Eli Gafni, Petr Kuznetsov, Ciprian Manolescu
A generalized asynchronous computability theorem. PODC (2014)
Zohir Bouzid, Eli Gafni, Petr Kuznetsov
Strong Equivalence Relations for Iterated Models. OPODIS (2014)
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
Inherent Limitations of Hybrid Transactional Memory. CoRR (2014)
Petr Kuznetsov, Srivatsan Ravi
On Partial Wait-Freedom in Transactional Memory. CoRR (2014)

Petr Kuznetsov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Petr Kuznetsov