Journals

  • D. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, N. Shavit.
    Inherent Limitations of Hybrid Transactional Memory.
    Distributed Computing Journal (DC), 2018.
    TR in arxiv: CoRR abs/1405.5689

  • Petr Kuznetsov:
    The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017.
    SIGACT News, 49(1): 81-90 (2018)

  • P. Kuznetsov and S. Ravi.
    Grasping the Gap between Blocking and Non-Blocking Transactional Memories.
    Journal of Parallel and Distributed Computing (JPDC, 1-16, 2017
    TR in arxiv: CoRR abs/1502.02725

  • Petr Kuznetsov, Sathya Peri:
    Non-interference and local correctness in transactional memory.
    Theor. Comput. Sci. 688: 103-116 (2017)

  • L. Schiff, S. Schmid, P. Kuznetsov.
    In-Band Synchronization for Distributed SDN Control Planes
    Computer Communication Review (CCR), January, 2016.
    CCR

  • C. Delporte-Gallet, H. Fauconnier, E. Gafni, P. Kuznetsov.
    Wait-Freedom with Advice
    Distributed Computing Journal (DC), 28(1): 3-19, 2015.
    Technical report [pdf]

  • R. Guerraoui, V. Hadzilacos, P. Kuznetsov, S. Toueg.
    The Weakest Failure Detectors to Solve Quittable Consensus and Nonblocking Atomic Commit.
    SIAM J. Comput. (SICOMP), 41(6): 1343-1379, 2012.
    Technical report [pdf]

  • Y. Afek, P. Kuznetsov, and I. Nir.
    Renaming and the Weakest Family of Failure Detectors.
    Distributed Computing Journal (DC), 25(6): 411-425, 2012.
    Technical report [pdf]

  • E. Gafni and P. Kuznetsov.
    On Set Consensus Numbers.
    Distributed Computing Journal (DC), 24(3-4):149-163, 2011
    Technical report [pdf]

  • P. Attie, R. Guerraoui, P. Kuznetsov, N. Lynch, and S. Rajsbaum.
    The Impossibility of Boosting Distributed Service Resilience.
    In Information and Computation, 209(6): 927-950, 2011.
    Technical report [pdf]

  • R. Guerraoui , F. Freiling , P. Kuznetsov.
    The Failure Detector Abstraction
    In ACM Computing Surveys, 43 (2), June 2011
    Technical report [pdf]

  • H. Attiya, R. Guerraoui, D. Hendler, and P. Kuznetsov.
    The Cost of Obstruction-Free Implementations
    Journal of the ACM, 56(4), June 2009
    ACM DL

  • R. Guerraoui, M. Herlihy, P. Kuznetsov, N. Lynch, and C. Newport
    On the Weakest Failure Detector Ever
    In Distributed Computing Journal (DC), 21(5):353-366 (2009)
    springer

  • R. Guerraoui and P. Kouznetsov.
    Failure Detectors as Type Boosters
    Distributed Computing Journal (DC) , 20(5):343-358 (2008).
    [pdf]

  • R. Guerraoui and P. Kuznetsov
    The Gap in Circumventing the Impossibility of Consensus
    In the Journal of Computer and System Sciences (JCSS),
    74(5):823-830 (2008), [pdf], [doi]

  • R. Guerraoui, M. Kapalka, and P. Kouznetsov
    The Weakest Failure Detectors to Boost Obstruction-Freedom
    In the Distributed Computing Journal , 20(6), 415-433 (2008)
    springer

  • C. Delporte-Gallet , H. Fauconnier , R. Guerraoui , and P.Kouznetsov
    Mutual Exclusion in Asynchronous Systems with Failure Detectors
    Journal of Parallel and Distributed Computing (JPDC), 65 (2005), 492--505
    [pdf]

  • P. Th. Eugster, R. Guerraoui, S. B. Handurukande, A.-M. Kermarrec and P. Kouznetsov
    Lightweight Probabilistic Broadcast
    ACM Transactions on Computer Systems, 21(4), pages 341-374, November 2003.
    [pdf]

Books and Book Chapters

  • R. Guerraoui and P. Kuznetsov.
    Algorithms for Concurrent Systems.
    EPFL Press, 2018.
    Amazon

  • Taisuke Izumi, Petr Kuznetsov:
    Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018
    Tokyo, Japan, November 4-7, 2018, Proceedings. Lecture Notes in Computer Science 11201, Springer 2018, ISBN 978-3-030-03231-9

  • H. Attiya, S. Hans, P. Kuznetsov, and S. Ravi.
    Safety and Deferred Update in Transactional Memory.
    In Transactional Memory. Foundations, Algorithms, Tools, and Applications, Rachid Guerraoui, Paolo Romano (Eds.), Springer, 2015

Refereed Conferences

  • Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto:
    On Helping and Stacks.
    In NETYS 2018: 107-121

  • Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto:
    Parallel Combining: Benefits of Explicit Synchronization.
    In OPODIS 2018: 11:1-11:16

  • Petr Kuznetsov, Nayuta Yanagisawa:
    Task Computability in Unreliable Anonymous Networks.
    In OPODIS 2018: 23:1-23:13

  • Petr Kuznetsov, Thibault Rieutord, Yuan He:
    An Asynchronous Computability Theorem for Fair Adversaries.
    In PODC 2018: 387-396

  • Vitaly Aksenov, Dan Alistarh, Petr Kuznetsov:
    Brief Announcement: Performance Prediction for Coarse-Grained Locking.
    In PODC 2018: 411-413

  • Yuan He, Petr Kuznetsov, Thibault Rieutord.
    BA: Compact Topology of Shared-Memory Adversaries.
    In DISC, Vienna, 2017.

  • Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi.
    A Concurrency-Optimal Binary Search Tree.
    In Euro-Par 2017 .
    TR in arxiv: CoRR abs/1702.04441

  • Petr Kuznetsov, Thibault Rieutord.
    Agreement Functions for Distributed Computing Models.
    In NETYS, Marrakech, 2017.
    TR in arxiv: CoRR abs/1702.00361

  • Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi.
    In the Search for Optimal Concurrency.
    In SIROCCO, Helsinki, 2016.
    TR in arxiv: CoRR abs/1603.01384

  • Eli Gafni, Yuan He, Petr Kuznetsov, Thibault Rieutord.
    Read-Write Memory and k-Set Consensus as an Affine Task.
    In OPODIS, Madrid, 6:1-6:17, 2016.
    TR in arxiv: CoRR abs/1610.01423

  • Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov.
    Set-Consensus Collections are Decidable.
    In OPODIS, Madrid, 7:1-7:15, 2016.
    TR in arxiv: CoRR abs/1607.05635

  • Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord.
    Perfect Failure Detection with Very Few Bits.
    In SSS, Lyon, 154-169, 2016.

  • C. Capdevielle,C. Johnen, P. Kuznetsov, and A. Milani.
    On the Uncontended Complexity of Anonymous Consensus.
    In OPODIS, Rennes, 2015
    TR in arxiv: CoRR abs/1502.01633

  • C. Capdevielle,C. Johnen, P. Kuznetsov, and A. Milani.
    On the Uncontended Complexity of Anonymous Consensus.
    In OPODIS, Rennes, 2015
    TR in arxiv: CoRR abs/1502.01633

  • P. Kuznetsov and S. Ravi.
    Grasping the Gap between Blocking and Non-Blocking Transactional Memories.
    In DISC, Tokyo, 2015
    TR in arxiv: CoRR abs/1502.02725

  • D. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, N. Shavit.
    Inherent Limitations of Hybrid Transactional Memory.
    In DISC, Tokyo, 2015
    TR in arxiv: CoRR abs/1405.5689

  • C. Capdevielle,C. Johnen, P. Kuznetsov, and A. Milani.
    BA: On the Uncontended Complexity of Anonymous Consensus.
    In DISC, Tokyo, 2015
    TR in arxiv: CoRR abs/1502.01633

  • V. Gramoli, P. Kuznetsov, S. Ravi, D. Shang.
    BA: A Concurrency-Optimal List-Based Set.
    In DISC, Tokyo, 2015
    TR in arxiv: CoRR abs/1502.01633

  • S. Dubois, R. Guerraoui, P. Kuznetsov, F. Petit, P. Sens.
    The Weakest Failure Detector for Eventual Consistency.
    In PODC: 375-384, San-Sebastian, 2015
    TR in arxiv CoRR abs/1505.03469

  • C. Delporte-Gallet, H. Fauconnier, P. Kuznetsov, E. Ruppert.
    On the Space Complexity of Set Agreement.
    In PODC: 271-280, San-Sebastian, 2015
    TR in arxiv CoRR abs/1505.02690

  • P. Kuznetsov, S. Ravi.
    Progressive Transactional Memory in Time and Space.
    In PaCT: 410-425, Petrozavodsk, 2015
    TR in arxiv CoRR abs/1502.04908

  • M. Canini, P. Kuznetsov, D. Levin, S. Schmid.
    Distributed and robust SDN control plane for transactional network updates.
    In INFOCOM : 190-198, Hongkong, 2015

  • P. Kuznetsov, S. Ravi.
    On Partial Wait-Freedom in Transactional Memory.
    In ICDCN 2015, Goa, 2015
    TR in arxiv CoRR abs/1407.6876

  • Z. Bouzid, E. Gafni, P. Kuznetsov.
    Strong Equivalence Relations for Iterated Models.
    In OPODIS 2014, Cortina d'Amezzo, 2014
    TR in arxiv CoRR abs/1402.2446 (2014)

  • E. Gafni, P. Kuznetsov, C. Manolescu.
    A Generalized Asynchronous Computability Theorem.
    In PODC 2014, Paris, 2014
    TR in arxiv CoRR abs/1304.1220 (2014)

  • P. Kuznetsov, S. Peri.
    Non-Interference and Local Correctness in Transactional Memory.
    In ICDCN 2014, Hyderabad, 2014
    TR in arxiv CoRR abs/1211.6315

  • P. Kuznetsov.
    Universal Model Simulation.
    In SSS 2013, Osaka, 2013
    [pdf]

  • M. Canini, P. Kuznetsov, D. Levin, S. Schmid.
    Software Transactional Networking: Concurrent and Consistent Policy Composition.
    In HotSDN 2013, ACM SIGCOMM, Hongkong, 2013
    [pdf]

  • H. Attiya, S. Hans, P. Kuznetsov, S. Ravi.
    Safety of Deferred Update in Transactional Memory.
    In ICDCS 2013, Philadelphia, 2013
    TR in arxiv CoRR abs/1301.6297

  • C. Delporte-Gallet, H. Fauconnier, E. Gafni, P. Kuznetsov.
    Wait-Freedom with Advice
    In 31st ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2012),Madeira, 2012
    Technical report version [pdf]

  • V. Gramoli, P. Kuznetsov, and S. Ravi
    BA: From Sequential to Concurrent: Correctness and Relative Efficiency
    In 31st ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2012),Madeira, 2012
    TR in arxiv: CoRR abs/1103.1302

  • D. Alistarh, R. Guerraoui, G. Losa, and P. Kuznetsov
    On the Cost of Composing Shared-Memory Algorithms
    In 24th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2012), Pittsburg, 2012

  • C. Delporte-Gallet, H. Fauconnier, E. Gafni, P. Kuznetsov.
    Brief Announcement: On the Meaning of Solving a Task with a Failure Detector
    In 25th International Conference on Distributed Computing (DISC 2011), Rome, 2011

  • P. Kuznetsov and S. Ravi
    On the Cost of Concurrency in Transactional Memory
    In 15th International Conference On Principles Of Distributed Systems (OPODIS 2011), Toulouse, 2011

  • H. Attiya, R. Guerraoui, D. Hendler, P. Kuznetsov, M. Michael, M. Vechev
    Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated
    In 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2011).
    preprint: [pdf]

  • Ansley Post, Juan Navarro, Petr Kuznetsov, Peter Druschel
    Autonomous Storage Management for Personal Devices with PodBase
    In USENIX Annual Technical Conference (USENIX ATC), 2011.

  • E. Gafni and P. Kuznetsov
    Relating L-Resilience and Wait-Freedom via Hitting Sets
    In 12th International Conference on Distributed Computing and Networking (ICDCN 2011).

  • E. Gafni and P. Kuznetsov
    Turning Adversaries into Friends: Simplified, Made Constructive, and Extended
    In 14th International Conference On Principles Of Distributed Systems (OPODIS 2010).

  • Dan Alistarh, Gilles Tredan, Ioannis Avramopoulos, Petr Kuznetsov
    Routing Attacks as a Viable Threat: Can Software Systems Protect Themselves?
    In 6th Workshop on Hot Topics in System Dependability (HotDep 2010) , September 2010.

  • E. Gafni and P. Kuznetsov
    On L-Resilient Adversaries, Hitting Sets and Colorless Tasks (BA)
    In 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2010).
    TR in arxiv: CoRR abs/1004.4701

  • P. Kuznetsov and S. Schmid.
    Towards Network Games with Social Preferences.
    In 17th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2010).
    TR in arxiv: [pdf]

  • A. Haeberlen and P. Kuznetsov.
    The Fault Detection Problem.
    In 13th International Conference On Principles Of DIstributed Systems (OPODIS 2009).
    TR: [pdf]

  • Eli Gafni and Petr Kuznetsov.
    On Set Consensus Numbers
    In 23rd International Symposium on Distributed Computing (DISC 2009).
    TR: [pdf]

  • Eli Gafni and Petr Kuznetsov.
    The Weakest Failure Detector for Solving k-Set Agreement
    In 28th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2009).
    TR: [pdf]

  • A. Singh, P. Fonseca, P. Kuznetsov, R. Rodrigues, and P. Maniatis
    Zeno: Eventually Consistent Byzantine Fault Tolerance
    In 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09)
    Technical report [pdf]

  • P. Kuznetsov, R. Rodrigues, A. Singh, P. Maniatis, and P. Fonseca.
    Defining Weakly Consistent Byzantine Fault Tolerant Services. (Invited paper)
    In 2nd Large-Scale Distributed Systems and Middleware Workshop (LADIS'08),
    74(5):823-830 (2008)

  • A. Post, P. Kuznetsov, and P. Druschel
    PodBase: Transparent storage management for personal devices
    IPTPS, 2008

  • Eli Gafni and Petr Kuznetsov.
    N-Consensus is the Second Strongest Object for N+1 Processes
    In 11th International Conference On Principles Of DIstributed Systems (OPODIS 2007).
    [pdf]

  • R. Rodrigues, P. Kouznetsov, B. Bhattacharjee.
    Large-Scale Byzantine Fault Tolerance: Safe but Not Always Live
    In the Third Workshop on Hot Topics in System Dependability (HotDep'07)
    [pdf]

  • A. Haeberlen, P. Kouznetsov, and P. Druschel.
    PeerReview: Practical Accountability for Distributed Systems
    In the 21st ACM Symposium on Operating Systems Principles (SOSP 2007), October 2007.
    [pdf]

  • R. Guerraoui, M. Herlihy, P. Kouznetsov, N. Lynch, and C. Newport
    On the Weakest Failure Detector Ever
    In Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC 07), Portland OR, July, 2007
    TR 2007-1, MPI-SWS [pdf]

  • B. Bhattacharjee, R. Rodrigues, P. Kouznetsov
    Secure Lookup without (Constrained) Flooding
    Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS) 2007
    [pdf]

  • A. Haeberlen, P. Kouznetsov, and P. Druschel.
    The Case for Byzantine Fault Detection
    Second Workshop on Hot Topics in System Dependability (HotDep '06)
    Technical report 2006-1, Max Planck Institute for Software Systems, July 2006. [pdf]

  • R. Guerraoui, M. Kapalka, and P. Kouznetsov.
    The Weakest Failure Detectors to Boost Obstruction-Freedom
    In Proceedings of the 20th International Conference on Distributed Computing (DISC), Stockholm, 2006
    [pdf]

  • H. Attiya , R. Guerraoui , D. Hendler , P. Kouznetsov.
    Synchronizing without Locks is Inherently Expensive.
    In Proceedings of the 25th ACM Symposium on Principles of Distributed Computing (PODC 06), Denver CO, July, 2006
    [pdf]

  • H. Attiya , R. Guerraoui , P. Kouznetsov.
    Computing with Reads and Writes in the Absence of Step Contention.
    In Proceedings of the 19th International Conference on Distributed Computing (DISC), Krakow, 2005
    Technical report IC-EPFL ID:2005006 [pdf]

  • P. Attie, R. Guerraoui, P. Kouznetsov, N. Lynch, and S. Rajsbaum.
    The Impossibility of Boosting Distributed Service Resilience.
    In Proceedings of the 25th IEEE International Conference on Distributed Computing Systems (ICDCS 2005) , Columbus, June 2005. [pdf]

  • C. Delporte-Gallet , H. Fauconnier , V. Hadzilacos , R. Guerraoui , P.Kouznetsov, and S. Toueg
    The Weakest Failure Detectors to Solve Certain Fundamental Problems in Distributed Computing
    In Proceedings of the 23rd ACM Symposium on Principles of Distributed Computing (PODC 04), St.John's, July, 2004
    [pdf]

  • P. Th. Eugster, R. Guerraoui, and P. Kouznetsov
    Delta-Reliability: A Probabilistic Measure of Broadcast Reliability
    In Proceedings of the 24th IEEE International Conference on Distributed Computing Systems (ICDCS 2004), Tokyo, March 2004. [pdf]

  • R. Guerraoui and P. Kouznetsov
    On Failure Detectors and Type Boosters
    In 17th International Conference on Distributed Computing (DISC), Sorrento, 2003
    Full version (technical report IC-EPFL ID:200348): [pdf]

  • R. Guerraoui, P. Kouznetsov and B. Pochon
    A Note on Set Agreement with Omission Failures
    Workshop on Geometric and Topological Methods in Concurrency and Distributed Systems Theory (GETCO 2002), Toulouse, October 2002
    [ps][pdf]

  • S. Blanc, R. Guerraoui, K. Hess, P. Kouznetsov, P. E. Parent, B. Pochon and O. Sauvageot
    Using the Topological Characterization of Synchronous Models
    Workshop on Geometric and Topological Methods in Concurrency and Distributed Systems Theory (GETCO 2002), Toulouse, October 2002
    [ps][pdf]

  • R. Guerraoui and P. Kouznetsov
    On the weakest failure detector for non-blocking atomic commit
    In International Conference on Theoretical Computer Science ( TCS 2002 ), 17th IFIP World Computer Congress, Montreal, August 2002
    Technical report [ps] [pdf]

  • R. Guerraoui, S. B. Handurukande, A.-M. Kermarrec and P. Kouznetsov
    Reducing Noise in Gossip-Based Reliable Broadcast
    In 20th Symposium on Reliable Distributed Systems (SRDS 2001), New Orleans, USA, October, 2001
    [ps][pdf]

  • P. Th. Eugster, R. Guerraoui, S. B. Handurukande, A.-M. Kermarrec and P. Kouznetsov
    Lightweight Probabilistic Broadcast
    In International Conference on Dependable Systems and Networks (DSN 2001), Gothenburg, Sweden, July 2001

Technical reports

  • Petr Kuznetsov, Srivatsan Ravi
    On Partial Wait-Freedom in Transactional Memory
    TR in arxiv: CoRR abs/1407.6876 (2014)

  • Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
    Inherent Limitations of Hybrid Transactional Memory
    TR in arxiv: CoRR abs/1405.5689 (2014)

  • Zohir Bouzid, Eli Gafni, and Petr Kuznetsov
    Strong Equivalence Relations for Iterated Models
    TR in arxiv: CoRR abs/1402.2446 (2014)

  • M. Canini, P. Kuznetsov, D. Levin, S. Schmid
    The Case for Reliable Software Transactional Networking
    TR in arxiv: CoRR abs/1305.7429 (2013)

  • E. Gafni, P. Kuznetsov, C. Manolescu
    A generalized asynchronous computability theorem
    TR in arxiv: CoRR abs/1304.1220 (2013)

  • P. Kuznetsov, S. Peri
    Locality and Non-Interference in Transactional Memory
    TR in arxiv: CoRR abs/1211.6315 (2012)

  • P. Kuznetsov and S. Ravi
    On the Cost of Concurrency in Transactional Memory
    TR in arxiv: CoRR abs/1103.1302

  • E. Gafni and P. Kuznetsov
    L-Resilient Adversaries and Hitting Sets
    TR in arxiv: CoRR abs/1004.4701

  • E. Gafni and P. Kuznetsov
    On Set Consensus Numbers
    Technical report, September 2009, [pdf]

  • E. Gafni and P. Kuznetsov
    The Weakest Failure Detector for Solving k-Set Agreement
    Technical report, TU Berlin, 2009-06, April 2009, [pdf]

  • P. Kuznetsov
    Simple CHT: A New Derivation of the Weakest Failure Detector for Consensus
    Technical report, TU Berlin, 2009-05, February 2009, [pdf]

  • R. Guerraoui and P. Kouznetsov
    Finally the Weakest Failure Detector for Non-Blocking Atomic Commit
    Technical report IC-EPFL ID:200378 [pdf]

  • R. Guerraoui and P. Kouznetsov
    The Weakest Failure Detector for Non-Blocking Atomic Commit
    Technical report IC-EPFL ID:200347 [ps] [pdf]

Thesis

  • P. Kouznetsov
    Synchronization using failure detectors.
    Ph. D. thesis, Computer Science, Ecole Polytechnique F\'ed\'erale de Lausanne (EPFL), July 2005. pdf

Not me neither