| 2002 | Early stopping in aglobal data computation. | Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hlary, Michel Raynal |
| 2002 | Active disk paxos with infinitely many processes. | Gregory V. Chockler, Dahlia Malkhi |
| 2002 | Dynamic and self-stabilizing distributed matching. | Subhendu Chattopadhyay, Lisa Higham, Karen Seyffarth |
| 2002 | Exploiting precision vs. efficiency tradeoffs in symmetric replication environments. | Ugur etintemel, Peter J. Keleher, Yanif Ahmad |
| 2002 | Optmial plans for aggregation. | Andrei Z. Broder, Michael Mitzenmacher |
| 2002 | General perfectly periodic scheduling. | Zvika Brakerski, Aviv Nisgav, Boaz Patt-Shamir |
| 2002 | Establishing wireless conference calls under delay constraints. | Amotz Bar-Noy, Grzegorz Malewicz |
| 2002 | Evaluating the running time of a communication round over the internet. | Omar Bakr, Idit Keidar |
| 2002 | Fault-tolerant routing in peer-to-peer systems. | James Aspnes, Zo Diamadi, Gauri Shah |
| 2002 | Nonatomic mutual exclusion with local spinning. | James H. Anderson, Yong-Jik Kim |
| 2002 | Lexicographically optimal smoothing for broadband traffic multiplexing. | Stergios V. Anastasiadis, Peter J. Varman, Jeffrey Scott Vitter, Ke Yi |
| 2001 | Exploitng event stream interpretation in publish-subscribe systems. | Yuanyuan Zhao, Robert E. Strom |
| 2001 | Bandwidth constrained placement in a WAN. | Arun Venkataramani, Phoebe Weidmann, Michael Dahlin |
| 2001 | The LATEX legacy: 2.09 and all that. | Chris Rowley |
| 2001 | Sticks and stones: a coding scheme for parameterized verification. | Amir Pnueli |
| 2001 | A framework for semantic reasoning about Byzantine quorum systems. | Evelyn Tumlin Pierce, Lorenzo Alvisi |
| 2001 | A hierarchy of conditions for consensus solvability. | Achour Mostfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy |
| 2001 | Correction: practical implementations of non-blocking synchronization primitives. | Mark Moir |
| 2001 | Compressed bloom filters. | Michael Mitzenmacher |
| 2001 | Optimal scheduling for disconnected cooperation. | Grzegorz Malewicz, Alexander Russell, Alexander A. Shvartsman |
| 2001 | Implementing atomic objects in a dynamic environment. | Nancy A. Lynch |
| 2001 | Distributed MST for constant diameter graphs. | Zvi Lotker, Boaz Patt-Shamir, David Peleg |
| 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 | Randomized shared queues. | Hyunyoung Lee, Jennifer L. Welch |
| 2001 | The ABCD's of Paxos. | Butler W. Lampson |