Projects

Active VMW Software Systems Projects

Approximate Membership Query Data Structures

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

Bespin (NRkernel)

An experimental operating system.

Clock Synchronization

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

Control Plane-Data Plane Integration

Improving developer productivity by integrating network data and control planes

Declarative Cluster Management

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

Differential Datalog (DDlog)

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

Digital Cash Infrastructure

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

Flvr

Automated reasoning tool for networked incidents

Forest-based vectorized packet classification

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

Hash-Based Virtual Memory

Reducing the costs of virtual memory through better data structures

Hillview

A spreadsheet for a billion-row datasets.

Iceberg Hashtables

Hashtables for modern hardware based on new theoretical hashing results

IOctopus

Eliminating nonuniform memory accesses of I/O devices

Mitosis: Transparently Replicating Page Tables

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

Near-Storage Compute Emulator

Project Pathway

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

Racklette

Designing for the rack scale to get simplicity, better performance, and lower...

Remote memory

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

Scalable Tools for Computational Biology

Tools for indexing and searching terabytes of genomic and transcriptomic data

Sidecore Manager

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

Sieve

Automated reliability testing for Kubernetes controllers

SplinterDB

A key-value store for modern storage devices

Verified Systems Software

Develop fast systems software with zero bugs

VMware Blockchain

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

Graduated VMW Software Systems Projects

Corfu

A cloud scale consistency platform

Empathic Interrupts

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

Fragmented Log-Structured Merge Trees

Project PBerry

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

Rapid

Stable and consistent membership for large-scale distributed systems

Resource-Efficient Classification

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

Stratified Log Sampling

A statical method for sampling unstructured logs.

Yesquel

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

Active Research Areas

Anomaly Detection

Anomaly detection algorithms that intuitive, rigorous and scalable.

BetrFS

A right-optimized write-optimized file system

Blinder - Anonymous Committed Broadcast

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

Cache-Adaptive Algorithms

Tools for analyzing algorithm performance in the real world

CloudCast

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

Cryptographic Agility

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

Deployable Datacenter Design

Performant data center design for cost and operational efficiency.

Distributed Password Based Token Generation

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

Efficient and Trustworthy Machine Learning

Building efficient and trustworthy machine learning systems.

Efficient Federated Learning

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

Gazelle

A reliable and predictable Ethernet network stack.

Netivus

Identifying network abstractions that we get wrong in most networks.

NR

A method to implement any concurrent data structure.

P4

P4: Programmable data-planes

Private Set Intersection

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

Provenance Graphing for Adversarial Modeling and Detection

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

Scalable and Precise Stream Processing

Data structures for real-time processing of huge streams

Unified TEE Framework for Virtualized Environments

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