TY  - RPRT
TI  - JetStream: Generating Verified Query Accelerators for Existing Database Systems
AU  - Akhilesh Balasingam
AU  - Amadou Ngom
AU  - Geoffrey X. Yu
AU  - Tim Kraska
PY  - 2026
UR  - https://arxiv.org/abs/2610.20527
ID  - 2610.20527
ER  -