My publications and some selected presentations. The title links to are to pages with the full abstract of the paper, and links to PDF, PostScript and/or HTML versions of the full paper.

Janos: A Java-oriented OS for Active Networks.

Patrick Tullmann, Mike Hibler, and Jay Lepreau
IEEE Journal on Selected Areas in Communications, special issue on Active Networks, March 2001.

An OS Interface for Active Routers.

Larry Peterson, Yitzchak Gottlieb (Princeton University), Mike Hibler, Patrick Tullmann, Jay Lepreau (University of Utah), Stephen Schwab, Hrishikesh Dandekar, Andrew Purtell (NAI Labs, Network Associates), John Hartman (University of Arizona)
IEEE Journal on Selected Areas in Communications, special issue on Active Networks, March 2001.

Techniques for the Design of Java Operating Systems.

Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson Hsieh, and Jay Lepreau
Proceedings of the 2000 USENIX Annual Technical Conference June, 2000.

The Alta Operating System.

Patrick Tullmann
Master's Thesis. University of Utah. December, 1999.
Abstract. Full thesis available in postscript, compressed postscript, or HTML. My defense slides are also available.

Interface and Execution Models in the Fluke Kernel.

Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath, Patrick Tullmann
Proceedings of the 3rd Operating Systems Design and Implementation (OSDI `99) February, 1999.

Nested Java Processes: OS Structure for Mobile Code.

Patrick Tullmann, Jay Lepreau
Proceedings of the Eighth ACM SIGOPS European Workshop September, 1998.

Processes in a Java Virtual Machine.

Patrick Tullmann
Utah Java SIG meeting March 28, 1998.
A short presentation about adding "processes" to the Java Virtual Machine.

Formal Methods: A Practical Tool for OS Implementors.

Patrick Tullmann, Jeff Turner, John McCorquodale, Jay Lepreau, Ajay Chitturi, and Godmar Back
Proceedings of the 6th Workshop on Hot Topics in Operating Systems (HOTOS-VI). May, 1997.

User-level Checkpointing Through Exportable Kernel State.

Patrick Tullmann, Jay Lepreau, Bryan Ford, and Mike Hibler
Proceedings of the 5th International Workshop on Object-Orientation in Operating Systems (IWOOOS `96) October, 1996.
The slides from my presentation are available (Postscript).

Microkernels meet Recursive Virtual Machines.

Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson
Proceedings of the Second Symposium on Operating Systems Design and Implementation (OSDI `96) October, 1996.

Fluke IPC Formal Verification.

Patrick Tullmann, John McCorquodale, Ajay Chitturi, Godmar Back, and Jeff Turner
A class project (CS 611, Fall 1996) to formally verify the Fluke IPC code path.
The Project Report has information on our results, slides from two presentations of the project, and a lot of other information.