Pavle Subotic

According to our database1, Pavle Subotic authored at least 8 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Automatic Index Selection for Large-Scale Datalog Computation.
PVLDB, 2018

Two concurrent data structures for efficient datalog query processing.
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

2016
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

2014
Horn Clauses for Communicating Timed Systems.
Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

2013
Logico-Numerical Max-Strategy Iteration.
Proceedings of the Verification, 2013

Exploring interpolants.
Proceedings of the Formal Methods in Computer-Aided Design, 2013


  Loading...