Pavle Subotic
Pavle 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ć
International Conference on Computer Aided Verification, 422-430, 2016
1202016
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
762016
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
272019
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
242019
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
232018
Exploring interpolants
P Rümmer, P Subotić
2013 Formal Methods in Computer-Aided Design, 69-76, 2013
232013
Guiding Craig interpolation with domain-specific abstractions
J Leroux, P Rümmer, P Subotić
Acta Informatica 53 (4), 387-424, 2016
182016
Horn clauses for communicating timed systems
H Hojjat, P Rümmer, P Subotic, W Yi
arXiv preprint arXiv:1412.1153, 2014
182014
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
122019
Logico-numerical max-strategy iteration
P Schrammel, P Subotic
International Workshop on Verification, Model Checking, and Abstract …, 2013
102013
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
62019
Provenance for large-scale datalog
D Zhao, P Subotic, B Scholz
arXiv preprint arXiv:1907.05045, 2019
42019
Specializing parallel data structures for Datalog
H Jordan, P Subotić, D Zhao, B Scholz
Concurrency and Computation: Practice and Experience, e5643, 2020
32020
Two concurrent data structures for efficient datalog query processing
H Jordan, B Scholz, P Subotic
ACM SIGPLAN Notices 53 (1), 399-400, 2018
22018
Optimal index selection in polynomial time
BF Scholz, P Subotic
US Patent App. 14/959,722, 2017
12017
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
The system can't perform the operation now. Try again later.
Articles 1–20