| 1996 | Fundamental Challenges in Mobile Computing. | Mahadev Satyanarayanan |
| 1996 | Early-Stopping Terminating Reliable Broadcast Protocol for General Omission Failures (Abstract). | Marcel-Catalin Rosu |
| 1996 | Impossibility of (Repeated) Reliable Broadcast (Abstract). | Aleta Ricciardi |
| 1996 | An Efficient Recovery-Based Spin Lock Protocol for Preemptive Shared Memory Multiprocessors. | Injong Rhee, Chi-Yung Lee |
| 1996 | From Serializable to Causal Transactions (Abstract). | Michel Raynal, Grard Thia-Kime, Mustaque Ahamad |
| 1996 | Real-Time Object Sharing with Minimal System Support (Extended Abstract). | Srikanth Ramamurthy, Mark Moir, James H. Anderson |
| 1996 | Efficient Traffic Laws for Mobile Robots - Work in Progress (Avstract). | Sonne Preminger, Eli Upfal |
| 1996 | Synthesis of Distributed Control Systems (Abstract). | Evelyn Tumlin Pierce |
| 1996 | How to be an Efficient Snoop, or the Probe Complexity of Quorum Systems (Extended Abstract). | David Peleg, Avishai Wool |
| 1996 | A New Look at Membership Services (Extended Abstract). | Gil Neiger |
| 1996 | Characterization of Message Ordering Specifications and Protocols (Abstract). | Venkatesh V. Murty, Vijay K. Garg |
| 1996 | Fast, Long-Lived Renaming Improved and Simplified (Abstract). | Mark Moir, Juan A. Garay |
| 1996 | Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms. | Maged M. Michael, Michael L. Scott |
| 1996 | Wait-Free Solvability Via Combinatorial Topology (Abstract). | Marios Mavronicolas |
| 1996 | Counting Networks are Practically Linearizable. | Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou |
| 1996 | On the Borowsky-Gafni Simulation Algorithm (Abstract). | Nancy A. Lynch, Sergio Rajsbaum |
| 1996 | Randomness in Private Computations. | Eyal Kushilevitz, Yishay Mansour |
| 1996 | An Optimal Algorithm for Generalized Causal Message Ordering (Abstract). | Ajay D. Kshemkalyani, Mukesh Singhal |
| 1996 | The Complexity of Data Mining on the Web (Abstract). | Evangelos Kranakis, Danny Krizanc, Andrzej Pelc, David Peleg |
| 1996 | What Critical Algebraic Property Allows Operations of Concurrent Abstract Data Types to be Fast? (Brief Announement). | Martha J. Kosa |
| 1996 | Automated Logical Verification Based on Trace Abstractions. | Nils Klarlund, Mogens Nielsen, Kim Sunesen |
| 1996 | Efficient Message Ordering in Dynamic Networks. | Idit Keidar, Danny Dolev |
| 1996 | Strong-Feasibilities of Equivalence-Completions. | Yuh-Jzer Joung |
| 1996 | Distributed Algorithms for Sparse k-Connectivity Certificates (Abstract). | Esther Jennings, Lenka Motyckova |
| 1996 | Crash Failures can Drive Protocols to Arbitrary States. | Mahesh Jayaram, George Varghese |