Herbert Jordan, Bernhard Scholz and Pavle Subotic, Souffle: On Synthesis of Datalog for Program Analyzers, to be published at CAV 2016, 28th International Conference on Computer Aided Verification, Toronto, Ontario, Canada, July 17-23, 2016.
On fast large-scale program analysis in Datalog
Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann
CC 2016 - Mar 17-18 Barcelona, Spain