Phil Kearns

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