DEOPT Mar 11, 2023 Go to Project Site DEOPT is an automated testing tool to find optimization bugs in Datalog engines. Manuel Rigger Faculty Manuel is an Assistant Professor and leads the group.
