os

Next-Generation Near-Data Processing Architectures

Address Space Dynamics

In Physics, we can use the laws of motion, or the Lagrange equation, to describe the trajectory of an object in a system. An object is described by a state vector–a list of orthogonal dimensions.

Low-Latency, In-Kernel AI

Operating systems (OS) provide the interface for programs to access privileged hardware and decide which programs can access system resources, when they can access them and for how long. Within the OS kernel, these decisions are made during scheduling, workload placement and mapping, resource accounting and various kinds of application and VM introspection.

Wasp: Pushing Serverless Computing to the Limit

Current serverless and micro-service architectures rely on existing system software to preserve compatibility and minimize development effort. However, they also inherit the latencies and overheads that existing systems carry with them.

Enabling Next-Generation AI Hearing Aids

Although the loss of audibility associated with age-related hearing loss is relatively easy to address via ap- propriate frequency-gain amplification used in today's hearing aids, difficulty hearing in noisy environments is not.

Coordinated Resource Management for Cloud-based Specialized Operating Systems

Containerization has recently gained significant interest among cloud providers and users due to its ease of deployment and lightweight virtualization capabilities. The key feature of these approaches is the sharing of a single Linux OS instance among each active container environment.

The Interweaving Project

Nautilus Aerokernel

Nautilus is a custom, lightweight operating system kernel designed for being fused with high-performance, parallel runtime systems. See more here.

Hybrid Runtimes for Compiled Dataflows

We observe that the OS and database communities face a similar challenge: how do we optimize systems to exploit the characteristics of specialized hardware without sacrificing the flexibility of general-purpose designs?

CS 562: Virtual Machines

Past Iterations: Fall ‘19 Fall ‘18 Fall ‘17