Edit me

Publications

  • Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz: An efficient interpreter for Datalog by de-specializing relations. PLDI 2021: 681-695; (link).
  • David Zhao, Pavle Subotić, and Bernhard Scholz: Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy. ACM Trans. Program. Lang. Syst. 42, 2, Article 7 (April 2020); (link).
  • Herbert Jordan, Pavle Subotić, David Zhao, Bernhard Scholz: Specializing Parallel Data Structures for Datalog. Concurrency Computat Pract Exper. 2020; (link).
  • Patrick Nappa, David Zhao, Pavle Subotić, and Bernhard Scholz: Fast Parallel Equivalence Relations in a Datalog Compiler. PACT 2019: 82-96; (link).
  • Herbert Jordan, Pavle Subotić, David Zhao, Bernhard Scholz: A specialized B-tree for concurrent datalog evaluation. PPoPP 2019: 327-339; (link).
  • Herbert Jordan, Pavle Subotić, David Zhao, Bernhard Scholz: Brie: A Specialized Trie for Concurrent Datalog. PMAM@PPoPP 2019: 31-40; (link).
  • Pavle Subotić, Herbert Jordan, Lijun Chang, Alan Fekete, Bernhard Scholz: Automatic Index Selection for Large-Scale Datalog Computation. PVLDB 12(2): 141-153 (2018); (link).
  • Herbert Jordan, Bernhard Scholz, Pavle Subotić: Souffle: On Synthesis of Program Analyzers. CAV 2016; (link).
  • Bernhard Scholz, Herbert Jordan, Pavle Subotić, Till Westmann: On fast large-scale program analysis in Datalog. CC 2016: 196-206; (link).
  • 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; (link).

Talks

  • Bernhard Scholz: Tool Talk: Soufflé, PLDI 2020 - SOAP, London, UK` https://www.youtube.com/watch?v=Qp3zfM-JSx8
  • 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.` https://www.youtube.com/watch?v=8WM0im4RV7M
  • 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`