Publications & Talks

Publications

  • 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

Talks

  • 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
Next