Follow
Pavle Subotic
Pavle Subotic
Other namesPavle Subotić, Paul Subotic
Microsoft
Verified email at ucl.ac.uk
Title
Cited by
Cited by
Year
Soufflé: On Synthesis of Program Analyzers
H Jordan, B Scholz, P Subotić
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
2202016
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
1262016
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
652019
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
442019
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
402018
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
352020
Guiding Craig interpolation with domain-specific abstractions
J Leroux, P Rümmer, P Subotić
Acta Informatica 53 (4), 387-424, 2016
302016
Horn clauses for communicating timed systems
H Hojjat, P Rümmer, P Subotic, W Yi
arXiv preprint arXiv:1412.1153, 2014
302014
Exploring interpolants
P Rümmer, P Subotić
2013 Formal Methods in Computer-Aided Design, 69-76, 2013
282013
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
272019
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
212019
Towards elastic incrementalization for datalog
D Zhao, P Subotic, M Raghothaman, B Scholz
Proceedings of the 23rd International Symposium on Principles and Practice …, 2021
162021
A static analysis framework for data science notebooks
P Subotić, L Milikić, M Stojić
Proceedings of the 44th International Conference on Software Engineering …, 2022
122022
Logico-numerical max-strategy iteration
P Schrammel, P Subotic
Verification, Model Checking, and Abstract Interpretation: 14th …, 2013
112013
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
92022
Specializing parallel data structures for Datalog
H Jordan, P Subotić, D Zhao, B Scholz
Concurrency and Computation: Practice and Experience 34 (2), e5643, 2022
92022
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
52022
Provenance for large-scale datalog
D Zhao, P Subotic, B Scholz
arXiv preprint arXiv:1907.05045, 2019
42019
Abstract interpretation-based data leakage static analysis
F Drobnjaković, P Subotić, C Urban
arXiv preprint arXiv:2211.16073, 2022
22022
Scalable typestate analysis for low-latency environments
A Arslanagić, P Subotić, JA Pérez
International Conference on Integrated Formal Methods, 322-340, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20