Projects

Theory and practice of quotient filters and other Bloom-filter-like structures

Using techniques from physics, electrical engineering and networking, we are ...

CloudCast is a world-wide and expandable measurements and analysis system, co...

DCM makes it easy for developers to build complex cluster managers by harness...

DDlog is a programming language for incremental computation, for writing prog...

Digital cash should be better than physical cash. Better trust, better privac...

Reducing the costs of virtual memory through better data structures

Hashtables for modern hardware based on new theoretical hashing results

Automated reasoning tool for networked incidents

Designing rack-scale system software for data-intensive distributed workloads...

We explore the ability of a host to access the memory of another host without...

Tools for indexing and searching terabytes of genomic and transcriptomic data

Automated reliability testing for Kubernetes controllers

A key-value store for modern storage devices

Develop fast systems software with zero bugs

Verus is a tool for verifying the correctness of code written in Rust.

A right-optimized write-optimized file system

Allows users to publish messages (e.g. transactions, telemetry, files, etc.) ...

Looks at the challenge of making cryptography more configurable and changeable.

Building efficient and trustworthy machine learning systems.

Developing resource-efficient solutions (e.g., in terms of networking and com...

A reliable and predictable Ethernet network stack.

Identifying network abstractions that we get wrong in most networks.

A method to implement any concurrent data structure.

This allows distrustful parties, each has a set of items (e.g. IDs, phone num...

Leverage provenance graphing to identify and investigate adversarial behavior...

Data structures for real-time processing of huge streams

Looks at the challenge of creating a unified trusted execution environment fo...

Anomaly detection algorithms that intuitive, rigorous and scalable.

An experimental operating system.

Tools for analyzing algorithm performance in the real world

Improving developer productivity by integrating network data and control planes

A cloud scale consistency platform

Performant data center design for cost and operational efficiency.

Authenticate users and generate access tokens for them in a distributed manne...

Control which I/O request completions will fire interrupts, improving support...

A packet classification algorithm that supports both fast lookup and fast update

A spreadsheet for a billion-row datasets.

Eliminating nonuniform memory accesses of I/O devices

An application transparent solution to eliminate NUMA effects on page-table w...

P4: Programmable data-planes

Project Pathway utilizes the network infrastructure of public clouds to creat...

Using cache-coherent FPGAs to offload memory management tasks in various use ...

Stable and consistent membership for large-scale distributed systems

Resource-efficient decision tree-based ensemble classifiers with reduced memo...

Dynamically (de)allocate dedicated hypervisor (side)cores for efficient, exit...

A statical method for sampling unstructured logs.

VMware Research is actively contributing to the research of Blockchain techno...

Yesquel is a scalable SQL storage system for Web applications. Now open sourc...