| 2000 | 1/k phase stamping for continuous shared data (extended abstract). Sumeer Bhola, Mustaque Ahamad |
| 2000 | A middleware overview: goals, research issues, and coded examples (abstract). Michael Ogg |
| 2000 | A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement). Oliver E. Theel |
| 2000 | Achieving scalability and expressiveness in an Internet-scale event notification service. Antonio Carzaniga, David S. Rosenblum, Alexander L. Wolf |
| 2000 | Adaptive and efficient mutual exclusion (extended abstract). Hagit Attiya, Vita Bortnikov |
| 2000 | Assigning labels in unknown anonymous networks (extended abstract). Pierre Fraigniaud, Andrzej Pelc, David Peleg, Stephane Perennes |
| 2000 | Average probe complexity of non-dominated coteries (brief announcement). Tiko Kameda, Feng Xiao, Malika Mahoui-Guerni |
| 2000 | Average-case analysis of greedy packet scheduling (extended astract). Zvi Lotker, Boaz Patt-Shamir |
| 2000 | Bounds on the shared memory requirements for long-lived adaptive objects (extended abstract). Yehuda Afek, Pazi Boxer, Dan Touitou |
| 2000 | Clock synchronization with faults and recoveries (extended abstract). Boaz Barak, Shai Halevi, Amir Herzberg, Dalit Naor |
| 2000 | Compact roundtrip routing in directed networks (extended abstract). Lenore Cowen, Christopher G. Wagner |
| 2000 | Compact routing with stretch factor of less than three (brief announcement). Kazuo Iwama, Akinori Kawachi |
| 2000 | Data communications vs. distributed computing (abstract). Craig Partridge |
| 2000 | Debugging distributed programs using controlled re-execution. Neeraj Mittal, Vijay K. Garg |
| 2000 | Deterministic distributed resource discovery (brief announcement). Shay Kutten, David Peleg |
| 2000 | Distributed algorithms in TLA (abstract). Leslie Lamport |
| 2000 | Distributed cooperation in the absence of communication (brief announcement). Grzegorz Malewicz, Alexander Russell, Alexander A. Shvartsman |
| 2000 | Distributed reconfigurtion of metamorphic robot chains. Jennifer E. Walter, Jennifer L. Welch, Nancy M. Amato |
| 2000 | Efficient atomic broadcast using deterministic merge. Marcos Kawazoe Aguilera, Robert E. Strom |
| 2000 | Efficient generation of all regular non-dominated coteries. Kazuhisa Makino, Tiko Kameda |
| 2000 | Fast deterministic consensus in a noisy environment. James Aspnes |
| 2000 | Fast protocol transition in a distributed environment (brief announcement). Xiaoming Liu, Robbert van Renesse |
| 2000 | Garbage collection of timestamped data in Stampede. Rishiyur S. Nikhil, Umakishore Ramachandran |
| 2000 | High performance adaptive middleware for CORBA-based systems. E-Kai Shen, Shikharesh Majumdar, Istabrak Abdul-Fatah |
| 2000 | How computer architecture trends may affect future distributed systems: from infiniBand clusters to inter-processor speculation (abstract). Mark D. Hill |
| 2000 | Indulgent algorithms (preliminary version). Rachid Guerraoui |
| 2000 | Interval routing schemes allow broadcasting with linear message-complexity (extended abstract). Pierre Fraigniaud, Cyril Gavoille, Bernard Mans |
| 2000 | Laziness pays! using lazy synchronization mechanisms to improve non-blocking constructions. Mark Moir |
| 2000 | Long-lived and adaptive atomic snapshot and immediate snapshot (extended abstract). Yehuda Afek, Gideon Stupp, Dan Touitou |
| 2000 | Memory consistency and process coordination for SPARC v8 multiprocessors (brief announcement). Jalal Kawash, Lisa Higham |
| 2000 | On the interconnection of causal memory systems. Antonio Fernández, Ernesto Jiménez, Vicent Cholvi |
| 2000 | Optimal implementation of the weakest failure detector for solving consensus (brief announcement). Mikel Larrea, Antonio Fernández, Sergio Arévalo |
| 2000 | Optimal smoothing schedules for real-time streams (extended abstract). Yishay Mansour, Boaz Patt-Shamir, Ofer Lapid |
| 2000 | Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA. Gil Neiger |
| 2000 | Random oracles in constantipole: practical asynchronous Byzantine agreement using cryptography (extended abstract). Christian Cachin, Klaus Kursawe, Victor Shoup |
| 2000 | Resettable vector clocks. Anish Arora, Sandeep S. Kulkarni, Murat Demirbas |
| 2000 | Self-stabilization - beyond the token ring circulation (brief announcement). Augusto Ciuffoletti |
| 2000 | Self-stabilizing token circulation on asynchronous uniform unidirectional rings. Laurent Rosaz |
| 2000 | Sparse communication networks and efficient routing in the plane (extended abstract). Yehuda Hassin, David Peleg |
| 2000 | Specification, implementation and application of randomized regular registers (brief announcement). Hyunyoung Lee, Jennifer L. Welch |
| 2000 | Stability of long-lived consensus (extended abstract). Shlomi Dolev, Sergio Rajsbaum |
| 2000 | Stable and fault-tolerant object allocation. Gregory F. Johnson, Ambuj K. Singh |
| 2000 | The wakeup problem in synchronous broadcast systems (extended abstract). Leszek Gasieniec, Andrzej Pelc, David Peleg |
| 2000 | Time and message-efficient S-based consensus (brief announcement). Fabíola Greve, Michel Hurfin, Raimundo A. Macêdo, Michel Raynal |
| 2000 | Toward a theory of maximally concurrent programs (shortened version). Rajeev Joshi, Jayadev Misra |
| 2000 | Towards robust distributed systems (abstract). Eric A. Brewer |
| 2000 | X-ability: a theory of replication. Svend Frølund, Rachid Guerraoui |
| 2000 | k-set agreement with limited accuracy failure detectors. Achour Mostéfaoui, Michel Raynal |
| 2000 | p Rainer Ruggaber, Jochen Seitz, Michael Knapp |