FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis
Z. Yu, H. Zhao, W. Hou, P. Koutris
SPLASH/ISSTA 2026 (Tool Demo)
FlowLog
A Datalog engine powered by Differential Dataflow. Write Datalog programs in Soufflé syntax and FlowLog compiles them into efficient, scalable executables that maintain query results incrementally.
News: Our tool demonstration paper has been accepted at SPLASH/ISSTA 2026. Read it now.
Key Features
Soufflé Language
Write Datalog in the established Soufflé syntax.
Dual Modes
Optimize under both batch and incremental execution modes.
Robustness First
Configure worst-case optimal query plans against runtime data skew.
Efficiency
Scale (up and out) efficiently compared to state-of-the-art Datalog engines.
Extensibility
Easy to extend to any relational programs in operational semantics.
Outlook
Many optimization opportunities left on the table.
Publications
FlowLog: Efficient and Extensible Datalog via Incrementality
H. Zhao, Z. Yu, S. Rao, S. Frisk, Z. Fan, P. Koutris
VLDB 2026
Evaluating Datalog via Structure-Aware Rewriting
H. Zhao, S. Deep, P. Koutris
Datalog 2.0 2024
Evaluating Datalog over Semirings: A Grounding-based Approach
H. Zhao, S. Deep, P. Koutris, S. Roy, V. Tannen
PODS 2024
Getting Involved
Talk with the team
Ask questions, share workloads, and discuss ideas with us on Slack.
Join us on SlackBuild with us
Improve the code and docs, report bugs, or suggest a feature on GitHub.
Explore GitHub