| 1994 | Memory-Efficient and Self-Stabilizing Network {RESET} (Extended Abstract). | Baruch Awerbuch, Rafail Ostrovsky |
| 1994 | Using k-Exclusion to Implement Resilient, Scalable Shared Objects (Extended Abstract). | James H. Anderson, Mark Moir |
| 1994 | Contention-free Complexity of Shared Memory Algorithms. | Rajeev Alur, Gadi Taubenfeld |
| 1994 | Competitiveness in Distributed Algorithms. | Mikls Ajtai, James Aspnes, Cynthia Dwork, Orli Waarts |
| 1994 | Coins, Weights and Contention in Balancing Networks. | William Aiello, Ramarathnam Venkatesan, Moti Yung |
| 1994 | Mixed Consistency: A Model for Parallel Programming (Extended Abstract). | Divyakant Agrawal, Manhoi Choy, Hong Va Leong, Ambuj K. Singh |
| 1994 | Adaptive Video on Demand. | Sudhanshu Aggarwal, Juan A. Garay, Amir Herzberg |
| 1994 | Delimiting the Power of Bounded Size Synchronization Objects (Extended Abstract). | Yehuda Afek, Gideon Stupp |
| 1994 | Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language. | Martin Adelantado, Frdric Boniol |
| 1994 | Open Systems in TLA. | Martn Abadi, Leslie Lamport |
| 1993 | Fast, Scalable Synchronization with Minimal Hardware Support (Extended Abstract). | Jae-Heon Yang, James H. Anderson |
| 1993 | Issues and Directions in Scalable Parallel Computing. | Marc Snir |
| 1993 | A Perspective on AN2: Local Area Network as Distributed System. | Susan S. Owicki |
| 1993 | Knowledge-Oriented Programming (Extended Abstract). | Yoram Moses, Orit Kislev |
| 1993 | A Lower Bound on Wait-Free Counting. | Shlomo Moran, Gadi Taubenfeld |
| 1993 | Recent Trends in Experimental Operating Systems Research. | Edward D. Lazowska |
| 1993 | An Omega(D log(N/D)) Lower Bound for Broadcast in Radio Networks. | Eyal Kushilevitz, Yishay Mansour |
| 1993 | Distributed Fingerprints and Secure Information Dispersal. | Hugo Krawczyk |
| 1993 | Resource Bounds and Combinations of Consensus Objects. | Jon M. Kleinberg, Sendhil Mullainathan |
| 1993 | Experiences with a Model for Parallel Computation. | Ben H. H. Juurlink, Harry A. G. Wijshoff |
| 1993 | On the Robustness of Herlihy's Hierarchy. | Prasad Jayanti |
| 1993 | Unifying Self-Stabilization and Fault-Tolerance (Preliminary Version). | Ajei S. Gopal, Kenneth J. Perry |
| 1993 | Implementing Hybrid Consistency with High-Level Synchronization Operations (Extenced Abstract). | Roy Friedman |
| 1993 | On the Space Complexity of Randomized Synchronization. | Faith E. Fich, Maurice Herlihy, Nir Shavit |
| 1993 | Bounded Round Numbers. | Cynthia Dwork, Maurice Herlihy, Orli Waarts |