1. Evaluating Datalog over Semirings: A Grounding-based Approach;Proceedings of the ACM on Management of Data;2024-05-10
2. Finding Cross-Rule Optimization Bugs in Datalog Engines;Proceedings of the ACM on Programming Languages;2024-04-29
3. Convergence of datalog over (Pre-) Semirings;Journal of the ACM;2024-04-10
4. Incrementalizing Production CodeQL Analyses;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. Interactive Debugging of Datalog Programs;Proceedings of the ACM on Programming Languages;2023-10-16