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
Cloud Backbone Network (CBN)
CBN utilizes the emerging network and compute infrastructure of public clouds...
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 Self-Replicating Page Tables
An application transparent solution to eliminate NUMA effects on page-table w...
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 ...
Weave makes it easy for developers to build complex cluster managers by harne...
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...
Gazelle: Towards Predictable Low Latency Networks
Data center network stack that can provide predictable low latency
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
Random-Forest based ML model that offers faster training and inference times ...
Scalable and Precise Stream Processing
Algorithms and data structures for real-time processing of streams that are t...