Media Summary: This talk presents , a tool that we developed to automatically find logic Dr. Manuel Rigger from ETH talks about the testing framework that helps find 400+ logic Query Partitioning is a general and effective approach to
Detecting Optimization Bugs In Database - Detailed Analysis & Overview
This talk presents , a tool that we developed to automatically find logic Dr. Manuel Rigger from ETH talks about the testing framework that helps find 400+ logic Query Partitioning is a general and effective approach to
![[OOPSLA24] Finding Cross-rule Optimization Bugs in Datalog Engines](https://i.ytimg.com/vi/TXmlTD399rI/mqdefault.jpg)
