Naama Ben-David

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 49

Top Topics

Top Venues

Publications

Naama Ben-David, Guy E. Blelloch, Yuanhao Wei
Lock-Free Locks Revisited (Abstract). HOPC@SPAA (2024)
Naama Ben-David, Gal Sela, Adriana Szekeres
The FIDS Theorems: Tensions between Multinode and Multicore Performance in Transactional Systems (Abstract). HOPC@SPAA (2024)
Ittai Abraham, Naama Ben-David, Gilad Stern, Sravya Yandamuri
On the Round Complexity of Asynchronous Crusader Agreement. OPODIS (2023)
Naama Ben-David, Gal Sela, Adriana Szekeres
The FIDS Theorems: Tensions between Multinode and Multicore Performance in Transactional Systems. CoRR (2023)
Naama Ben-David
Lock-Free Locks. Bull. EATCS 139 (2023)
Ittai Abraham, Naama Ben-David, Gilad Stern, Sravya Yandamuri
On the Round Complexity of Asynchronous Crusader Agreement. IACR Cryptol. ePrint Arch. 2023 (2023)
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Antoine Murat, Athanasios Xygkis, Igor Zablotchi
uBFT: Microsecond-Scale BFT using Disaggregated Memory. ASPLOS (2) (2023)
Naama Ben-David, Gal Sela, Adriana Szekeres
The FIDS Theorems: Tensions Between Multinode and Multicore Performance in Transactional Systems. DISC (2023)
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Antoine Murat, Athanasios Xygkis, Igor Zablotchi
uBFT: Microsecond-scale BFT using Disaggregated Memory. CoRR (2022)
Naama Ben-David, Guy E. Blelloch, Yuanhao Wei
Lock-Free Locks Revisited. CoRR (2022)
Naama Ben-David, Guy E. Blelloch, Yuanhao Wei
Lock-free locks revisited. PPoPP (2022)
Naama Ben-David, Michal Friedman, Yuanhao Wei
Survey of Persistent Memory Correctness Conditions. CoRR (2022)
Yuanhao Wei, Naama Ben-David, Michal Friedman, Guy E. Blelloch, Erez Petrank
FliT: a library for simple and efficient persistent algorithms. PPoPP (2022)
Ittai Abraham, Naama Ben-David, Sravya Yandamuri
Efficient and Adaptively Secure Asynchronous Binary Agreement via Binding Crusader Agreement. IACR Cryptol. ePrint Arch. 2022 (2022)
Naama Ben-David, Guy E. Blelloch
Fast and Fair Randomized Wait-Free Locks. PODC (2022)
Naama Ben-David, Michal Friedman, Yuanhao Wei
Brief Announcement: Survey of Persistent Memory Correctness Conditions. DISC (2022)
Naama Ben-David, Benjamin Y. Chan, Elaine Shi
Revisiting the Power of Non-Equivocation in Distributed Protocols. PODC (2022)
Ittai Abraham, Naama Ben-David, Sravya Yandamuri
Efficient and Adaptively Secure Asynchronous Binary Agreement via Binding Crusader Agreement. PODC (2022)
Yuanhao Wei, Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, Eric Ruppert, Yihan Sun
Constant-time snapshots with applications to concurrent data structures. PPoPP (2021)
Yuanhao Wei, Naama Ben-David, Michal Friedman, Guy E. Blelloch, Erez Petrank
FliT: A Library for Simple and Efficient Persistent Algorithms. CoRR (2021)
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Dalia Papuc, Athanasios Xygkis, Igor Zablotchi
Frugal Byzantine Computing. CoRR (2021)
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Dalia Papuc, Athanasios Xygkis, Igor Zablotchi
Frugal Byzantine Computing. DISC (2021)
Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, Eric Ruppert, Yihan Sun, Yuanhao Wei
Space and Time Bounded Multiversion Garbage Collection. CoRR (2021)
Naama Ben-David, Kartik Nayak
Brief Announcement: Classifying Trusted Hardware via Unidirectional Communication. PODC (2021)
Naama Ben-David, Guy E. Blelloch
Fast and Fair Lock-Free Locks. CoRR (2021)
Naama Ben-David, Kartik Nayak
Classifying Trusted Hardware via Unidirectional Communication. CoRR (2021)
Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, Eric Ruppert, Yihan Sun, Yuanhao Wei
Space and Time Bounded Multiversion Garbage Collection. DISC (2021)
Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, Erez Petrank
NVTraverse: in NVRAM data structures, the destination is more important than the journey. PLDI (2020)
Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, Eric Ruppert, Yihan Sun, Yuanhao Wei
Constant-Time Lazy Snapshots Supporting General Queries on Concurrent Data Structures. CoRR (2020)
Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, Erez Petrank
NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey. CoRR (2020)
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J. Marathe, Athanasios Xygkis, Igor Zablotchi
Microsecond Consensus for Microsecond Applications. OSDI (2020)
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J. Marathe, Athanasios Xygkis, Igor Zablotchi
Microsecond Consensus for Microsecond Applications. CoRR (2020)
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J. Marathe, Igor Zablotchi
The Impact of RDMA on Agreement. PODC (2019)
Naama Ben-David, Guy E. Blelloch, Yihan Sun, Yuanhao Wei
Multiversion Concurrency with Bounded Delay and Precise Garbage Collection. SPAA (2019)
Naama Ben-David, Ziv Scully, Guy E. Blelloch
Unfair Scheduling Patterns in NUMA Architectures. PACT (2019)
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J. Marathe, Igor Zablotchi
The Impact of RDMA on Agreement. CoRR (2019)
Naama Ben-David, Guy E. Blelloch, Michal Friedman, Yuanhao Wei
Delay-Free Concurrency on Faulty Persistent Memory. SPAA (2019)
Naama Ben-David, Yi-Jun Chang, Michal Dory, Dean Leitersdorf
PODC 2019 Review. SIGACT News 50 (4) (2019)
Naama Ben-David, Guy E. Blelloch, Michal Friedman, Yuanhao Wei
Making concurrent algorithms detectable: poster. PPoPP (2019)
Naama Ben-David, Guy E. Blelloch, Yihan Sun, Yuanhao Wei
Efficient Single Writer Concurrency. CoRR (2018)
Marcos K. Aguilera, Naama Ben-David, Irina Calciu, Rachid Guerraoui, Erez Petrank, Sam Toueg
Passing Messages while Sharing Memory. PODC (2018)
Naama Ben-David, Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gibbons, Yan Gu, Charles McGuffey, Julian Shun
Implicit Decomposition for Write-Efficient Connectivity Algorithms. IPDPS (2018)
Naama Ben-David
PODC 2018 Review. SIGACT News 49 (4) (2018)
Naama Ben-David, Guy E. Blelloch, Yuanhao Wei
Making Concurrent Algorithms Detectable. CoRR (2018)
Umut A. Acar, Naama Ben-David, Mike Rainey
Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism. PPOPP (2017)
Naama Ben-David, Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gibbons, Yan Gu, Charles McGuffey, Julian Shun
Implicit Decomposition for Write-Efficient Connectivity Algorithms. CoRR (2017)
Naama Ben-David, Guy E. Blelloch
Analyzing Contention and Backoff in Asynchronous Shared Memory. PODC (2017)
Naama Ben-David, Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gibbons, Yan Gu, Charles McGuffey, Julian Shun
Parallel Algorithms for Asymmetric Read-Write Costs. SPAA (2016)
Naama Ben-David, David Yu Cheng Chan, Vassos Hadzilacos, Sam Toueg
k-Abortable Objects: Progress Under High Contention. DISC (2016)
Kathleen C. Fraser, Naama Ben-David, Graeme Hirst, Naida L. Graham, Elizabeth Rochon
Sentence segmentation of aphasic speech. HLT-NAACL (2015)
Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik
MU-MMINT: An IDE for Model Uncertainty. ICSE (2) (2015)