VMware Academic Program
Active VMW Software Systems Projects
Approximate Membership Query Data Structures
Theory and practice of Bloom-filter-like data structures, including counting ...
A Just-in-Time Compiler for Verilog
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...
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 (previously Cloud Backbone Network (CBN))
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...
VMware Research is actively participating in advancing blockchain technology ...
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
Tools for analyzing algorithm performance in the real world
CloudCast is a world-wide and expandable measurements and analysis system, co...
Data center Network Topology Design
Designing performant, practical data center networks for cost and operational...
Networking for the 99%
This projects studies "non-hyperscalar" networks, their features and pain poi...
A method to implement any concurrent data structure.
P4: Programmable data-planes
Resource-efficient supervised anomaly detection framework that reduces memory...
Scalable and Precise Stream Processing
Algorithms and data structures for real-time processing of streams that are t...
Towards Predictable Low Latency Networks
Data center network stack that can provide predictable low latency