Our paper "Finding Cross-rule Optimization Bugs in Datalog Engines" was accepted at OOPSLA '24! Dec 23, 2023 0 min read Manuel Rigger Faculty Manuel is an Assistant Professor and leads the group.
