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é formally commenced 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.

The project highlights the international nature of the collaboration with the research assistants and students coming to Oracle Labs/Brisbane from all over the world: Kostyantyn Vorobyov from Bond University, Australia, Paul Subotic from UCL, UK, Herbert Jordan was from University of Innsbruck, Austria, Raihaan Amod from The University of Queensland, Australia, Behnaz Hassanshahi from NUS, Singapore and Stepan Sindelar from The Charles University in the Czech Republic.

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