Edit me

Publications

  • Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury: Program Repair Guided by Datalog-Defined Static Analysis. ESEC/SIGSOFT FSE 2023: 1216-1228; (link)
  • Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotić, and Bernhard Scholz: Building a Join Optimizer for Soufflé. LOPSTR 2022: 83–102; (link).
  • Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz: The Choice Construct in the Soufflé Language. APLAS 2021: 161-181; (link).
  • David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz: Towards Elastic Incrementalization for Datalog. PPDP 2021: 20:1-20:16 (link).
  • 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ć: Soufflé: 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).

Theses

  • Lyndon Henry: Soufflé in the Cloud, Masters of Philosophy 2021. (link).
  • Sam Arch: Automatic Index Selection for Inequalities, Honours 2020. (link).
  • Xiaowen Hu: An Efficient Interpreter for Soufflé, Honours 2020. (link).
  • Abdul Zreika: Program-Rewriting Transformations for Datalog, Honours 2019. (link).
  • Patrick Nappa: Equivalence Relations in Soufflé, Honours 2018. (link).
  • David Zhao: Provenance in Soufflé, Honours 2017. (link).

Talks

  • Pavle Subotić: Commercial-Grade Static Analyzers in Datalog, LPOP’22 Workshop.
  • Bernhard Scholz: Commercial-Grade Static Analyzers in Datalog, SAS’22 Keynote, (link).
  • Bernhard Scholz: Tool Talk: Soufflé, PLDI 2020 - SOAP, London, UK` https://www.youtube.com/watch?v=Qp3zfM-JSx8
  • Pavle Subotić: Soufflé, 27/10/16, Amazon AWS, Automated Reasoning Group, Seattle, USA`
  • Pavle Subotić: Soufflé: On Synthesis of Analyzers, 23/7/16, Computer Aided Verification (CAV), Toronto, Canada`
  • Bernhard Scholz: An Experience Report: Efficient Analysis using Soufflé, 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`