Microkernels Meet Recursive Virtual Machines. - Bryan Ford; Mike Hibler; Jay Lepreau; Patrick Tullmann; Godmar Back; Stephen Clawson (OSDI, 1996)

Formal Methods: A Practical Tool for OS Implementors. - Patrick Tullmann; Jeff Turner; John McCorquodale; Jay Lepreau; Ajay Chitturi; Godmar Back (Workshop on Hot Topics in Operating Systems, 1997)

Nested Java processes: OS structure for mobile code. - Patrick Tullmann; Jay Lepreau (ACM SIGOPS European Workshop, 1998)

Interface and Execution Models in the Fluke Kernel. - Bryan Ford; Mike Hibler; Jay Lepreau; Roland McGrath; Patrick Tullmann (OSDI, 1999)

Techniques for the Design of Java Operating Systems. - Godmar Back; Patrick Tullmann; Leigh Stoller; Wilson C. Hsieh; Jay Lepreau (USENIX ATC, General Track, 2000)

An OS interface for active routers. - Larry Peterson; Yitzchak Gottlieb; Mike Hibler; Patrick Tullmann; Jay Lepreau; Stephen Schwab; Hrishikesh Dandekar; Andrew Purtell; John Hartman (IEEE J. Sel. Areas Commun., 2001)

Janos: a Java-oriented OS for active network nodes. - Patrick Tullmann; Mike Hibler; Jay Lepreau (IEEE J. Sel. Areas Commun., 2001)