We ran our first tutorial on the 5th of December, 2016, at APSEC’16. We had 11 participants. The tutorial was run by Bernhard Scholz, Raghavendra K. R., and Alexander Jordan. You find some of the slides here.

Oracle Labs made Soufflé open-source on the 8th of March, 2016.
Soufflé is a Datalog-like language that compiles programs to efficient parallel C++ code. Currently, Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code.