Anton Wijs: GPU hash tables

Event Details

Hash tables are important data structures for the fast storage and retrieval of data elements. They are, for instance, used often in explicit-state model checkers. In this talk I take a closer look at different types of hash tables, and address their suitability for use on graphics processors (GPUs). The current version of GPUexplore, an explicit-state model checker running entirely on a GPU, contains implementations of various combinations of hashing techniques.