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