The Flux Research Group works in software systems. Our interests and work cover many areas, including both local and distributed operating systems, networking, componentbased systems, programming and nontraditional languages, compilers, information and resource security, and even a pinch of software engineering and formal methods. All of our publications and some presentations are available. Additionally, we try to produce and distribute usable versions of the developed software.

Website: http://www.cs.utah.edu/flux/