3 papers
cs.DB2026
Thucy: An LLM-based Multi-Agent System for Claim Verification across Relational Databases
Michael Theologitis, Dan Suciu
In today's age, it is becoming increasingly difficult to decipher truth from lies. Every day, politicians, media outlets, and public figures make conflicting claims -- often about…
cs.DB2025
The Cambridge Report on Database Research
Anastasia Ailamaki, Samuel Madden, Daniel Abadi +43
On October 19 and 20, 2023, the authors of this report convened in Cambridge, MA, to discuss the state of the database research field, its recent accomplishments and ongoing challe…
cs.PL2025
Semantic foundations of equality saturation
Dan Suciu, Yisu Remy Wang, Yihong Zhang
Equality saturation is an emerging technique for program and query optimization developed in the programming language community. It performs term rewriting over an E-graph, a data…