Portrait

Bernadette Charron-Bost

Research

I maintain a very incomplete and subjective collection of papers in my research areas that I have found very inspiring and which founded my understanding and my vision of these areas. The purpose is to give the reader a better idea of where my interests lie, and to provide a guide to reading material for those new to the subject.

Such a project comes with all the obvious disclaimers: The classification into subject areas is very rough, and the order of authors within them completely arbitrary. I have by no means attempted to select the most “important” papers of any one author, but the ones I have most benefited from reading. In the case of joint papers, no judgement is intended by linking only to one author’s website.

Fundamentals in distributed computing

  • Times, Clocks and Ordering of Events in Distributed Systems by L. Lamport
  • Distributed Snapshots: Determining Global States of Distributed Systems by K. Chandy and L. Lamport
  • Local and Global Properties in Networks of Processes by D. Angluin
  • How Processes Learn by K. chandy and J. Misra
  • Logical Time in Distributed Computing Systems by C. Fidge
  • Virtual Time and Global States of Distributed Systems by F. Mattern
  • Defining Liveness by B. Alpern and F. Schneider
  • What can be computed locally? by M. Naor and L. Stockmeyer
  • Computation in networks of passively mobile finite-state sensors by D. Angluin, J. Aspnes, Z. Diamadi, M. Fischer, and R. Peralta
  • The Computational Power of Population Protocols by D. Angluin, J. Aspnes, D. Eisenstat, and E. Ruppert

Distributed algorithms

Exact consensus

Fault tolerance

Asymptotic consensus

Natural algorithms and influence systems