Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
26 lines (23 sloc) 1.6 KB
title permalink sidebar folder toc
Publications & Talks


  • Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz: A specialized B-tree for concurrent datalog evaluation. PPoPP 2019: 327-339
  • Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz: Brie: A Specialized Trie for Concurrent Datalog. PMAM@PPoPP 2019: 31-40
  • Pavle Subotic, Herbert Jordan, Lijun Chang, Alan Fekete, Bernhard Scholz: Automatic Index Selection for Large-Scale Datalog Computation. PVLDB 12(2): 141-153 (2018)
  • Herbert Jordan, Bernhard Scholz, Pavle Subotic: Souffle: On Synthesis of Program Analyzers. CAV 2016
  • Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann: On fast large-scale program analysis in Datalog. CC 2016: 196-206
  • Bernhard Scholz, Kostyantyn Vorobyov, Padmanabhan Krishnan, Till Westmann: A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report. ASWEC 2015: 28-37


  • Pavle Subotić: Souffle, 27/10/16, Amazon AWS, Automated Reasoning Group, Seattle, USA
  • Pavle Subotić: Souffle: On Synthesis of Analyzers, 23/7/16, Computer Aided Verification (CAV), Toronto, Canada
  • Bernhard Scholz: An Experience Report: Efficient Analysis using Souffle, 8/7/16, Oracle Labs in Brisbane, Australia.
  • Pavle Subotić: Synthesizing Analyzers from Datalog, 24/3/16, Automated Reasoning Group, University of Belgrade, Serbia
  • Pavle Subotić: On fast large-scale program analysis in Datalog, 18/3/16, Compiler Construction (CC), Barcelona, Spain
You can’t perform that action at this time.