Janos: A Java-Oriented OS for Active Network Nodes
Patrick Tullmann, Mike Hibler, and Jay Lepreau
In JSAC 19(3), March 2001 [ pdf :: bibtex ]

An OS Interface for Active Routers
Larry Peterson, Yitzchak Gottlieb, Mike Hibler, Patrick Tullmann, Jay Lepreau, Stephen Schwab, Hrishikesh Dandekar, Andrew Purtell, and John Hartman
In JSAC 19(3), March 2001 [ pdf :: bibtex ]

Interface and Execution Models in the Fluke Kernel
Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath, and Patrick Tullmann
In OSDI 1999 [ pdf :: bibtex ]

User-level Checkpointing Through Exportable Kernel State
Patrick Tullmann, Jay Lepreau, Bryan Ford, and Mike Hibler
In IWOOOS 1996 [ pdf :: bibtex ]

Microkernels Meet Recursive Virtual Machines
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, and Stephen Clawson
In OSDI 1996 [ pdf :: bibtex ]