1. Specializing parallel data structures for Datalog;Concurrency and Computation: Practice and Experience;2020-01-07
2. Fast Parallel Equivalence Relations in a Datalog Compiler;2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT);2019-09
3. A specialized B-tree for concurrent datalog evaluation;Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming;2019-02-16
4. Brie;Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM'19;2019
5. Scaling-up reasoning and advanced analytics on BigData;Theory and Practice of Logic Programming;2018-09