Finding Cross-rule Optimization Bugs in Datalog Engines

Chi Zhang, Linzhang Wang, Manuel Rigger
December 2023
Type
Conference paper
Publication
In Proc. ACM Program. Lang.
Chi Zhang
Chi Zhang
Visiting Ph.D. Student

Chi is visiting the lab for one year.

Manuel Rigger
Manuel Rigger
Faculty

Manuel is an Assistant Professor and leads the group.