Phil Kearns

Publication Activity (10 Years)

Years Active: 1985-2007
Publications (10 Years): 0

Publications

Robert M. Marmorstein, Phil Kearns
Debugging a Firewall Policy with Policy Mapping. login Usenix Mag. 32 (1) (2007)
Robert M. Marmorstein, Phil Kearns
Assisted Firewall Policy Repair Using Examples and History. LISA (2007)
Sharon Simmons, Dennis Edwards, Phil Kearns
Communication analysis of distributed programs. Sci. Program. 14 (2) (2006)
Tracy Camp, Phil Kearns
Fast batched data transfer with flush channels: A performance analysis. J. Parallel Distributed Comput. 66 (6) (2006)
Robert M. Marmorstein, Phil Kearns
Firewall Analysis with Policy-based Host Classification. LISA (2006)
Robert M. Marmorstein, Phil Kearns
A Tool for Automated iptables Firewall Analysis. USENIX Annual Technical Conference, FREENIX Track (2005)
James Deverick, Phil Kearns
Towards a Deep-Packet-Filter Toolkit for Securing Legacy Resources. LISA (2005)
Robert M. Marmorstein, Phil Kearns
An Open Source Solution for Testing NAT'd and Nested iptables Firewalls. LISA (2005)
Dennis Edwards, Sharon Simmons, Phil Kearns
Graphical Limits of Concurrency. Neural Parallel Sci. Comput. 12 (2) (2004)
Serge E. Hallyn, Phil Kearns
Modular Construction of DTE Policies. USENIX Annual Technical Conference, FREENIX Track (2004)
Jeffrey Dobbelaere, Phil Kearns, Jean Mayo
The Advantages of Real Time in TORA. CAINE (2003)
Robert Matthews, Phil Kearns
On-Line Rollback in Log-Structured File Systems. CAINE (2003)
Natasha Jarymowycz, Phil Kearns
Valid Debugging for Distributed Shared Memory. PDPTA (2002)
Serge E. Hallyn, Phil Kearns
Tools to Administer Domain and Type Enforcement. LISA (2001)
Serge E. Hallyn, Phil Kearns
Domain and Type Enforcement for Linux. Annual Linux Showcase & Conference (2000)
Jean Mayo, Phil Kearns
A secure unrestricted advanced systems laboratory. SIGCSE (1999)
Jean Mayo, Phil Kearns
Distributed Deadlock Detection and Resolution Based on Hardware Clocks. ICDCS (1999)
Jean Mayo, Phil Kearns
A secure networked laboratory for kernel programming. ITiCSE (1998)
Jean Mayo, Phil Kearns
Global predicates in rough real time. SPDP (1995)
Jean Mayo, Phil Kearns
Efficient Distributed Termination Detection with Roughly Synchronized Clocks. Parallel and Distributed Computing and Systems (1995)
Anna Brunström, Phil Kearns
A User Level Implementation of Flush Channels. Parallel and Distributed Computing and Systems (1995)
Sharon Simmons, Phil Kearns
A Causal Assert Statement for Distributed Systems. Parallel and Distributed Computing and Systems (1995)
Jean Mayo, Phil Kearns
Distributed Termination Detection with Roughly Synchronized Clocks. Inf. Process. Lett. 52 (2) (1994)
Dennis Edwards, Phil Kearns
DTVS: a distributed trace visualization system. SPDP (1994)
Tracy Camp, Phil Kearns, Mohan Ahuja
Proof Rules for Flush Channels. IEEE Trans. Software Eng. 19 (4) (1993)
William S. Lloyd, Phil Kearns
Tracing the execution of distributed programs. J. Syst. Softw. 21 (3) (1993)
S. L. Peterson, Phil Kearns
Rollback Based on Vector Time. SRDS (1993)
Phil Kearns, Tracy Camp, Mohan Ahuja
An Implementation of Flush Channels Based on a Verification Methodology. ICDCS (1992)
William S. Lloyd, Phil Kearns
Using tracing to direct our reasoning about distributed programs. ICDCS (1991)
Phil Kearns, Jeffery E. Payne
Time-based performance evaluation of protocols for distributed systems: an alternative to message counting. WSC (1990)
William S. Lloyd, Phil Kearns
Bounding Sequence Numbers in Distributed Systems: a General Approach. ICDCS (1990)
Phil Kearns, B. Koodalattupuram
Immediate ordered service in distributed systems. ICDCS (1989)
Phil Kearns
A Correct and Unrestrictive Implementation of General Semaphores. ACM SIGOPS Oper. Syst. Rev. 22 (4) (1988)
Phil Kearns, Chris Cipriani, Mitzi Freeman
CCAL: An interpreted language for experimentation in concurrent control. PLDI (1987)
Madalene Spezialetti, Phil Kearns
Efficient Distributed Snapshots. ICDCS (1986)
Jean R. S. Blair, Phil Kearns, Mary Lou Soffa
An optimistic implementation of the stack-heap. J. Syst. Softw. 5 (3) (1985)