Flux Research Group

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