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
   http://www.cs.utah.edu/projects/flux/