Patrick Nappa, David Zhao, Pavle Subotic, Bernhard Scholz. Fast Parallel Equivalence Relations in a Datalog Compiler. In 28th International Conference on Parallel Architectures and Compilation Techniques, PACT 2019, Seattle, WA, USA, September 23-26, 2019. pages 82-96, IEEE, 2019. [doi]
Abstract is missing.