Reliable Hashing without Collosion Detection
Abstract elided by the publisher.
Related papers
- "Look Ma, No Hashing, And No Arrays Neither" POPL 1991
- TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs PPoPP 2013
- On the Performance of Balanced Hashing Functions When the Keys Are Not Equiprobable TOPLAS 1980
- A scalable lock-free hash table with open addressing PPoPP 2016
- ESoftCheck: Removal of Non-vital Checks for Fault Tolerance CGO 2009
- Memento: A Framework for Detectable Recoverability in Persistent Memory PLDI 2023
- Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms CGO 2020
- Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity PLDI 2026