According to our database1, Pavle Subotic authored at least 11 papers between 2013 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Brie: A Specialized Trie for Concurrent Datalog.
Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019
A specialized B-tree for concurrent datalog evaluation.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019
Reachability Analysis for AWS-Based Networks.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Automatic Index Selection for Large-Scale Datalog Computation.
Two concurrent data structures for efficient datalog query processing.
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018
Guiding Craig interpolation with domain-specific abstractions.
Acta Inf., 2016
On fast large-scale program analysis in Datalog.
Proceedings of the 25th International Conference on Compiler Construction, 2016
Soufflé: On Synthesis of Program Analyzers.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Horn Clauses for Communicating Timed Systems.
Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014
Logico-Numerical Max-Strategy Iteration.
Proceedings of the Verification, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013