Pavle Subotic
Pavle Subotic
Amazon
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
762016
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
562016
Exploring interpolants
P Rümmer, P Subotić
2013 Formal Methods in Computer-Aided Design, 69-76, 2013
212013
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
162019
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
142018
Horn clauses for communicating timed systems
H Hojjat, P Rümmer, P Subotic, W Yi
arXiv preprint arXiv:1412.1153, 2014
142014
Guiding Craig interpolation with domain-specific abstractions
J Leroux, P Rümmer, P Subotić
Acta Informatica 53 (4), 387-424, 2016
112016
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
92019
Logico-numerical max-strategy iteration
P Schrammel, P Subotic
International Workshop on Verification, Model Checking, and Abstract …, 2013
92013
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
52019
Provenance for Large-scale Datalog
D Zhao, P Subotic, B Scholz
arXiv preprint arXiv:1907.05045, 2019
42019
Two concurrent data structures for efficient datalog query processing
H Jordan, B Scholz, P Subotic
ACM SIGPLAN Notices 53 (1), 399-400, 2018
12018
Optimal index selection in polynomial time
BF Scholz, P Subotic
US Patent App. 14/959,722, 2017
12017
Specializing parallel data structures for Datalog
H Jordan, P Subotić, D Zhao, B Scholz
Concurrency and Computation: Practice and Experience, e5643, 2020
2020
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
2019
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
Uniform Analysis for Communicating Timed Systems (Extended Technical Report)
H Hojjat, P Rümmer, P Subotic, W Yi
2013
The system can't perform the operation now. Try again later.
Articles 1–20