According to our database1, Pavle Subotic authored at least 8 papers between 2013 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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