Petr Kuznetsov's Publications

Kuznetsov, Petr and Ravi, Srivatsan (2015). On Partial Wait-Freedom in Transactional Memory. Proceedings of the 2015 International Conference on Distributed Computing and Networking, ICDCN 2015, Goa, India, January 4-7, 2015, 10:1–10:9.

Gramoli, Vincent and Kuznetsov, Petr and Ravi, Srivatsan and Shang, Di (2015). A Concurrency-Optimal List-Based Set. CoRR

Kuznetsov, Petr and Ravi, Srivatsan (2015). Why Transactional Memory Should Not Be Obstruction-Free. CoRR

Marco Canini and Petr Kuznetsov and Dan Levin and Stefan Schmid (2015). A Distributed and Robust SDN Control Plane for Transactional Network Updates. Proc. 34th IEEE Conference on Computer Communications (INFOCOM)

Alistarh, Dan and Kopinsky, Justin and Kuznetsov, Petr and Ravi, Srivatsan and Shavit, Nir (2014). Inherent Limitations of Hybrid Transactional Memory. CoRR

Canini, Marco and De Cicco, Daniele and Kuznetsov, Petr and Levin, Dan and Schmid, Stefan and Vissicchio, Stefano (2014). STN: A Robust and Distributed SDN Control Plane. Proc. Open Networking Summit (ONS)

Canini, Marco and Kuznetsov, Petr and Levin, Dan and Schmid, Stefan (2013). Software Transactional Networking: Concurrent and Consistent Policy Composition. Proceedings ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN)

Attiya, Hagit and Hans, Sandeep and Kuznetsov, Petr and Ravi, Srivatsan (2013). Safety of Deferred Update in Transactional Memory. IEEE 33rd International Conference on Distributed Computing Systems, ICDCS 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, USA, 601–610.

Canini, Marco and Kuznetsov, Petr and Levin, Dan and Schmid, Stefan (2013). The Case for Reliable Software Transactional Networking. CoRR

Kuznetsov, Petr and Ravi, Srivatsan (2011). On the Cost of Concurrency in Transactional Memory. Proceedings of 15th International Conference On Principles Of Distributed Systems (OPODIS '11). Springer, 112–117.

Delporte-Gallet, Carole and Fauconnier, Hugues and Gafni, Eli and Kuznetsov, Petr (2011). On the Meaning of Solving a Task with a Failure Dectector. Proceedings of the 25th International Symposium on Distributed Computing (DISC '11). Springer, 145–146.

Post, Ansley and Navarro, Juan and Kuznetsov, Petr and Druschel, Peter (2011). Autonomous Storage Management for Personal Devices with PodBase. Proceedings of Usenix Annual Technical Conference (Usenix ATC '11). Usenix, 425–439.

Attie, Paul and Guerraoui, Rachid and Kuznetsov, Petr and Lynch, Nancy and Rajsbaum, Sergio (2011). The Impossibility of Boosting Distributed Service Resilience. Information and Computation. Elsevier, 927–950.

Guerraoui, Rachid and Freiling, Felix and Kuznetsov, Petr (2011). The Failure Detector Abstraction. ACM Computing Surveys (CSUR)

Attiya, Hagit and Hendler, Danny and Guerraoui, Rachid and Kuznetsov, Petr and Michael, Maged M. and Vechev, Martin (2011). Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated. Proceedings of Symposium on Principles of Programming Languages (POPL '11). ACM, 487–498.

Gafni, Eli and Kuznetsov, Petr (2011). Relating L-Resilience and Wait-Freedom via Hitting Sets. 12th International Conference on Distributed Computing and Networking (ICDCN '11). Springer, 191–202.

Gafni, Eli and Kuznetsov, Petr (2011). On Set Consensus Numbers. Distributed Computing. Springer, 149-163.

Kuznetsov, Petr and Ravi, Srivatsan (2011). On the Cost of Concurrency in Transactional Memory. (Technical Report)

Gafni, Eli and Kuznetsov, Petr (2010). Turning Adversaries into Friends: Simplified, Made Constructive, and Extended. Proceedings of 14th International Conference On Principles Of Distributed Systems (OPODIS '10). Springer, 380–394.

Gafni, Eli and Kuznetsov, Petr (2010). On L-Resilient Adversaries, Hitting Sets and Colorless Tasks. 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2010). ACM, 81–82.

Kuznetsov, Petr and Schmid, Stefan (2010). Towards Network Games with Social Preferences. Proceedings of the 17th International Colloquium on Structural Information and Communication Complexity (SIROCCO '10). Springer, 14–28.

Kuznetsov, Petr and Schmid, Stefan (2010). Towards Network Games with Social Preferences. (Technical Report)

Alistarh, Dan and Trédan, Gilles and Avramopoulos, Ioannis and Kuznetsov, Petr (2010). Routing Attacks as a Viable Threat: Can Software Systems Protect Themselves?. Sixth Workshop on Hot Topics in System Dependability (HotDep 2010, poster session), 1–3.

Gafni, Eli and Kuznetsov, Petr (2010). On L-Resilient Adversaries, Hitting Sets and Colorless Tasks. (Technical Report)

Rodrigues, Rodrigo and Kuznetsov, Petr (2009). BFTW³: Why? When? Where? Workshop on the Theory and Practice of Byzantine Fault Tolerance. ACM SIGACT News. ACM, 82–86.

Haeberlen, Andreas and Kuznetsov, Petr (2009). The Fault Detection Problem. Principles of Distributed Systems – Proceedings of the 13th International Conference On Principle Of Distributed Systems (OPODIS '09). Springer, 99–114.

Gafni, Eli and Kuznetsov, Petr (2009). On Set Consensus Numbers. (Technical Report)

Gafni, Eli and Kuznetsov, Petr (2009). On Set Consensus Numbers. Distributed Computing (Proceedings of the 23rd International Symposium on Distributed Computing (DISC 2009)). Springer, 35–47.

Guerraoui, Rachid and Herlihy, Maurice and Kuznetsov, Petr and Lynch, Nancy and Newport, Calvin (2009). On the Weakest Failure Detector Ever. Distributed Computing Journal (DC). Springer, 353–366.

Gafni, Eli and Kuznetsov, Petr (2009). The Weakest Failure Detector for Solving k-Set Agreement. 28th ACM SIGACT/SIGOPS Symposium on Principles of Distributed Computing (PODC 2009). ACM, 83–91.

Attiya, Hagit and Guerraoui, Rachid and Hendler, Danny and Kuznetsov, Petr (2009). The Complexity of Obstruction-Free Implementations. Journal of the ACM, 1–33.

Gafni, Eli and Kuznetsov, Petr (2009). The Weakest Failure Detector for Solving k-Set Agreement. (Forschungsbericht (Research report))

Singh, Atul and Fonseca, Pedro and Kuznetsov, Petr and Rodrigues, Rodrigo and Maniatis, Petros (2009). Zeno: Eventually Consistent Byzantine-Fault Tolerance. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09). USENIX Association, 169–184.

Kuznetsov, Petr (2009). Simple CHT: A New Derivation of the Weakest Failure Detector for Consensus. (Forschungsbericht (Research report))

Kuznetsov, Petr (2009). Determining the Weakest Failure Detectors for Distributed Computing Problems. BIRS Workshop 09w5114 (Lower Bounds for Distributed Computing)

Guerraoui, Rachid and Kouznetsov, Petr (2008). Failure Detectors as Type Boosters. Distributed Computing Journal (DC). Springer, 343–358.

Guerraoui, Rachid and Kouznetsov, Petr (2008). The Gap in Circumventing the Impossibility of Consensus. Journal of Computer and System Sciences (JCSS), 823–830.

Guerraoui, Rachid and Kapalka, Michal and Kouznetsov, Petr (2008). The Weakest Failure Detectors to Boost Obstruction-Freedom. Distributed Computing Journal (DC). Springer, 415–433.

Post, Ansley and Kuznetsov, Petr and Druschel, Peter (2008). PodBase: Transparent storage management for personal devices. Proceedings of the 7th international conference on Peer-to-peer systems (IPTPS '08). Usenix Association.

Singh, Atul and Fonseca, Pedro and Kuznetsov, Petr and Rodrigues, Rodrigo and Maniatis, Petros (2008). Defining Weakly Consistent Byzantine Fault Tolerant Services. 2nd Large-Scale Distributed Systems and Middleware Workshop (LADIS '08), 1–5.

Gafni, Eli and Kuznetsov, Petr (2007). N-Consensus is the Second Strongest Object for N+1 Processes. 11th International Conference On Principles Of DIstributed Systems (OPODIS 2007). Springer, 260–273.

Haeberlen, Andreas and Kouznetsov, Petr and Druschel, Peter (2007). PeerReview: Practical Accountability for Distributed Systems. 21st ACM Symposium on Operating Systems Principles (SOSP 2007), 175–188.

Guerraoui, Rachid and Herlihy, Maurice and Kouznetsov, Petr and Lynch, Nancy and Newport, Calvin (2007). On the Weakest Failure Detector Ever. Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC 07), 235–243.

Bhattacharjee, Bobby and Rodrigues, Rodrigo and Kouznetsov, Petr (2007). Secure Lookup without (Constrained) Flooding. Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS '07). Department of Informatics, University of Lisbon, 22–26.

Rodrigues, Rodrigo and Kouznetsov, Petr and Bhattarcharje, Bobby (2007). Large-Scale Byzantine Fault Tolerance: Safe but Not Always Live. Proceedings of Third Workshop on Hot Topics in System Dependability (HotDep '07). Usenix Association.

Guerraoui, Rachid and Herlihy, Maurice and Kouznetsov, Petr and Lynch, Nancy and Newport, Calvin (2007). On the Weakest Failure Detector Ever. (MPI-SWS Technical Report)

Haeberlen, Andreas and Kouznetsov, Petr and Druschel, Peter (2006). The Case for Byzantine Fault Detection. Second Workshop on Hot Topics in System Dependability (HotDep '06)

Guerraoui, Rachid and Kapalka, Michal and Kouznetsov, Petr (2006). The Weakest Failure Detectors to Boost Obstruction-Freedom. Proceedings of the 20th International Conference on Distributed Computing (DISC '06). Springer, 399–412.

Haeberlen, Andreas and Kouznetsov, Petr and Druschel, Peter (2006). The Case for Byzantine Fault Detection. (MPI-SWS Technical Report)

Attiya, Hagit and Guerraoui, Rachid and Hendler, Danny and Kouznetsov, Petr (2006). Synchronizing without Locks is Inherently Expensive. Proceedings of the 25th ACM Symposium on Principles of Distributed Computing (PODC 06), 300–307.