| 2001 | A framework for semantic reasoning about Byzantine quorum systems. Evelyn Tumlin Pierce, Lorenzo Alvisi |
| 2001 | A hierarchy of conditions for consensus solvability. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy |
| 2001 | A note on group mutual exclusion. Vassos Hadzilacos |
| 2001 | Adding networks. Panagiota Fatourou, Maurice Herlihy |
| 2001 | An efficient communication strategy for ad-hoc mobile networks. Ioannis Chatzigiannakis, Sotiris E. Nikoletseas, Paul G. Spirakis |
| 2001 | An improved lower bound for the time complexity of mutual exclusion. James H. Anderson, Yong-Jik Kim |
| 2001 | An optimally robust hybrid mix network. Markus Jakobsson, Ari Juels |
| 2001 | Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer |
| 2001 | Average probe complexity in quorum systems. Yehuda Hassin, David Peleg |
| 2001 | Bandwidth constrained placement in a WAN. Arun Venkataramani, Phoebe Weidmann, Michael Dahlin |
| 2001 | Competitive concurrent distributed queuing. Maurice Herlihy, Srikanta Tirthapura, Roger Wattenhofer |
| 2001 | Compressed bloom filters. Michael Mitzenmacher |
| 2001 | Computing almost shortest paths. Michael Elkin |
| 2001 | Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness. Simon St. James, Ulrich Ultes-Nitsche |
| 2001 | Correction: practical implementations of non-blocking synchronization primitives. Mark Moir |
| 2001 | Detecting distributed cycles of garbage in large-scale systems. Fabrice Le Fessant |
| 2001 | Distributed MST for constant diameter graphs. Zvi Lotker, Boaz Patt-Shamir, David Peleg |
| 2001 | Distributed multi-broadcast in unknown radio networks. Andrea E. F. Clementi, Angelo Monti, Riccardo Silvestri |
| 2001 | Dynamic input/output automata, a formal model for dynamic systems. Paul C. Attie, Nancy A. Lynch |
| 2001 | Exploitng event stream interpretation in publish-subscribe systems. Yuanyuan Zhao, Robert E. Strom |
| 2001 | Implementing atomic objects in a dynamic environment. Nancy A. Lynch |
| 2001 | Lamport on mutual exclusion: 27 years of planting seeds. James H. Anderson |
| 2001 | Leslie Lamport's properties and actions. Martín Abadi |
| 2001 | Lock-free reference counting. David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr. |
| 2001 | Nearly optimal perfectly-periodic schedules. Amotz Bar-Noy, Aviv Nisgav, Boaz Patt-Shamir |
| 2001 | On beyond registers: wait-free readable objects. Maurice Herlihy |
| 2001 | On scalable and efficient distributed failure detectors. Indranil Gupta, Tushar Deepak Chandra, Germán S. Goldszmidt |
| 2001 | On the generalized dining philosophers problem. Oltea Mihaela Herescu, Catuscia Palamidessi |
| 2001 | Optimal scheduling for disconnected cooperation. Grzegorz Malewicz, Alexander Russell, Alexander A. Shvartsman |
| 2001 | Practical multi-candidate election system. Olivier Baudron, Pierre-Alain Fouque, David Pointcheval, Jacques Stern, Guillaume Poupard |
| 2001 | Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, PODC 2001, Newport, Rhode Island, USA, August 26-29, 2001 Ajay D. Kshemkalyani, Nir Shavit |
| 2001 | Randomized shared queues. Hyunyoung Lee, Jennifer L. Welch |
| 2001 | Reliability and performance of hierarchical RAID with multiple controllers. Sung Hoon Baek, Bong Wan Kim, Eui Joung Joung, Chong-Won Park |
| 2001 | Replicated condition monitoring. Yongqiang Huang, Hector Garcia-Molina |
| 2001 | Restoration by path concatenation: fast recovery of MPLS paths. Anat Bremler-Barr, Yehuda Afek, Haim Kaplan, Edith Cohen, Michael Merritt |
| 2001 | Selective private function evaluation with applications to private statistics. Ran Canetti, Yuval Ishai, Ravi Kumar, Michael K. Reiter, Ronitt Rubinfeld, Rebecca N. Wright |
| 2001 | Sticks and stones: a coding scheme for parameterized verification. Amir Pnueli |
| 2001 | String realizers of posets with applications to distributed computing. Vijay K. Garg, Chakarat Skawratananond |
| 2001 | The ABCD's of Paxos. Butler W. Lampson |
| 2001 | The IceCube approach to the reconciliation of divergent replicas. Anne-Marie Kermarrec, Antony I. T. Rowstron, Marc Shapiro, Peter Druschel |
| 2001 | The LATEX legacy: 2.09 and all that. Chris Rowley |
| 2001 | The concurrency hierarchy, and algorithms for unbounded concurrency. Eli Gafni, Michael Merritt, Gadi Taubenfeld |
| 2001 | The do-all problem in broadcast networks. Bogdan S. Chlebus, Dariusz R. Kowalski, Andrzej Lingas |