VMware Academic Program
Active VMW Software Systems Projects
Approximate Membership Query Data Structures
Theory and practice of Bloom-filter-like data structures, including counting ...
An experimental operating system.
A Just-in-Time Compiler for Verilog
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 bottom-up, incremental, in-memory, typed Datalog engine.
Control which I/O request completions will fire interrupts, improving support...
Forest-based vectorized packet classification
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
Mitosis: Transparently Replicating Page Tables
An application transparent solution to eliminate NUMA effects on page-table w...
Project Pathway utilizes the network infrastructure of public clouds to creat...
Using cache-coherent FPGAs to offload memory management tasks in various use ...
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.
Dynamically (de)allocate dedicated hypervisor (side)cores for efficient, exit...
A key-value store for modern storage devices.
Verified Systems Software
Develop fast systems software with zero bugs
VMware Research is actively contributing to the research of Blockchain techno...
Graduated VMW Software Systems Projects
A cloud scale consistency platform
Fragmented Log-Structured Merge Trees
Stable and consistent membership for large-scale distributed systems
Stratified Log Sampling
A statical method for sampling unstructured logs.
Yesquel is a scalable SQL storage system for Web applications. Now open sourc...
Active Research Areas
Anomaly detection algorithms that intuitive, rigorous and scalable.
A right-optimized write-optimized file system
Blinder - Anonymous Committed Broadcast
Allows users to publish messages (e.g. transactions, telemetry, files, etc.) ...
Tools for analyzing algorithm performance in the real world
CloudCast is a world-wide and expandable measurements and analysis system, co...
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...
A reliable and predictable Ethernet network stack.
A method to implement any concurrent data structure.
P4: Programmable data-planes
Private Set Intersection
This allows distrustful parties, each has a set of items (e.g. IDs, phone num...
Resource-efficient decision tree-based ensemble classifiers with reduced memo...
Scalable and Precise Stream Processing
Algorithms and data structures for real-time processing of streams that are t...
Trustworthy Machine Learning
Building trustworthy machine learning systems.
Unified TEE Framework for Virtualized Environments
Looks at the challenge of creating a unified trusted execution environment fo...