SQLWitness

Oct 22, 2026
Go to Project Site PDF Code

SQLWitness is a dialect-agnostic SQL equivalence refutation engine that generates database instances on which two queries produce different results.

Manuel Rigger
Manuel Rigger
Faculty

Manuel is an Assistant Professor and leads the group.

Events

Efficient Dialect-Agnostic SQL Equivalence Refutation
Junwen An presents SQLWitness, a dialect-agnostic SQL equivalence refutation engine.
Nov 18, 2026
PDF Code Project