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
|
|