Edit me

A Specialized B-Tree for Concurrent Datalog Evaluation

This is the A Specialized B-Tree for Concurrent Datalog Evaluation. It was published in the Symposium on Principles and Practice of Parallel Programming, February 16–20, 2019, Washington, DC, USA (PPoPP’19). Abstract Modern Datalog engines are employed in industrial applications such as graph-databases, networks, and static program analysis. To...

Brie: A Specialized Trie for Concurrent Datalog

This is the Brie: A Specialized Trie for Concurrent Datalog. It was published in the 10th International Workshop on Programming Models and Applications for Multicores and Manycores workshop (PMAM’19). Abstract Modern Datalog engines are employed in industrial applications such as graph databases, networks, and static program analysis. To...

Soufflé 1.5.1 Released

Hello! We have a new release of Soufflé for you. Key features are User defined functors (b-scholz) Rewritten code generation (taipan-snake) Improved Provenance via generated data structures (taipan-snake) Profile cpu & memory usage (mmcgr) Enhanced profiler graphs (mmcgr) Productivity measures in profiler (mmcgr) General profiler enhancements (mmcgr) Added support...

Equivalence Relations in Soufflé

Patrick Nappa has implemented a fast & low overhead method of representing equivalence relations in Soufflé. An Honours thesis has been submitted, available here, where corresponding slides can be found here. The improved version is currently undergoing maintenance pending inclusion into the main branch of Soufflé, however an...

Soufflé 1.4.0 Released

Hello! We have a new release of Soufflé for you. Key features are improved parallel performance (HerbertJordan) improved operators hints in btree (HerbertJordan) extended progress logging in verbose mode (mmcgr) added to_string and to_number functors (b-scholz) added live profiler (mmcgr) changed profile output format to json (mmcgr) profile output...

Soufflé 1.3.1 Released

Hello! We have a new release of Soufflé for you. Key features are Added more feedback in verbose mode (azreika/mmcgr) Fixed and enhanced 64 bit domain support (mmcgr/cfallin) Improved debug report (azreika) Enhanced profiler (atom frequency, bug fixes) (mmcgr) Hashmap support (HerbertJordan,65linesofcode) Enhanced provenance tools (taipan-snake) Performance enhancements (azreika)...

High performance data structures in Soufflé

Jonathan Chung has extended Soufflé to utilize various data-structures. Souffle supports different default-structures including hash-table, red-black trees (STL), HTM for B-Trees, etc. Jonathan present his finding on data-structures in Souffle at the University of Sydney’s Programming Languages and Compiler research group meeting. Slides for the talk can be found

Inlining in Soufflé

Soufflé now supports the ability to manually select relations to inline. A talk was presented on the process at the University of Sydney’s Programming Languages and Compiler research group meeting. Slides for the talk can be found here.

Provenance in Soufflé

David Zhao has extended Soufflé to allow provenance tracking. A produced tuple can be explained via a proof tree. An Honours thesis has been submitted on this topic, available here. Slides for the corresponding talk can be found here

Soufflé 1.2.0 Released

Hello! We have the third open-source release of Soufflé for you. Key features are Interactive provenance browser (taipan-snake) Compilation to subprograms for separate execution (lyndonhenry) Magic Sets (azreika) Sum aggregator fixed gcc7 optimisations File IO optimisations Pragmas to enable argument options (e.g., .pragma "-mtest") Various minor bug fixes...

RSS Subscribe


See more posts from the News Archive.