VMware Academic Program
Active VMW Software Systems Projects
Approximate Membership Query Data Structures
Theory and practice of quotient filters and other Bloom-filter-like structures
An experimental operating system.
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...
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
A spreadsheet for a billion-row datasets.
Hashtables for modern hardware based on new theoretical hashing results
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 utilizes the network infrastructure of public clouds to creat...
Designing for the rack scale to get simplicity, better performance, and lower...
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
Control which I/O request completions will fire interrupts, improving support...
Fragmented Log-Structured Merge Trees
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...
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...
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...
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.
P4: Programmable data-planes
Private Set Intersection
This allows distrustful parties, each has a set of items (e.g. IDs, phone num...
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...