Naama Ben-David


I am a fifth-year PhD student in the Computer Science Department at Carnegie Mellon University.

My research focuses on building theoretical foundations for practical concurrent systems. I am most interested in understanding the factors that affect the performance of concurrent programs, and finding ways to rigorously analyze these costs. I also dabble in concurrent data structures and parallel/distributed algorithms.

I am very fortunate to be advised by Guy Blelloch, and am generously supported by the NSERC PGSD scholarship and the Mircosoft Research PhD Fellowship. Prior to coming to CMU, I completed my undergraduate degree at the University of Toronto.

In the summer of 2017, I had the pleasure of interning at the VMware Research Group, where I worked with Marcos Aguilera, Irina Calciu, Rachid Guerraoui, Sam Toueg, and Erez Petrank.

My CV can be found here.

Contact Information

Office: 6002 Gates Hillman Center
Email: myfirstname at



Unfair Scheduling Patterns in NUMA Architectures
Naama Ben-David, Ziv Scully, Guy Blelloch
PACT 2019
The Impact of RDMA on Agreement
Marcos Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra Marathe, Igor Zablotchi
PODC 2019
Multiversion Concurrency with Bounded Delay and Precise Garbage Collection
Naama Ben-David, Guy Blelloch, Yihan Sun, Yuanhao Wei
SPAA 2019
Delay-Free Concurrency on Faulty Persistent Memory
Naama Ben-David, Guy Blelloch, Michal Friedman, Yuanhao Wei
SPAA 2019
POSTER: Making Concurrent Algorithms Detectable
Naama Ben-David, Guy Blelloch, Michal Friedman, Yuanhao Wei
PPoPP 2019
PODC 2018 Review
Naama Ben-David
Passing Messages While Sharing Memory
Marcos Aguilera, Naama Ben-David, Irina Calciu, Rachid Guerraoui, Erez Petrank, and Sam Toueg
slides, video
PODC 2018
Implicit Decomposition for Write-Efficient Connectivity Algorithms
Naama Ben-David, Guy Blelloch, Jeremy Fineman, Phil Gibbons, Yan Gu, Charles McGuffey and Julian Shun
IPDPS 2018
Analyzing Contention and Backoff in Asynchronous Shared Memory
Naama Ben-David and Guy Blelloch
PODC 2017
Contention in Structured Concurreny: Provably Efficient Dynamic NonZero Indicators for Nested Parallelism
Umut Acar, Naama Ben-David and Mike Rainey
PPOPP 2017
k-Abortable Objects: Progress Under High Contention
Naama Ben-David, David Yu Cheng Chan, Vassos Hadzilacos and Sam Toueg
DISC 2016
Parallel Algorithms for Asymmetric Read-Write Costs
Naama Ben-David, Guy Blelloch, Jeremy Fineman, Phil Gibbons, Yan Gu, Charles McGuffey and Julian Shun
SPAA 2016
Sentence Segmentation of Aphasic Speech
Katie Fraser, Naama Ben-David, Graeme Hirst, Naida Graham, and Elizabeth Rochon
NAACL 2015
MU-MMINT: An IDE for Model Uncertainty
Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, and Marsha Chechik
ICSE 2015