Flux Research Group
Utah: 5 main projects: 1) Fluke/Flask high-security kernel and OS. 2) Flick interface definition language compiler. 3) OSKit. 4) Java-based systems: operating systems, resource management, and active networks. 5) Khazana infrastructure for distributed shared state.