Created on April 01, 2024
2024
Our paper Finding Cross-Rule Optimization Bugs in Datalog Engines appeared in OOPSLA 2024.