Naama Ben-David

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