| 1995 | 3-Processor Tasks Are Undecidable (Abstract). Eli Gafni, Elias Koutsoupias |
| 1995 | A Calculus for Concurrent Update (Abstract). Gordon V. Cormack |
| 1995 | A Case for NOW (Networks of Workstations) - Abstract. David A. Patterson, David E. Culler, Thomas E. Anderson |
| 1995 | A Framework for Protocol Composition in Horus. Robbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, David A. Karr |
| 1995 | A Logarithmic Depth Counting Network (Abstract). Costas Busch, Marios Mavronicolas |
| 1995 | A Modular Measure of Competitiveness for Distributed Algorithms (Abstract). James Aspnes, Orli Waarts |
| 1995 | A Sequencing Service for Group Communication (Abstract). Tim Kindberg |
| 1995 | A View-Based Approach to Relaxing Global Serializability in a Multidatabase System (Abstract). Evaggelia Pitoura, Aidong Zhang, Bharat K. Bhargava |
| 1995 | Achieving Independence Efficiently and Securely. Rosario Gennaro |
| 1995 | Active Client Primary-Backup Protocols (Abstract). Parvathi Chundi, Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi |
| 1995 | Algebraic Spans (Preliminary Version). Maurice Herlihy, Sergio Rajsbaum |
| 1995 | Architecture Decisions for Wide Area Applications (Abstract). Michael Ogg, Aleta Ricciardi |
| 1995 | Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration. Umesh Maheshwari, Barbara Liskov |
| 1995 | Compiling Knowledge-Based Programs (Abstract). Aamod Sane, Roy H. Campbell |
| 1995 | Complete Implementations for Shared Memory Consistency Conditions (Abstract). Jerry James, Ambuj K. Singh |
| 1995 | Constraint-based Structuring of Distributed Protocols (Abstract). Gurdip Singh |
| 1995 | Crumbling Walls: A Class of Practical and Efficient Quorum Systems (Extended Abstract). David Peleg, Avishai Wool |
| 1995 | Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures (Abstract). Lorenzo Alvisi, Keith Marzullo |
| 1995 | Distributed Dynamic Channel Allocation for Mobile Computing. Ravi Prakash, Niranjan G. Shivaratri, Mukesh Singhal |
| 1995 | Failure Detectors and the Wait-Free Hierarchy. Gil Neiger |
| 1995 | Fast Distributed Construction of k-Dominating Sets and Applications. Shay Kutten, David Peleg |
| 1995 | Faster Computation On Directed Networks of Automata (Extended Abstract). Rafail Ostrovsky, Daniel Shawcross Wilkerson |
| 1995 | Fault-Local Distributed Mending (Extended Abstract). Shay Kutten, David Peleg |
| 1995 | Formal Semantics for Expressing Optimism: The Meaning of HOPE. Crispin Cowan, Hanan Lutfiyya |
| 1995 | Formal Verification of Timed Properties for Randomized Distributed Algorithms. Anna Pogosyants, Roberto Segala |
| 1995 | Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). Hans van der Schoot, Hasan Ural |
| 1995 | Issues in Distributed Control for ATM Networks. Jonathan S. Turner |
| 1995 | Knowledge-Based Programs. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
| 1995 | Lazy-Writer Multivalued Registers (Abstract). Martha J. Kosa |
| 1995 | Load Balancing Networks (Abstract). Sarantos Kapidakis, Marios Mavronicolas |
| 1995 | Lock-Free Linked Lists Using Compare-and-Swap. John D. Valois |
| 1995 | Log-Space Polynomial End-to-End Communication (Abstract). Eyal Kushilevitz, Rafail Ostrovsky, Adi Rosén |
| 1995 | Long-Lived Renaming Made Fast. Harry Buhrman, Juan A. Garay, Jaap-Henk Hoepman, Mark Moir |
| 1995 | Lower Bounds for Convergence Function Based Clock Synchronization. Christof Fetzer, Flaviu Cristian |
| 1995 | Memory Requirement for Universal Routing Schemes. Pierre Fraigniaud, Cyril Gavoille |
| 1995 | More on t-Resilience vs. Wait-Freedom (Extended Abstract). Wai-Kau Lo |
| 1995 | On Distributed Object Checkpointing and Recovery. Manhoi Choy, Hong Va Leong, Man Hon Wong |
| 1995 | On the Relevance of Communication Costs of Rollback-Recovery Protocols. E. N. Elnozahy |
| 1995 | Optimal Distributed Algorithm for Minimum Spanning Trees Revisited. Michalis Faloutsos, Mart L. Molle |
| 1995 | Prediction Based Task Scheduling in Distributed Computing (Abstract). Mehrdad Samadani, Erich L. Kaltofen |
| 1995 | Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995 James H. Anderson |
| 1995 | Randomized Competitive Algorithms for Admission Control in General Networks (Abstract). Vaggelis Kapoulas, Paul G. Spirakis |
| 1995 | Reasoning about Meta Level Activities in Open Distributed Systems. Nalini Venkatasubramanian, Carolyn L. Talcott |
| 1995 | Scheduling in Client-Server Systems (Abstract). Shikharesh Majumdar, Tom Phillips |
| 1995 | Securing the Internet (Abstract). Pau-Chen Cheng, Juan A. Garay, Amir Herzberg, Hugo Krawczyk |
| 1995 | Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults (Abstract). Shlomi Dolev, Jennifer L. Welch |
| 1995 | Software Transactional Memory. Nir Shavit, Dan Touitou |
| 1995 | Sub-linear Distributed Algorithms for Sparse Certificates and Biconnected Components (Extended Abstract). Ramakrishna Thurimella |
| 1995 | SuperStabilizing Protocols for Dynamic Distributed Systems (Abstract). Shlomi Dolev, Ted Herman |
| 1995 | The RAPID C++ Environment (Abstract). M. Abayan, Ray Strong, Edward L. Wimmers |
| 1995 | Universal Constructions for Multi-Object Operations. James H. Anderson, Mark Moir |
| 1995 | Using Lock-Free Objects in Hard Real-Time Applications (Abstract). James H. Anderson, Srikanth Ramamurthy |