| Soufflé: On synthesis of program analyzers H Jordan, B Scholz, P Subotić International Conference on Computer Aided Verification, 422-430, 2016 | 120 | 2016 |
| On fast large-scale program analysis in datalog B Scholz, H Jordan, P Subotić, T Westmann Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 76 | 2016 |
| A specialized B-tree for concurrent datalog evaluation H Jordan, P Subotić, D Zhao, B Scholz Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019 | 27 | 2019 |
| Reachability analysis for AWS-based networks J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ... International Conference on Computer Aided Verification, 231-241, 2019 | 24 | 2019 |
| Automatic index selection for large-scale datalog computation P Subotić, H Jordan, L Chang, A Fekete, B Scholz Proceedings of the VLDB Endowment 12 (2), 141-153, 2018 | 23 | 2018 |
| Exploring interpolants P Rümmer, P Subotić 2013 Formal Methods in Computer-Aided Design, 69-76, 2013 | 23 | 2013 |
| Guiding Craig interpolation with domain-specific abstractions J Leroux, P Rümmer, P Subotić Acta Informatica 53 (4), 387-424, 2016 | 18 | 2016 |
| Horn clauses for communicating timed systems H Hojjat, P Rümmer, P Subotic, W Yi arXiv preprint arXiv:1412.1153, 2014 | 18 | 2014 |
| Brie: A specialized trie for concurrent datalog H Jordan, P Subotić, D Zhao, B Scholz Proceedings of the 10th International Workshop on Programming Models and …, 2019 | 12 | 2019 |
| Logico-numerical max-strategy iteration P Schrammel, P Subotic International Workshop on Verification, Model Checking, and Abstract …, 2013 | 10 | 2013 |
| Fast Parallel Equivalence Relations in a Datalog Compiler P Nappa, D Zhao, P Subotić, B Scholz 2019 28th International Conference on Parallel Architectures and Compilation …, 2019 | 6 | 2019 |
| Provenance for large-scale datalog D Zhao, P Subotic, B Scholz arXiv preprint arXiv:1907.05045, 2019 | 4 | 2019 |
| Specializing parallel data structures for Datalog H Jordan, P Subotić, D Zhao, B Scholz Concurrency and Computation: Practice and Experience, e5643, 2020 | 3 | 2020 |
| Two concurrent data structures for efficient datalog query processing H Jordan, B Scholz, P Subotic ACM SIGPLAN Notices 53 (1), 399-400, 2018 | 2 | 2018 |
| Optimal index selection in polynomial time BF Scholz, P Subotic US Patent App. 14/959,722, 2017 | 1 | 2017 |
| Towards Elastic Incrementalization for Datalog D Zhao, P Subotic, M Raghothaman, B Scholz 23rd International Symposium on Principles and Practice of Declarative …, 2021 | | 2021 |
| Scalable Logic Defined Static Analysis P Subotic UCL (University College London), 2019 | | 2019 |
| Optimal On The Fly Index Selection in Polynomial Time H Jordan, B Scholz, P Subotić arXiv preprint arXiv:1709.03685, 2017 | | 2017 |
| Efficient Analysis using Soufflé B Scholz, P Subotic, H Jordan, P Krishnan, R Kagalavadi, CC Ramesh | | 2016 |
| Souffle: On synthesis of program analyzers B Scholz, H Jordan, P Subotic Springer, 2016 | | 2016 |
