An optimistic implementation of the stack-heap. - Jean R. S. Blair; Phil Kearns; Mary Lou Soffa (J. Syst. Softw., 1985)

Efficient Distributed Snapshots. - Madalene Spezialetti; Phil Kearns (ICDCS, 1986)

CCAL: An interpreted language for experimentation in concurrent control. - Phil Kearns; Chris Cipriani; Mitzi Freeman (PLDI, 1987)

A Correct and Unrestrictive Implementation of General Semaphores. - Phil Kearns (ACM SIGOPS Oper. Syst. Rev., 1988)

Immediate ordered service in distributed systems. - Phil Kearns; B. Koodalattupuram (ICDCS, 1989)

Bounding Sequence Numbers in Distributed Systems: a General Approach. - William S. Lloyd; Phil Kearns (ICDCS, 1990)

Time-based performance evaluation of protocols for distributed systems: an alternative to message counting. - Phil Kearns; Jeffery E. Payne (WSC, 1990)

Using tracing to direct our reasoning about distributed programs. - William S. Lloyd; Phil Kearns (ICDCS, 1991)

An Implementation of Flush Channels Based on a Verification Methodology. - Phil Kearns; Tracy Camp; Mohan Ahuja (ICDCS, 1992)

Rollback Based on Vector Time. - S. L. Peterson; Phil Kearns (SRDS, 1993)

Tracing the execution of distributed programs. - William S. Lloyd; Phil Kearns (J. Syst. Softw., 1993)

Proof Rules for Flush Channels. - Tracy Camp; Phil Kearns; Mohan Ahuja (IEEE Trans. Software Eng., 1993)

DTVS: a distributed trace visualization system. - Dennis Edwards; Phil Kearns (SPDP, 1994)

Distributed Termination Detection with Roughly Synchronized Clocks. - Jean Mayo; Phil Kearns (Inf. Process. Lett., 1994)

A User Level Implementation of Flush Channels. - Anna Brunström; Phil Kearns (Parallel and Distributed Computing and Systems, 1995)

Efficient Distributed Termination Detection with Roughly Synchronized Clocks. - Jean Mayo; Phil Kearns (Parallel and Distributed Computing and Systems, 1995)

A Causal Assert Statement for Distributed Systems. - Sharon Simmons; Phil Kearns (Parallel and Distributed Computing and Systems, 1995)

Global predicates in rough real time. - Jean Mayo; Phil Kearns (SPDP, 1995)

A secure networked laboratory for kernel programming. - Jean Mayo; Phil Kearns (ITiCSE, 1998)

Distributed Deadlock Detection and Resolution Based on Hardware Clocks. - Jean Mayo; Phil Kearns (ICDCS, 1999)

A secure unrestricted advanced systems laboratory. - Jean Mayo; Phil Kearns (SIGCSE, 1999)

Domain and Type Enforcement for Linux. - Serge E. Hallyn; Phil Kearns (Annual Linux Showcase & Conference, 2000)

Tools to Administer Domain and Type Enforcement. - Serge E. Hallyn; Phil Kearns (LISA, 2001)

Valid Debugging for Distributed Shared Memory. - Natasha Jarymowycz; Phil Kearns (PDPTA, 2002)

The Advantages of Real Time in TORA. - Jeffrey Dobbelaere; Phil Kearns; Jean Mayo (CAINE, 2003)

On-Line Rollback in Log-Structured File Systems. - Robert Matthews; Phil Kearns (CAINE, 2003)

Modular Construction of DTE Policies. - Serge E. Hallyn; Phil Kearns (USENIX ATC, FREENIX Track, 2004)

Graphical Limits of Concurrency. - Dennis Edwards; Sharon Simmons; Phil Kearns (Neural Parallel Sci. Comput., 2004)

Towards a Deep-Packet-Filter Toolkit for Securing Legacy Resources. - James Deverick; Phil Kearns (LISA, 2005)

An Open Source Solution for Testing NAT'd and Nested iptables Firewalls. - Robert M. Marmorstein; Phil Kearns (LISA, 2005)

A Tool for Automated iptables Firewall Analysis. - Robert M. Marmorstein; Phil Kearns (USENIX ATC, FREENIX Track, 2005)

Firewall Analysis with Policy-based Host Classification. - Robert M. Marmorstein; Phil Kearns (LISA, 2006)

Fast batched data transfer with flush channels: A performance analysis. - Tracy Camp; Phil Kearns (J. Parallel Distributed Comput., 2006)

Communication analysis of distributed programs. - Sharon Simmons; Dennis Edwards; Phil Kearns (Sci. Program., 2006)

Assisted Firewall Policy Repair Using Examples and History. - Robert M. Marmorstein; Phil Kearns (LISA, 2007)

Debugging a Firewall Policy with Policy Mapping. - Robert M. Marmorstein; Phil Kearns (login Usenix Mag., 2007)