Naama Ben-David

Picture

I am a third-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. 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.

Contact Information

Office: 7503 Gates Hillman Center
Email: myfirstname at cmu.edu

News

Publications

Passing Messages While Sharing Memory
Marcos Aguilera, Naama Ben-David, Irina Calciu, Rachid Guerraoui, Erez Petrank, and Sam Toueg
To appear in
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
To appear in
IPDPS 2018
Analyzing Contention and Backoff in Asynchronous Shared Memory
Naama Ben-David and Guy Blelloch
slides
PODC 2017
Contention in Structured Concurreny: Provably Efficient Dynamic NonZero Indicators for Nested Parallelism
Umut Acar, Naama Ben-David and Mike Rainey
slides
PPOPP 2017
k-Abortable Objects: Progress Under High Contention
Naama Ben-David, David Yu Cheng Chan, Vassos Hadzilacos and Sam Toueg
slides
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