TY  - RPRT
TI  - Correctness Firewalls for Synthesized Database Components
AU  - Mohammad Javad Amiri
AU  - Carsten Binnig
AU  - Andreas Kipf
AU  - Tim Kraska
AU  - Ryan Marcus
AU  - Johannes Wehrstein
AU  - Chenyuan Wu
AU  - Geoffrey X. Yu
AU  - Zijie Zhao
PY  - 2026
UR  - https://arxiv.org/abs/2611.05173
ID  - 2611.05173
ER  -