People


Petr Kuznetsov

Institution office homepage group
 Institut Mines-Telecom None None Permanent members of the LINCS

Books And Theses

Safety and Deferred Update in Transactional Memory,
Hagit Attiya, Sandeep Hans, Petr Kuznetsov , Srivatsan Ravi,
Transactional Memory 2015

Articles

Online Payments by Merely Broadcasting Messages,
Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov , Matteo Monti, Matej Pavlovic, Yvonne Anne Pignolet, Dragos Adrian Seredinschi, Andrei Tonkikh, Athanasios Xygkis,
DSN 2020
The Consensus Number of a Cryptocurrency,
Rachid Guerraoui, Petr Kuznetsov , Matteo Monti, Matej Pavlovic, Dragos Adrian Seredinschi,
PODC 2019, Toronto ON, Canada
Reconfigurable Lattice Agreement and Applications,
Petr Kuznetsov , Thibault Rieutord, Sara Tucci Piergiovanni,
OPODIS 2019
Scalable Byzantine Reliable Broadcast,
Rachid Guerraoui, Petr Kuznetsov , Matteo Monti, Matej Pavlovic, Dragos Adrian Seredinschi,
DISC 2019
Task Computability in Unreliable Anonymous Networks,
Petr Kuznetsov , Nayuta Yanagisawa,
OPODIS 2018, Hong Kong, China
Parallel Combining - Benefits of Explicit Synchronization,
Vitaly Aksenov, Petr Kuznetsov , Anatoly Shalyto,
OPODIS 2018, Hong Kong, China
On Helping and Stacks,
Vitaly Aksenov, Petr Kuznetsov , Anatoly Shalyto,
NETYS 2018, Essaouira, Morocco
Brief Announcement - Performance Prediction for Coarse-Grained Locking,
Vitaly Aksenov, Dan Alistarh, Petr Kuznetsov ,
PODC 2018, Egham, United Kingdom
Progress-Space Tradeoffs in Single-Writer Memory Implementations,
Damien Imbs, Petr Kuznetsov , Thibault Rieutord,
OPODIS 2017, Lisbon, Portugal
A Concurrency-Optimal Binary Search Tree,
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov , Anna Malova, Srivatsan Ravi,
Euro-Par 2017, Santiago de Compostella, Spain
Agreement Functions for Distributed Computing Models,
Petr Kuznetsov , Thibault Rieutord,
NETYS 2017
Brief Announcement - Compact Topology of Shared-Memory Adversaries,
Petr Kuznetsov , Thibault Rieutord, Yuan He,
DISC 2017
Perfect Failure Detection with Very Few Bits,
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov , Thibault Rieutord,
SSS 2016, Lyon, France
Set-Consensus Collections are Decidable,
Carole Delporte Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov ,
OPODIS 2016, MADRID, Spain
Complexité du consensus anonyme en l'absence de concurrence,
Claire Capdevielle, Colette Johnen, Petr Kuznetsov , Alessia Milani,
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2016, Bayonne, France
Read-Write Memory and k-Set Consensus as an Affine Task,
Eli Gafni, Yuan He, Petr Kuznetsov , Thibault Rieutord,
OPODIS 2016
In the Search for Optimal Concurrency,
Vincent Gramoli, Petr Kuznetsov , Srivatsan Ravi,
SIROCCO 2016
Progressive Transactional Memory in Time and Space,
Petr Kuznetsov , Srivatsan Ravi,
PaCT 2015, Petrozavodsk, Russian Federation
On the Uncontended Complexity of Anonymous Consensus,
Claire Capdevielle, Colette Johnen, Petr Kuznetsov , Alessia Milani,
OPODIS 2015, Rennes, France
Brief Announcement: On the Uncontended Complexity of Anonymous Consensus,
Claire Capdevielle, Colette Johnen, Petr Kuznetsov , Alessia Milani,
DISC 2015 2015, Tokyo, Japan
Brief Announcement: A Concurrency-Optimal List-Based Set,
Vincent Gramoli, Petr Kuznetsov , Srivatsan Ravi, Di Shang,
DISC 2015 2015, Tokyo, Japan
On Partial Wait-Freedom in Transactional Memory,
Petr Kuznetsov , Srivatsan Ravi,
ICDCN 2015
A distributed and robust SDN control plane for transactional network updates,
Marco Canini, Petr Kuznetsov , Dan Levin, Stefan Schmid,
INFOCOM 2015
On the Space Complexity of Set Agreement?,
Carole Delporte Gallet, Hugues Fauconnier, Petr Kuznetsov , Eric Ruppert,
PODC 2015
Strong Equivalence Relations for Iterated Models,
Zohir Bouzid, Eli Gafni, Petr Kuznetsov ,
OPODIS 2014
A generalized asynchronous computability theorem,
Eli Gafni, Petr Kuznetsov , Ciprian Manolescu,
PODC 2014
Safety of Deferred Update in Transactional Memory,
Hagit Attiya, Sandeep Hans, Petr Kuznetsov , Srivatsan Ravi,
ICDCS 2013
Software transactional networking - concurrent and consistent policy composition,
Marco Canini, Petr Kuznetsov , Dan Levin, Stefan Schmid,
HotSDN 2013
Brief announcement - From sequential to concurrent - correctness and relative efficiency,
Vincent Gramoli, Petr Kuznetsov , Srivatsan Ravi,
PODC 2012
On the cost of composing shared-memory algorithms,
Dan Alistarh, Rachid Guerraoui, Petr Kuznetsov , Giuliano Losa,
SPAA 2012
Relating L\mathcal{L}-Resilience and Wait-Freedom via Hitting Sets,
Eli Gafni, Petr Kuznetsov ,
ICDCN 2011
On the Cost of Concurrency in Transactional Memory,
Petr Kuznetsov , Srivatsan Ravi,
OPODIS 2011
Laws of order - expensive synchronization in concurrent algorithms cannot be eliminated,
Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov , Maged Michael, Martin Vechev,
POPL 2011
Autonomous Storage Management for Personal Devices with PodBase,
Ansley Post, Juan Navarro, Petr Kuznetsov , Peter Druschel,
USENIX Annual Technical Conference 2011
Brief Announcement - On the Meaning of Solving a Task with a Failure Detector,
Carole Delporte Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov ,
DISC 2011
Turning Adversaries into Friends - Simplified, Made Constructive, and Extended,
Eli Gafni, Petr Kuznetsov ,
OPODIS 2010
Brief announcement - on L-resilience, hitting sets, and colorless tasks,
Eli Gafni, Petr Kuznetsov ,
PODC 2010
Towards Network Games with Social Preferences,
Petr Kuznetsov , Stefan Schmid,
SIROCCO 2010
Zeno - Eventually Consistent Byzantine-Fault Tolerance,
Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis,
NSDI 2009
The Fault Detection Problem,
Andreas Haeberlen, Petr Kuznetsov,
OPODIS 2009
The weakest failure detector for solving k-set agreement,
Eli Gafni, Petr Kuznetsov,
PODC 2009
PodBase - transparent storage management for personal devices,
Ansley Post, Petr Kuznetsov, Peter Druschel,
IPTPS 2008
N-Consensus is the Second Strongest Object for N+1 Processes,
Eli Gafni, Petr Kuznetsov,
OPODIS 2007

Journal articles

The weakest failure detector for eventual consistency,
Swan Dubois, Rachid Guerraoui, Petr Kuznetsov , Franck Petit, Pierre Sens,
Distributed Computing 2019
Inherent limitations of hybrid transactional memory,
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov , Srivatsan Ravi, Nir Shavit,
Distributed Computing 2018
The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017,
Petr Kuznetsov ,
SIGACT News 2018
Non-interference and local correctness in transactional memory,
Petr Kuznetsov , Sathya Peri,
Theor. Comput. Sci. 2017
On the uncontended complexity of anonymous agreement,
Claire Capdevielle, Colette Johnen, Petr Kuznetsov , Alessia Milani,
Distributed Computing 2017
Grasping the gap between blocking and non-blocking transactional memories,
Petr Kuznetsov , Srivatsan Ravi,
J. Parallel Distributed Comput. 2017, Tokyo, Japan
In-Band Synchronization for Distributed SDN Control Planes,
Liron Schiff, Stefan Schmid, Petr Kuznetsov ,
Computer Communication Review 2016
Wait-freedom with advice,
Carole Delporte Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov ,
Distributed Comput. 2015
Renaming and the weakest family of failure detectors,
Yehuda Afek, Petr Kuznetsov , Israel Nir,
Distributed Comput. 2012
The Weakest Failure Detectors to Solve Quittable Consensus and Nonblocking Atomic Commit,
Rachid Guerraoui, Vassos Hadzilacos, Petr Kuznetsov , Sam Toueg,
SIAM J. Comput. 2012
WTTM 2011 - the third workshop on the theory of transactional memory,
Petr Kuznetsov , Srivatsan Ravi,
SIGACT News 2012
The failure detector abstraction,
Felix Freiling, Rachid Guerraoui, Petr Kuznetsov ,
ACM Comput. Surv. 2011
On set consensus numbers,
Eli Gafni, Petr Kuznetsov ,
Distributed Comput. 2011
The impossibility of boosting distributed service resilience,
Paul Attie, Rachid Guerraoui, Petr Kuznetsov , Nancy Lynch, Sergio Rajsbaum,
Inf. Comput. 2011
On the weakest failure detector ever,
Rachid Guerraoui, Maurice Herlihy, Petr Kuznetsov, Nancy Lynch, Calvin Newport,
Distributed Comput. 2009
The complexity of obstruction-free implementations,
Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov,
J. ACM 2009
BFTW3 - why? when? where? workshop on the theory and practice of byzantine fault tolerance,
Petr Kuznetsov, Rodrigo Rodrigues,
SIGACT News 2009
The gap in circumventing the impossibility of consensus,
Rachid Guerraoui, Petr Kuznetsov,
J. Comput. Syst. Sci. 2008

Reports

An Asynchronous Computability Theorem for Fair Adversaries,
Petr Kuznetsov , Thibault Rieutord, Yuan He,
CoRR 2020
Online Payments by Merely Broadcasting Messages (Extended Version),
Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Matteo Monti, Athanasios Xygkis, Matej Pavlovic, Petr Kuznetsov , Yvonne Anne Pignolet, Dragos Adrian Seredinschi, Andrei Tonkikh,
CoRR 2020
Asynchronous Reconfiguration with Byzantine Failures,
Petr Kuznetsov , Andrei Tonkikh,
CoRR 2020
On Decidability of 2-process Affine Models,
Petr Kuznetsov , Thibault Rieutord,
CoRR 2020
Performance Prediction for Coarse-Grained Locking,
Vitaly Aksenov, Dan Alistarh, Petr Kuznetsov ,
CoRR 2019
The Consensus Number of a Cryptocurrency (Extended Version),
Rachid Guerraoui, Petr Kuznetsov , Matteo Monti, Matej Pavlovic, Dragos Adrian Seredinschi,
CoRR 2019
Scalable Byzantine Reliable Broadcast (Extended Version),
Rachid Guerraoui, Petr Kuznetsov , Matteo Monti, Matej Pavlovic, Dragos Adrian Seredinschi,
CoRR 2019
AT2 - Asynchronous Trustworthy Transfers,
Rachid Guerraoui, Petr Kuznetsov , Matteo Monti, Matej Pavlovic, Dragos Adrian Seredinschi,
CoRR 2018
Parallel Combining - Making Use of Free Cycles,
Vitaly Aksenov, Petr Kuznetsov ,
CoRR 2017
Flat Parallelization,
Vitaly Aksenov, Petr Kuznetsov ,
CoRR 2017
In the Search of Optimal Concurrency,
Vincent Gramoli, Petr Kuznetsov , Srivatsan Ravi,
CoRR 2016
A Concurrency-Optimal List-Based Set,
Vincent Gramoli, Petr Kuznetsov , Srivatsan Ravi, Di Shang,
CoRR 2015
Why Transactional Memory Should Not Be Obstruction-Free,
Petr Kuznetsov , Srivatsan Ravi,
CoRR 2015
Live Equals Fast in Iterated Models,
Zohir Bouzid, Eli Gafni, Petr Kuznetsov ,
CoRR 2014
A Distributed SDN Control Plane for Consistent Policy Updates,
Marco Canini, Petr Kuznetsov , Dan Levin, Stefan Schmid,
CoRR 2013
From Sequential to Concurrent - Correctness and Relative Efficiency,
Vincent Gramoli, Petr Kuznetsov , Srivatsan Ravi,
CoRR 2012
On Non-Interference of Transactions,
Petr Kuznetsov , Sathya Peri,
CoRR 2012
Impersonal Failure Detection,
Carole Delporte Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov ,
CoRR 2011
L-Resilient Adversaries and Hitting Sets,
Eli Gafni, Petr Kuznetsov ,
CoRR 2010

Editorship

Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings,
Taisuke Izumi, Petr Kuznetsov ,
['SSS', 'Lecture Notes in Computer Science'] 2018

Misc

Affine Tasks for k-Test-and-Set,
Petr Kuznetsov , Thibault Rieutord,
2018