Research Assistant Professor of Computer Science
B.S., University of Utah, 1983
Professor Lepreau has been leading OS research in the
Department of Computer Science since 1992 as the Assistant Director of
the Computer Systems Laboratory,
joining the faculty in 1997.
His research interests focus on
operating systems, expanding into many other areas related to
building secure, flexible, and high performance systems. These interests
include information security, networks, programming and domain-specific
languages, compilers, distributed systems, and software
assurance and engineering. He heads the Flux research group,
leading DARPA-sponsored research to develop a secure,
flexible, and high-performance operating system, with user-level
but strong management of arbitrary resources, such as memory, the
cpu, and the network. Professor Lepreau
also leads Utah's Active Networks effort, attempting
to develop a router OS that can safely
and speedily ``execute'' code-carrying packets.
In these efforts, his group has developed much software,
including the Flick IDL compiler, the OSKit, the
Fluke/Flask OS, the ``Alta'' Java virtual machine,
and the OMOS linker and object server.
In 1994 he founded the Usenix/ACM/IEEE Symposium on Operating
Systems Design and Implementation (OSDI) conference series, and
served as its first program chair.
-
Patrick Tullmann and Jay Lepreau.
Nested Java Processes: OS Structure for Mobile Code.
Presented at and appears in Proceedings of the Eighth
ACM SIGOPS European Workshop, September 1998.
-
Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, and Olin Shivers.
The Flux OSKit: A Substrate for OS and Language Research.
In Proceedings of the 16th ACM Symposium on Operating Systems
Principles, October 1997.
-
Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom.
Flick: A Flexible, Optimizing IDL Compiler.
In Proceedings of the ACM SIGPLAN 1997
Conference on Programming Language Design and Implementation, June 1997.
-
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson.
Microkernels Meet Recursive Virtual Machines.
In Proceedings of the Second Usenix/ACM/IEEE
Symposium on Operating Systems Design and Implementation, October 1996.
-
Patrick Tullmann, Jeff Turner, John McCorquodale,
Jay Lepreau, Ajay Chitturi, Godmar Back.
Formal Methods: A Practical Tool for OS Implementors.
In Proceedings of the Sixth IEEE Workshop on Hot Topics
in Operating Systems, May 1997.
