Theory and practice of Bloom-filter-like data structures, including counting quotient filters
A Just-in-Time Compiler for Verilog
CBN utilizes the emerging network and compute infrastructure of public clouds to create an auto-scale, software, world wide corporate WAN service
DDlog is a bottom-up, incremental, in-memory, typed Datalog engine.
A spreadsheet for a billion-row datasets.
An application transparent solution to eliminate NUMA effects on page-table walks
Using cache-coherent FPGAs to offload memory management tasks in various use cases: remote memory, live virtual machine migration, etc.
We explore the ability of a host to access the memory of another host without involving the remote processor.
Tools for indexing and searching terabytes of genomic and transcriptomic data.
VMware Research is actively participating in advancing blockchain technology to provide the most secure, reliable, and scalable blockchain platforms.
Weave makes it easy for developers to build complex cluster managers by harnessing the power of constraint solving technologies through SQL.
A cloud scale consistency platform
Stable and consistent membership for large-scale distributed systems
A statical method for sampling unstructured logs.
Yesquel is a scalable SQL storage system for Web applications. Now open source http://www.yesquel.com
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, collecting data from the major public clouds.
Designing performant, practical data center networks for cost and operational efficiency
Data center network stack that can provide predictable low latency
This projects studies "non-hyperscalar" networks, their features and pain points today.
A method to implement any concurrent data structure.
P4: Programmable data-planes
Random-Forest based ML model that offers faster training and inference times with smaller memory footprint.
Algorithms and data structures for real-time processing of streams that are too large to fit in RAM.