Back to papers
QURE: AI-Assisted and Automatically Verified UDF Inlining
Summary: QURE uses LLMs to translate Python/Pandas UDFs to SQL and a formal equivalence verifier to confirm translations across diverse UDFs. Imperative constructs modeled in an intermediate verifier derive SQL-semantics conditions, achieving 88% equivalence (84% translations) with 23x/12x speedups.
(summarized by gpt-5-nano on Feb 09 2026)
- Paper ID
- 7059
- Venue
- SIGMOD
- Year
- 2025
- Pagerank
- 4.2856106e-05
- Overall Rank
- 9,762 | 32.09%
- DOI
-
10.1145/3709716
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
Outgoing Citations (Sorted by Pagerank)
Showing 14 of 14 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank |
Cited Paper |
Year |
Venue |
Pagerank |
| 1,108 |
Froid: Optimization of Imperative Programs in a Relational Database |
2018 |
VLDB |
0.00013984276 |
| 1,873 |
An Architecture for Compiling UDF-centric Workflows |
2015 |
VLDB |
0.00010253002 |
| 2,954 |
Magpie: Python at Speed and Scale using Cloud Backends |
2021 |
CIDR |
7.8262582e-05 |
| 3,648 |
One WITH RECURSIVE is Worth Many GOTOs |
2021 |
SIGMOD |
6.8831123e-05 |
| 3,763 |
Flexible Rule-Based Decomposition and Metadata Independence in Modin: A Parallel Dataframe System |
2022 |
VLDB |
6.7801795e-05 |
| 4,174 |
Computation Reuse in Analytics Job Service at Microsoft |
2018 |
SIGMOD |
6.3856219e-05 |
| 4,582 |
BlackMagic: Automatic Inlining of Scalar UDFs into SQL Queries with Froid |
2019 |
VLDB |
6.070187e-05 |
| 4,648 |
Aggify: Lifting the Curse of Cursor Loops using Custom Aggregates |
2020 |
SIGMOD |
6.0247446e-05 |
| 4,813 |
Putting Pandas in a Box |
2021 |
CIDR |
5.9049746e-05 |
| 5,832 |
Stage: Query Execution Time Prediction in Amazon Redshift |
2024 |
SIGMOD |
5.3111109e-05 |
| 6,108 |
PL/SQL Without the PL |
2020 |
SIGMOD |
5.2059662e-05 |
| 6,212 |
Snakes on a Plan: Compiling Python Functions into Plain SQL Queries |
2022 |
SIGMOD |
5.1552576e-05 |
| 6,375 |
Dear User-Defined Functions, Inlining isn't working out so great for us. Let's try batching to make our relationship work. Sincerely, SQL |
2024 |
CIDR |
5.0923872e-05 |
| 9,376 |
Versatile Optimization of UDF-heavy Data Flows with Sofa |
2014 |
SIGMOD |
4.347376e-05 |
Semantically Similar Papers
| Overall Rank |
Paper |
Year |
Venue |
Pagerank |
| 9,718 |
YeSQL: Rich User-Defined Functions without the Overhead |
2022 |
VLDB |
4.2980763e-05 |
| 9,763 |
The UDFBench Benchmark for General-purpose UDF Queries |
2025 |
VLDB |
4.2856106e-05 |
| 4,582 |
BlackMagic: Automatic Inlining of Scalar UDFs into SQL Queries with Froid |
2019 |
VLDB |
6.070187e-05 |
| 7,139 |
Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency |
2025 |
SIGMOD |
4.821174e-05 |
| 6,701 |
YeSQL: “You extend SQL” with Rich and Highly Performant User-Defined Functions in Relational Databases |
2022 |
VLDB |
4.9561066e-05 |
| 6,189 |
Accelerating Python UDFs in Vectorized Query Execution |
2022 |
CIDR |
5.1647573e-05 |
| 10,897 |
Welding Natural Language Queries to Analytics IRs with LLMs |
2024 |
CIDR |
4.1945683e-05 |
| 10,459 |
UDFBench: A Tool for Benchmarking UDF Queries on SQL Engines |
2025 |
SIGMOD |
4.1945683e-05 |
| 8,583 |
Efficient Execution of User-Defined Functions in SQL Queries |
2023 |
VLDB |
4.4919445e-05 |
| 9,993 |
Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! |
2026 |
CIDR |
4.1945683e-05 |