We aim to develop data structures optimized for large-scale multi-core computers.
As computers become more and more parallelized to meet the demands of the world's hardest computational problems, scalable data structures are required to efficiently coordinate data and work between concurrent threads and implement increasingly-sophisticated algorithms. Our goal is to develop new data structures, improve the techniques to implement them, and prove their correctness and efficiency from strong theoretical foundations.
