| 1996 | Testing Concurrent Data Structures (Abstract). | John L. Bruno, Phillip B. Gibbons, Steven Phillips |
| 1996 | Randomized Adaptive Video on Demand (Abstract). | Christos Bouras, Vaggelis Kapoulas, Grammati E. Pantziou, Paul G. Spirakis |
| 1996 | Distributed Pseudo-Random Bit Generators - A New Way to Speed-Up Shared Coin Tossing. | Mihir Bellare, Juan A. Garay, Tal Rabin |
| 1996 | Crash Failures vs. Crash + Link Failures (Abstract). | Anindya Basu, Bernadette Charron-Bost, Sam Toueg |
| 1996 | Efficient Delta-Causal Broadcasting of Multimedia Applications (Abstract). | Roberto Baldoni, Ravi Prakash, Michel Raynal, Mukesh Singhal |
| 1996 | About State Recording in Asynchronous Computations (Abstract). | Roberto Baldoni, Jean-Michel Hlary, Michel Raynal |
| 1996 | Tight Bounds on the Cumulative Profit of Distributed Voters (Abstract). | Peter Auer, Pasquale Caianiello, Nicol Cesa-Bianchi |
| 1996 | Universal Operations: Unary versus Binary (Extended Abstract). | Hagit Attiya, Eyal Dagan |
| 1996 | Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). | Paul C. Attie, E. Allen Emerson |
| 1996 | Spreading Rumors Rapidly Despite and Adversary. | James Aspnes, William Hurwood |
| 1996 | Evaluating Quorum Systems Over the Internet (Abstract). | Yair Amir, Avishai Wool |
| 1996 | Using Events Structures for the Efficient Analysis of State Graphs (Abstract). | Dominique Ambroise, Brigitte Rozoy |
| 1996 | Trade-Offs in Implementing Optimal Message Logging Protocols. | Lorenzo Alvisi, Keith Marzullo |
| 1996 | The Power of Multi-objects (Extended Abstract). | Yehuda Afek, Michael Merritt, Gadi Taubenfeld |
| 1996 | On the Convergence Complexity of Optimistic Rate Based Flow Control Algorithms (Brief Announcement). | Yehuda Afek, Yishay Mansour, Zvi Ostfeld |
| 1995 | Reasoning about Meta Level Activities in Open Distributed Systems. | Nalini Venkatasubramanian, Carolyn L. Talcott |
| 1995 | Lock-Free Linked Lists Using Compare-and-Swap. | John D. Valois |
| 1995 | Issues in Distributed Control for ATM Networks. | Jonathan S. Turner |
| 1995 | Sub-linear Distributed Algorithms for Sparse Certificates and Biconnected Components (Extended Abstract). | Ramakrishna Thurimella |
| 1995 | Constraint-based Structuring of Distributed Protocols (Abstract). | Gurdip Singh |
| 1995 | Software Transactional Memory. | Nir Shavit, Dan Touitou |
| 1995 | Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). | Hans van der Schoot, Hasan Ural |
| 1995 | Compiling Knowledge-Based Programs (Abstract). | Aamod Sane, Roy H. Campbell |
| 1995 | Prediction Based Task Scheduling in Distributed Computing (Abstract). | Mehrdad Samadani, Erich L. Kaltofen |
| 1995 | A Framework for Protocol Composition in Horus. | Robbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, David A. Karr |