Finding Cross-Rule Optimization Bugs in Datalog Engines

Recommended citation: Chi Zhang, Linzhang Wang, and Manuel Rigger. 2024. Finding Cross-Rule Optimization Bugs in Datalog Engines. Proc. ACM Program. Lang. 8, OOPSLA1, Article 98 (April 2024), 27 pages.
Download Paper