| 2000 | Toward a theory of maximally concurrent programs (shortened version). | Rajeev Joshi, Jayadev Misra |
| 2000 | Stable and fault-tolerant object allocation. | Gregory F. Johnson, Ambuj K. Singh |
| 2000 | Compact routing with stretch factor of less than three (brief announcement). | Kazuo Iwama, Akinori Kawachi |
| 2000 | How computer architecture trends may affect future distributed systems: from infiniBand clusters to inter-processor speculation (abstract). | Mark D. Hill |
| 2000 | Sparse communication networks and efficient routing in the plane (extended abstract). | Yehuda Hassin, David Peleg |
| 2000 | Indulgent algorithms (preliminary version). | Rachid Guerraoui |
| 2000 | Time and message-efficient S-based consensus (brief announcement). | Fabola Greve, Michel Hurfin, Raimundo A. Macdo, Michel Raynal |
| 2000 | The wakeup problem in synchronous broadcast systems (extended abstract). | Leszek Gasieniec, Andrzej Pelc, David Peleg |
| 2000 | X-ability: a theory of replication. | Svend Frlund, Rachid Guerraoui |
| 2000 | Assigning labels in unknown anonymous networks (extended abstract). | Pierre Fraigniaud, Andrzej Pelc, David Peleg, Stephane Perennes |
| 2000 | Interval routing schemes allow broadcasting with linear message-complexity (extended abstract). | Pierre Fraigniaud, Cyril Gavoille, Bernard Mans |
| 2000 | On the interconnection of causal memory systems. | Antonio Fernndez, Ernesto Jimnez, Vicent Cholvi |
| 2000 | Stability of long-lived consensus (extended abstract). | Shlomi Dolev, Sergio Rajsbaum |
| 2000 | Compact roundtrip routing in directed networks (extended abstract). | Lenore Cowen, Christopher G. Wagner |
| 2000 | Self-stabilization - beyond the token ring circulation (brief announcement). | Augusto Ciuffoletti |
| 2000 | Achieving scalability and expressiveness in an Internet-scale event notification service. | Antonio Carzaniga, David S. Rosenblum, Alexander L. Wolf |
| 2000 | Random oracles in constantipole: practical asynchronous Byzantine agreement using cryptography (extended abstract). | Christian Cachin, Klaus Kursawe, Victor Shoup |
| 2000 | Towards robust distributed systems (abstract). | Eric A. Brewer |
| 2000 | 1/k phase stamping for continuous shared data (extended abstract). | Sumeer Bhola, Mustaque Ahamad |
| 2000 | Clock synchronization with faults and recoveries (extended abstract). | Boaz Barak, Shai Halevi, Amir Herzberg, Dalit Naor |
| 2000 | Adaptive and efficient mutual exclusion (extended abstract). | Hagit Attiya, Vita Bortnikov |
| 2000 | Fast deterministic consensus in a noisy environment. | James Aspnes |
| 2000 | Resettable vector clocks. | Anish Arora, Sandeep S. Kulkarni, Murat Demirbas |
| 2000 | Efficient atomic broadcast using deterministic merge. | Marcos Kawazoe Aguilera, Robert E. Strom |
| 2000 | Long-lived and adaptive atomic snapshot and immediate snapshot (extended abstract). | Yehuda Afek, Gideon Stupp, Dan Touitou |