| 2005 | USENIX | A Tool for Automated iptables Firewall Analysis. | Robert M. Marmorstein, Phil Kearns |
| 2004 | USENIX | Modular Construction of DTE Policies. | Serge E. Hallyn, Phil Kearns |
| 2003 | CAINE | The Advantages of Real Time in TORA. | Jeffrey Dobbelaere, Phil Kearns, Jean Mayo |
| 2003 | CAINE | On-Line Rollback in Log-Structured File Systems. | Robert Matthews, Phil Kearns |
| 2002 | PDPTA | Valid Debugging for Distributed Shared Memory. | Natasha Jarymowycz, Phil Kearns |
| 1999 | ICDCS | Distributed Deadlock Detection and Resolution Based on Hardware Clocks. | Jean Mayo, Phil Kearns |
| 1999 | SIGCSE | A secure unrestricted advanced systems laboratory. | Jean Mayo, Phil Kearns |
| 1998 | ITiCSE | A secure networked laboratory for kernel programming. | Jean Mayo, Phil Kearns |
| 1993 | SRDS | Rollback Based on Vector Time. | S. L. Peterson, Phil Kearns |
| 1992 | ICDCS | An Implementation of Flush Channels Based on a Verification Methodology. | Phil Kearns, Tracy Camp, Mohan Ahuja |
| 1991 | ICDCS | Using tracing to direct our reasoning about distributed programs. | William S. Lloyd, Phil Kearns |
| 1990 | ICDCS | Bounding Sequence Numbers in Distributed Systems: a General Approach. | William S. Lloyd, Phil Kearns |
| 1990 | WSC | Time-based performance evaluation of protocols for distributed systems: an alternative to message counting. | Phil Kearns, Jeffery E. Payne |
| 1989 | ICDCS | Immediate ordered service in distributed systems. | Phil Kearns, B. Koodalattupuram |
| 1987 | PLDI | CCAL: An interpreted language for experimentation in concurrent control. | Phil Kearns, Chris Cipriani, Mitzi Freeman |
| 1986 | ICDCS | Efficient Distributed Snapshots. | Madalene Spezialetti, Phil Kearns |