Our paper Finding Functional Bugs in Spatial Data Engines was accepted by SIGMOD2025.