| Soufflé: On Synthesis of Program Analyzers H Jordan, B Scholz, P Subotić Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 240 | 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 | 134 | 2016 |
| Reachability analysis for AWS-based networks J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ... Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 76 | 2019 |
| 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 | 47 | 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 | 44 | 2018 |
| Debugging large-scale datalog: A scalable provenance evaluation strategy D Zhao, P Subotić, B Scholz ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (2), 1-35, 2020 | 39 | 2020 |
| Guiding Craig interpolation with domain-specific abstractions J Leroux, P Rümmer, P Subotić Acta Informatica 53 (4), 387-424, 2016 | 32 | 2016 |
| Horn clauses for communicating timed systems H Hojjat, P Rümmer, P Subotic, W Yi arXiv preprint arXiv:1412.1153, 2014 | 32 | 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 | 30 | 2019 |
| Exploring interpolants P Rümmer, P Subotić 2013 Formal Methods in Computer-Aided Design, 69-76, 2013 | 28 | 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 | 23 | 2019 |
| Towards elastic incrementalization for datalog D Zhao, P Subotic, M Raghothaman, B Scholz Proceedings of the 23rd International Symposium on Principles and Practice …, 2021 | 17 | 2021 |
| A static analysis framework for data science notebooks P Subotić, L Milikić, M Stojić Proceedings of the 44th International Conference on Software Engineering …, 2022 | 16 | 2022 |
| Building a join optimizer for soufflé S Arch, X Hu, D Zhao, P Subotić, B Scholz International Symposium on Logic-Based Program Synthesis and Transformation …, 2022 | 12 | 2022 |
| Specializing parallel data structures for Datalog H Jordan, P Subotić, D Zhao, B Scholz Concurrency and Computation: Practice and Experience 34 (2), e5643, 2022 | 12 | 2022 |
| Logico-numerical max-strategy iteration P Schrammel, P Subotic Verification, Model Checking, and Abstract Interpretation: 14th …, 2013 | 11 | 2013 |
| Statically detecting data leakages in data science code P Subotić, U Bojanić, M Stojić Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of …, 2022 | 10 | 2022 |
| Provenance for large-scale datalog D Zhao, P Subotic, B Scholz arXiv preprint arXiv:1907.05045, 2019 | 4 | 2019 |
| An Abstract Interpretation-Based Data Leakage Static Analysis F Drobnjaković, P Subotić, C Urban International Symposium on Theoretical Aspects of Software Engineering, 109-126, 2024 | 3 | 2024 |
| Program Repair Guided by Datalog-Defined Static Analysis Y Liu, S Mechtaev, P Subotić, A Roychoudhury Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 2 | 2023 |
