Research Associate Professor, School of Computing
B.S., University of Utah, 1983
Professor Lepreau's
research interests focus on
operating systems, but expand into many other areas
including security, networking, component software, programming and domain-specific
languages, compilers, distributed systems, and software assurance.
As head of the Flux Research Group,
he currently leads three DARPA and NSF-sponsored research projects.
The ``Alchemy'' project is developing a new model of component programming
for embedded and other low-level systems.
Utah's Active Networks effort is attempting
to develop a router OS that can safely
and speedily ``execute'' Java bytecode-carrying packets.
Finally, in a related effort his group is constructing a unique research instrument:
a remotely configurable 1000-node network testbed and emulation facility.
In these efforts, his group has developed much software,
including the ``Janos'' active network OS,
the ``Knit'' component composition language, the OSKit,
the Flick IDL compiler, the
Fluke/Flask OS, and the ``Alta'' and ``KaffeOS'' Java operating systems.
In 1994 he founded the prestigious Usenix/ACM/IEEE Symposium on Operating
Systems Design and Implementation (OSDI) conference series, and
served as its first program chair.
-
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide.
``Knit: Component Composition for Systems Software.''
In Proc. of the Fourth
Symposium on Operating Systems Design and Implementation, October 2000.
-
Godmar Back, Wilson Hsieh, Jay Lepreau.
``Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java.''
In Proc. of the Fourth
Symposium on Operating Systems Design and Implementation, October 2000.
-
Ray Spencer, Stephen Smalley, Peter Loscocco, Mike Hibler, Dave Andersen, Jay Lepreau.
``The Flask Security Architecture: System Support for Diverse Security Policies.''
In Proc. 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 Proc. of the Third
Symposium on Operating Systems Design and Implementation,
February 1999.
-
Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers.
``The Flux OSKit: A Substrate for OS and Language Research.''
In Proc. 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 Proc. of the ACM SIGPLAN 1997
Conference on Programming Language Design and Implementation, June 1997.