Phil Kearns

According to our database, Phil Kearns authored at least 36 papers between 1985 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

Debugging a Firewall Policy with Policy Mapping.

Robert M. Marmorstein, Phil Kearns

login Usenix Mag., 2007

Assisted Firewall Policy Repair Using Examples and History.

Robert M. Marmorstein, Phil Kearns

Proceedings of the 21th Large Installation System Administration Conference, 2007

2006

Communication analysis of distributed programs.

Sharon Simmons, Dennis Edwards, Phil Kearns

Sci. Program., 2006

Fast batched data transfer with flush channels: A performance analysis.

Tracy Camp, Phil Kearns

J. Parallel Distributed Comput., 2006

Firewall Analysis with Policy-based Host Classification.

Robert M. Marmorstein, Phil Kearns

Proceedings of the 20th Conference on Systems Administration (LISA 2006), 2006

2005

A Tool for Automated iptables Firewall Analysis.

Robert M. Marmorstein, Phil Kearns

Proceedings of the FREENIX Track: 2005 USENIX Annual Technical Conference, 2005

An Open Source Solution for Testing NAT'd and Nested iptables Firewalls.

Robert M. Marmorstein, Phil Kearns

Proceedings of the 19th Conference on Systems Administration (LISA 2005), 2005

Towards a Deep-Packet-Filter Toolkit for Securing Legacy Resources.

James Deverick, Phil Kearns

Proceedings of the 19th Conference on Systems Administration (LISA 2005), 2005

2004

Graphical Limits of Concurrency.

Dennis Edwards, Sharon Simmons, Phil Kearns

Neural Parallel Sci. Comput., 2004

Modular Construction of DTE Policies.

Serge E. Hallyn, Phil Kearns

Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference, June 27, 2004

2003

On-Line Rollback in Log-Structured File Systems.

Robert Matthews, Phil Kearns

Proceedings of the 16th International Conference on Computer Applications in Industry and Engineering, 2003

The Advantages of Real Time in TORA.

Jeffrey Dobbelaere, Phil Kearns, Jean Mayo

Proceedings of the 16th International Conference on Computer Applications in Industry and Engineering, 2003

2002

Valid Debugging for Distributed Shared Memory.

Natasha Jarymowycz, Phil Kearns

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

2001

Tools to Administer Domain and Type Enforcement.

Serge E. Hallyn, Phil Kearns

Proceedings of the 15th Conference on Systems Administration (LISA 2001), 2001

2000

Domain and Type Enforcement for Linux.

Serge E. Hallyn, Phil Kearns

Proceedings of the 4th Annual Linux Showcase & Conference 2000, 2000

1999

A secure unrestricted advanced systems laboratory.

Jean Mayo, Phil Kearns

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

Distributed Deadlock Detection and Resolution Based on Hardware Clocks.

Jean Mayo, Phil Kearns

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

1998

A secure networked laboratory for kernel programming.

Jean Mayo, Phil Kearns

Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1998

1995

Global predicates in rough real time.

Jean Mayo, Phil Kearns

Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

A Causal Assert Statement for Distributed Systems.

Sharon Simmons, Phil Kearns

Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

Efficient Distributed Termination Detection with Roughly Synchronized Clocks.

Jean Mayo, Phil Kearns

Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

A User Level Implementation of Flush Channels.

Anna Brunström, Phil Kearns

Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

1994

Distributed Termination Detection with Roughly Synchronized Clocks.

Jean Mayo, Phil Kearns

Inf. Process. Lett., 1994

DTVS: a distributed trace visualization system.

Dennis Edwards, Phil Kearns

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

1993

Proof Rules for Flush Channels.

Tracy Camp, Phil Kearns, Mohan Ahuja

IEEE Trans. Software Eng., 1993

Tracing the execution of distributed programs.

William S. Lloyd, Phil Kearns

J. Syst. Softw., 1993

Rollback Based on Vector Time.

S. L. Peterson, Phil Kearns

Proceedings of the 12th Symposium on Reliable Distributed Systems, 1993

1992

An Implementation of Flush Channels Based on a Verification Methodology.

Phil Kearns, Tracy Camp, Mohan Ahuja

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

1991

Using tracing to direct our reasoning about distributed programs.

William S. Lloyd, Phil Kearns

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1990

Time-based performance evaluation of protocols for distributed systems: an alternative to message counting.

Phil Kearns, Jeffery E. Payne

Proceedings of the 22th Winter Simulation Conference, 1990

Bounding Sequence Numbers in Distributed Systems: a General Approach.

William S. Lloyd, Phil Kearns

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989

Immediate ordered service in distributed systems.

Phil Kearns, B. Koodalattupuram

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988

A Correct and Unrestrictive Implementation of General Semaphores.

Phil Kearns

ACM SIGOPS Oper. Syst. Rev., 1988

1987

CCAL: An interpreted language for experimentation in concurrent control.

Phil Kearns, Chris Cipriani, Mitzi Freeman

Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987

1986

Efficient Distributed Snapshots.

Madalene Spezialetti, Phil Kearns

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1985

An optimistic implementation of the stack-heap.

Jean R. S. Blair, Phil Kearns, Mary Lou Soffa

J. Syst. Softw., 1985