2002 |
6 | EE | Patrick Tullmann,
Mike Hibler,
Jay Lepreau:
Janos: A Java-Oriented OS for Active Network Nodes.
DANCE 2002: 117- |
2000 |
5 | EE | Godmar Back,
Patrick Tullmann,
Leigh Stoller,
Wilson C. Hsieh,
Jay Lepreau:
Techniques for the Design of Java Operating Systems.
USENIX Annual Technical Conference, General Track 2000: 197-210 |
1999 |
4 | EE | Bryan Ford,
Mike Hibler,
Jay Lepreau,
Roland McGrath,
Patrick Tullmann:
Interface and Execution Models in the Fluke Kernel.
OSDI 1999: 101-115 |
1998 |
3 | EE | Patrick Tullmann,
Jay Lepreau:
Nested Java processes: OS structure for mobile code.
ACM SIGOPS European Workshop 1998: 111-117 |
1997 |
2 | | Patrick Tullmann,
Jeff Turner,
John McCorquodale,
Jay Lepreau,
Ajay Chitturi,
Godmar Back:
Formal Methods: A Practical Tool for OS Implementors.
Workshop on Hot Topics in Operating Systems 1997: 20-25 |
1996 |
1 | | Bryan Ford,
Mike Hibler,
Jay Lepreau,
Patrick Tullmann,
Godmar Back,
Stephen Clawson:
Microkernels Meet Recursive Virtual Machines.
OSDI 1996: 137-151 |