Naama Ben-David

Picture I am a third-year PhD student at Carnegie Mellon University.
I am very fortunate to be advised by Guy Blelloch.
I am generously supported by the NSERC PGSD scholarship.
Prior to coming to CMU, I completed my undergraduate degree at the University of Toronto.

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

Contact Information

Office: 7503 Gates Hillman Center
Email: myfirstname at

Research Interests

I am broadly interested in theoretical computer science. I've recently been working on parallel and concurrent data structures and algorithms.


Analyzing Contention and Backoff in Asynchronous Shared Memory (PODC 2017)
with Guy Blelloch

Contention in Structured Concurreny: Provably Efficient Dynamic NonZero Indicators for Nested Parallelism (PPOPP 2017)
with Umut Acar and Mike Rainey

k-Abortable Objects: Progress Under High Contention (DISC 2016)
with David Yu Cheng Chan, Vassos Hadzilacos and Sam Toueg

Parallel Algorithms for Asymmetric Read-Write Costs (SPAA 2016)
with Guy Blelloch, Jeremy Fineman, Phil Gibbons, Yan Gu, Charles McGuffey and Julian Shun

Sentence Segmentation of Aphasic Speech (NAACL 2015)
with Katie Fraser, Graeme Hirst, Naida Graham, and Elizabeth Rochon

MU-MMINT: An IDE for Model Uncertainty (ICSE 2015)
with Michalis Famelis, Alessio Di Sandro, Rick Salay, and Marsha Chechik