Soufflé: On synthesis of program analyzers H Jordan, B Scholz, P Subotić International Conference on Computer Aided Verification, 422-430, 2016 | 83 | 2016 |

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 | 60 | 2016 |

Exploring interpolants P Rümmer, P Subotić 2013 Formal Methods in Computer-Aided Design, 69-76, 2013 | 23 | 2013 |

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 | 18 | 2019 |

Horn clauses for communicating timed systems H Hojjat, P Rümmer, P Subotic, W Yi arXiv preprint arXiv:1412.1153, 2014 | 17 | 2014 |

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 | 15 | 2018 |

Guiding Craig interpolation with domain-specific abstractions J Leroux, P Rümmer, P Subotić Acta Informatica 53 (4), 387-424, 2016 | 14 | 2016 |

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 | 13 | 2019 |

Logico-numerical max-strategy iteration P Schrammel, P Subotic International Workshop on Verification, Model Checking, and Abstract …, 2013 | 9 | 2013 |

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 | 5 | 2019 |

Provenance for Large-scale Datalog D Zhao, P Subotic, B Scholz arXiv preprint arXiv:1907.05045, 2019 | 4 | 2019 |

Two concurrent data structures for efficient datalog query processing H Jordan, B Scholz, P Subotic ACM SIGPLAN Notices 53 (1), 399-400, 2018 | 2 | 2018 |

Optimal index selection in polynomial time BF Scholz, P Subotic US Patent App. 14/959,722, 2017 | 1 | 2017 |

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 |