VMware Research Group: We bring development to the VeRGe of research, and research to the VeRGe of production
Flexible Paxos: Quorum intersection revisited. https://arxiv.org/abs/1608.06696
"Replex: A Scalable, Highly Available Multi-Index Store"; https://www.usenix.org/conference/atc16/technical-sessions/presentation/tai
"Transactional Data Structure Libraries" by VRG intern Sasha Spiegelman wins the http://conf.researchr.org/home/pldi-2016 Distinguished Paper award.
I am a systems researcher with broad interests including concurrency, operating systems, virtualization, and architecture.
Interests: distributed systems, databases, compilers, concurrent programs, security, and high performance critical systems.
I am a researcher in the area of computer architecture and operating systems with interests in virtual memory, virtual machines and memory systems.
Fostering innovation through project management and process improvement.
I study operating systems with a focus on hardware-assisted virtualization.
A distributed systems practitioner and researcher, focused on Corfu's development and verification testing.