Systems Research Group – Redmond
Projects
Established:
Formal verification is a promising approach to eliminate bugs at compile time, before software ships. Unfortunately, verifying the correctness of system software traditionally requires heroic developer effort. In this project, we aim to enable accessible, faster, cheaper verification of rich properties…
Established:
Function as a Service (FaaS) is a software paradigm that is becoming increasingly popular. Multiple cloud providers offer FaaS as the interface to usage-driven, stateless (serverless) backend services. FaaS offers an intuitive, event-based interface for developing cloud-based applications. In contrast…
The Demikernel is a new library OS architecture for kernel-bypass I/O in datacenter servers. The Demikernel defines a new kernel-bypass I/O abstraction and uses library OSes to flexibly provide that abstraction across different kernel-bypass devices (e.g., DPDK, RDMA). This standardized,…
Project Prometheus is building faster, more efficient datacenter systems by co-designing distributed systems with new network primitives. Prometheus takes advantage of new programmable hardware to accelerate applications.