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.
-
Ray Spencer, Stephen Smalley, Peter Loscocco, Mike Hibler, Dave Andersen, Jay Lepreau.
The Flask Security Architecture: System Support for Diverse Security Policies.
To appear in Proceedings of the Eighth Usenix Security Symposium,
August 1999.
-
Bryan Ford, Mike Hibler, Roland McGrath, Patrick Tullmann, Jay Lepreau.
Interface and Execution Models in the Fluke Kernel.
In Proceedings of the Third Usenix/ACM/IEEE
Symposium on Operating Systems Design and Implementation,
February 1999.
-
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, 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.
