Contributors

Contributors & History

Prior to Soufflé, preliminary work on Datalog translation for static program analysis commenced in the Oracle Labs/Brisbane in December 2013. A source-to-source translator from Datalog to SQL was developed. This pilot project was lead and developed by Bernhard Scholz who was at Oracle Labs/Brisbane as a visiting professor from The University of Sydney with research intern Kostyantyn Voroboyov. For the source-to-source translator valuable input was given by Till Westmann (a software architect in the Oracle Labs at that time). The findings of the source-to-source translator were published in:

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

After completion of the pilot project, Soufflé commenced also at Oracle Labs/Brisbane in 2014. Bernhard Scholz was the project lead in his role as visiting professor at Oracle Labs/Brisbane. He was assisted in this by research assistants Paul Subotic and Herbert Jordan, and the visiting student Raihaan Amod. Support was received from Alex Jordan to develop an object-oriented interface for C++ programs and Nicholas Allen, who refactored the front-end of the Soufflé compiler in late 2015. Numerous inputs was received by the users of Soufflé including Behnaz Hassanshahi, Stepan Sindelar, Raghavendra K. R., Francois Gauthier, Paddy Krishnan and Yi Lu.

(a research assistant/intern from the National University of Singapore), Stepan Sindelar (a research assistant/intern from the Charles University in Prague), Raghavendra K. Ramesh (Oracle Labs), Francois Gauthier (Oracle Labs), Yi Lu (Oracle Labs), and Paddy Krishnan (Oracle Labs).

(a research assistant/intern from University College London), Herbert Jordan (a research assistant/intern from the University of Innsbruck), and Raihaan Amod (a visiting student from the University of Queensland).

The current contributors with their code contributions are listed below:

Bernhard Scholz: project lead, design and implementation
Herbert Jordan: high-performance parallel data-structures, language extensions including records and components, static type system, major refactoring of the system
Paul Subotic: index selection for relations
Raihaan Amod: profiler
Alex Jordan: support designing/implementing the object-oriented C++ interface for Soufflé
Nicholas Allen: refactoring of the front-end