Journals

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

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

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

C. DelporteGallet, H. Fauconnier, E. Gafni, P. Kuznetsov.
WaitFreedom with Advice
Distributed Computing Journal (DC), 28(1): 319, 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): 13431379, 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): 411425, 2012.
Technical report [pdf]

E. Gafni and P. Kuznetsov.
On Set Consensus Numbers.
Distributed Computing Journal (DC), 24(34):149163, 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): 927950, 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 ObstructionFree 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):353366 (2009)
springer

R. Guerraoui and P. Kouznetsov.
Failure Detectors as Type Boosters
Distributed Computing Journal (DC) , 20(5):343358 (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):823830 (2008),
[pdf],
[doi]

R. Guerraoui, M. Kapalka, and P. Kouznetsov
The Weakest Failure Detectors to Boost ObstructionFreedom
In the Distributed Computing Journal , 20(6), 415433 (2008)
springer

C.
DelporteGallet ,
H. Fauconnier , R.
Guerraoui , and P.Kouznetsov
Mutual Exclusion in Asynchronous Systems with Failure
Detectors
Journal
of Parallel and Distributed Computing (JPDC), 65 (2005), 492505
[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 341374, November
2003. [pdf]
Book Chapters

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

Yuan He, Petr Kuznetsov, Thibault Rieutord.
BA: Compact Topology of SharedMemory Adversaries.
In DISC, Vienna, 2017.

Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi.
A ConcurrencyOptimal Binary Search Tree.
In EuroPar 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.
ReadWrite Memory and kSet Consensus as an Affine Task.
In OPODIS, Madrid, 6:16:17, 2016.
TR in arxiv: CoRR abs/1610.01423

Carole DelporteGallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov.
SetConsensus Collections are Decidable.
In OPODIS, Madrid, 7:17: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, 154169, 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 NonBlocking 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 ConcurrencyOptimal ListBased 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: 375384, SanSebastian, 2015
TR in arxiv CoRR
abs/1505.03469

C. DelporteGallet, H. Fauconnier, P. Kuznetsov, E. Ruppert.
On the Space Complexity of Set Agreement.
In PODC: 271280, SanSebastian, 2015
TR in arxiv CoRR abs/1505.02690

P. Kuznetsov, S. Ravi.
Progressive Transactional Memory in Time and Space.
In PaCT: 410425, 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 : 190198, Hongkong, 2015

P. Kuznetsov, S. Ravi.
On Partial WaitFreedom 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.
NonInterference 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. DelporteGallet, H. Fauconnier, E. Gafni, P. Kuznetsov.
WaitFreedom with Advice
In 31st ACM SIGACTSIGOPS 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 SIGACTSIGOPS 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 SharedMemory Algorithms
In 24th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2012), Pittsburg, 2012

C. DelporteGallet, 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 SIGACTSIGPLAN 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 LResilience and WaitFreedom 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 LResilient Adversaries, Hitting Sets and Colorless Tasks (BA)
In 29th ACM SIGACTSIGOPS 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 kSet Agreement
In 28th ACM SIGACTSIGOPS 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 LargeScale Distributed Systems and Middleware Workshop (LADIS'08),
74(5):823830 (2008)

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

Eli Gafni and Petr Kuznetsov.
NConsensus 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.
LargeScale 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 20071, MPISWS [pdf]

B. Bhattacharjee, R. Rodrigues, P. Kouznetsov
Secure Lookup without (Constrained) Flooding
Workshop on Recent Advances on IntrusionTolerant 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 20061, Max Planck Institute for Software Systems, July 2006.
[pdf]

R. Guerraoui, M. Kapalka, and
P. Kouznetsov.
The Weakest Failure Detectors to Boost ObstructionFreedom
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 ICEPFL 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.
DelporteGallet ,
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
DeltaReliability: 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 ICEPFL 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 nonblocking 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 GossipBased 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 WaitFreedom 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 NonInterference 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
LResilient 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 kSet Agreement
Technical report, TU Berlin, 200906, April 2009, [pdf]

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

R. Guerraoui
and P. Kouznetsov
Finally the Weakest Failure Detector for NonBlocking
Atomic Commit
Technical report ICEPFL ID:200378 [pdf]

R. Guerraoui
and P. Kouznetsov
The Weakest Failure Detector for NonBlocking Atomic
Commit
Technical report ICEPFL 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

