Projects

The Popcorn Linux project is exploring how to design operating systems for Instruction Set Architecture (ISA)-diverse multi/many-core architectures and how to automatically compile/synthesize/execute code on ISA-heterogeneous hardware.

The Low Level Reasoning Machine project is developing machines that can automatically reason about program properties, including security properties, at lower levels of abstraction.

The LibrettOS project is exploring the design of operating systems with enhanced isolation, high performance, out-of-the-box device driver reuse, and POSIX compatibility.

The Hyflow project is developing concurrency control abstractions, protocols, and mechanisms for multicore architectures, cluster systems, and geographically distributed systems, with high scalability, dependability, and programmability.

The HermiTux project is exploring how to run native Linux executables, with unmodified source code, as a unikernel operating system for better security properties and improved performance.

The SlimGuard project is exploring the design of secure, fast, and memory-efficient heap allocators.

The HydraVM project is developing techniques, mechanisms, and implementations for automated concurrency refactoring of legacy sequential programs on multicore platforms. HydraVM is a virtual machine implementation that refactors sequential programs with thread-level concurrency through code transformations at intermediate representation level and subsequent speculative execution.

The KairosVM project is developing real-time resource management techniques and implementations for virtualized environments, targeting multicore architectures. KairosVM is a KVM-based hypervisor that encapsulates resource management policies for ensuring temporal isolation of (guest) real-time OS and applications.

The ChronOS project is developing a real-time Linux kernel for multicore and distributed platforms. ChronOS Linux provides pluggable support for multicore and distributed real-time schedulers, programming interfaces for defining (Real-Time CORBA-like) scheduling segments and distributable threads, and an implementation of an array of multicore and distributed real-time schedulers.

The Resilire project is developing mechanisms and implementations for live virtual machine migration for transparent fault-management. The project's modified Xen hypervisor and Linux kernel, supports techniques for fast, application-transparent virtual machine migration, in both centralized and distributed system contexts.