Naama Ben David
Postdoctoral Researcher
Palo Alto, CA, US
My research interests lie at the intersection of theory and practice in distributed computing.
I strive to theoretically explain phenomena seen in modern concurrent machines, and to use this insight to design and analyze practical algorithms for concurrent settings.
Before joining VRG, I received my PhD at CMU, where I was advised by Guy Blelloch. My thesis received an honorable mention in CMU's SCS Dissertation Award.
You can see more about me and my research here.Program Committees
- AFT'22
- DISC'22
- EuroSys'22
- PPoPP'22
- DISC'21
- PACT'21
- ICDCS'21
- PPoPP'21
Projects
Publications
- Frugal Byzantine Computing
- FliT: A Library for Simple and Efficient Persistent Algorithms
- Constant-time snapshots with applications to concurrent data structures
- The Impact of RDMA on Agreement
- Passing Messages while Sharing Memory
- Microsecond Consensus for Microsecond Applications
- uBFT: Microsecond-scale BFT using Disaggregated Memory
- The FIDS Theorems: Tensions between Multinode and Multicore Performance in Transactional Systems