Flux Research Group / School of Computing

operating systems people

Eric Eide
Eric Eide
Faculty
Anton Burtsev
Anton Burtsev
Affiliated Faculty
John Regehr
John Regehr
Affiliated Faculty
Ryan Stutsman
Ryan Stutsman
Affiliated Faculty
Mike Hibler
Mike Hibler
Research staff
David Johnson
David Johnson
Research staff
Leigh Stoller
Leigh Stoller
Research staff
Kirk Webb
Kirk Webb
Research staff
Gary Wong
Gary Wong
Research staff
Junguk Cho
Junguk Cho
PhD student
Cai (Richard) Li
Cai (Richard) Li
PhD student
Pankaj Kumar
Pankaj Kumar
Masters student

operating systems projects

A3 A3

The A3 project applies virtualization, record-and-replay, introspection, repair, and other techniques to develop a customizable container for “advanced adaptive applications.” The A3 container provides its protected application with both innate and adaptive defenses against security threats.

Emulab Emulab

Emulab is a network testbed, giving researchers a wide range of environments in which to develop, debug, and evaluate their systems. The Emulab facility at the University of Utah has over 600 PCs, a hundred wireless devices, and dozens of switches. It is used by thousands of researchers at hundreds of institutions worldwide. The software that we built to run Emulab is open source, and is used as part of dozens of network testbeds across the globe.

kGPU kGPU

KGPU is a GPU computing framework for the Linux kernel. It allows Linux kernel to call CUDA programs running on GPUs directly. The motivation is to augment operating systems with GPUs so that not only userspace applications but also the operating system itself can benefit from GPU acceleration.

XCap XCap

We are creating XCap, a secure environment for least-authority execution of applications and system services. Unmodified, untrusted, off-the-shelf applications, running on untrusted operating systems, are isolated by a virtual machine manager. XCap brings the power of a capability-based security system to Xen, building on two principles: strong isolation and secure collaboration.

CloudLab CloudLab

Many of the ideas that drive modern cloud computing, such as server virtualization, network slicing, and robust distributed storage, arose from the research community. Despite this success, today’s clouds have become environments that are unsuitable for moving this research agenda forward—they have particular, unmalleable implementations of these ideas “baked in.” CloudLab will not be a cloud; it will be large-scale, distributed scientific infrastructure on top of which many different clouds can be built.

Deker: Decomposing Kernels for Verification Deker: Decomposing Kernels for Verification

Deker is a framework for decomposing and verifying commodity operating system kernels. Deker turns a de-facto standard commodity operating system kernel into a collection of strongly isolated subsystems suitable for verification.

recent operating systems publications (see all)