-
Inlining in Soufflé
Jonathan Chung extended Soufflé with an inlining transformation that improves runtime performance by merging relation bodies at the syntactic level. This optimisation reduces intermediate relation materialisation and can significantly speed up complex Datalog programs.
Performance Inlining -
Soufflé 1.2.0 Released
Soufflé 1.2.0 shipped with improvements to the synthesis pipeline, enhanced data-structure support, and refinements to the type system. This release continued the project's focus on producing efficient parallel C++ from declarative specifications.
Release -
PLDI Tutorial — Engineering Static Analyzers with Soufflé
A tutorial session at PLDI 2017 in Barcelona covered practical techniques for building static analyzers using Soufflé. Attendees learned how to express analysis problems in Datalog and synthesise high-performance C++ checkers.
PLDI'17 Tutorial -
An Efficient Tunable Selective Points-to Analysis for Large Codebases
Research presented on a tunable points-to analysis built with Soufflé demonstrated how selective precision can scale to large codebases without sacrificing soundness. The work highlighted Soufflé's suitability for production-grade program analysis.
Points-to Analysis Research -
Soufflé 1.1.0 Released
Version 1.1.0 brought incremental improvements to the compiler backend, expanded language features, and further stabilised the synthesis toolchain for Debian and macOS platforms.
Release -
First Conference Tutorial — APSEC'16
Soufflé's first conference tutorial, "On Fast Large-Scale Program Analysis in Datalog," took place at APSEC 2016. The session introduced attendees to rapid prototyping of static analyses using Soufflé's synthesis approach.
APSEC'16 Tutorial -
Soufflé 1.0.0 Released
The first major release of Soufflé marked the project's transition from Oracle Labs to a public open-source tool. Soufflé 1.0.0 provided a stable Datalog frontend and a synthesis backend producing parallel C++.
Release Milestone -
Soufflé Is Open-Source
The Soufflé project was open-sourced in March 2016, originating from Oracle Labs in Brisbane. Since then it has been supported by The University of Sydney, the University of Innsbruck, University College London, and the University of Athens.
Open Source