This year's posts
2022
2021
- Towards Elastic Incrementalization for Datalog
- Slides for Lectures and Talks
- An efficient interpreter for Datalog by de-specializing relations
2020
- Automatic Index Selection for Inequalities
- Soufflé 2.0.2 Released
- Soufflé 2.1 Released
- Soufflé 2.0.0 Released
- An Efficient Interpreter for Soufflé
- Haskell Interface for Souffle
- IntelliJ IDE Plugin
2019
- Soufflé 1.7.1 Released
- Soufflé 1.7.0 Released
- Fast Parallel Equivalence Relations in a Datalog Compiler
- Automatic Index Selection for Large-Scale Datalog Computation
- Fast Parallel Equivalence Relations in a Datalog Compiler
- Datalog Disassembly
- Soufflé 1.6.2 Released
- Provenance Tracking for Static Analysis with Datalog
- Provenance for Large-scale Datalog
- A Smart-Contract Decompiler - Gigahorse
- A Specialized B-Tree for Concurrent Datalog Evaluation
- Brie: A Specialized Trie for Concurrent Datalog
- Soufflé 1.5.1 Released
2018
- Equivalence Relations in Soufflé
- Vandal - A SmartContract Security Checker
- Soufflé 1.4.0 Released
- Soufflé 1.3.1 Released
2017
- High performance data structures in Soufflé
- Inlining in Soufflé
- Provenance in Soufflé
- Soufflé 1.2.0 Released
- PLDI Tutorial
- An efficient tunable selective points-to analysis for large codebases
- Soufflé 1.1.0 Released