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: hed318c8966729763
Venue: SIGMOD
Year: 2025
Pagerank: 5.1462239e-05
Overall Rank: 9,637 | 35.21%
DOI: 10.1145/3709716

Incoming Non-self Citations Over Time

Authors

1. Tarique Siddiqui (Microsoft)
2. Arnd Christian König (Microsoft)
3. Jiashen Cao (Georgia Institute of Technology)
4. Cong Yan (Snowflake)
5. Shuvendu K. Lahiri (Microsoft)

BibTeX Citation

@inproceedings{siddiqui_sigmod25,
        title = {{QURE: AI-Assisted and Automatically Verified UDF Inlining}},
        author = {Siddiqui, Tarique and König, Arnd Christian and Cao, Jiashen and Yan, Cong and Lahiri, Shuvendu K.},
        series = {{SIGMOD} '25},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3709716},
        url = {https://dl.acm.org/doi/10.1145/3709716},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,448	EncoderForge: Generating Efficient SQL for Encoders in Machine Learning Inference Pipelines	2026	SIGMOD	4.9793485e-05
10,723	Scalable GPU Acceleration of Scalar Functions in Analytical Databases: Compilation, Benchmarking, and Optimization	2026	VLDB	4.9793485e-05

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
896	Froid: Optimization of Imperative Programs in a Relational Database	2018	VLDB	0.00013209291
1,444	An Architecture for Compiling UDF-centric Workflows	2015	VLDB	0.0001063181
2,207	Magpie: Python at Speed and Scale using Cloud Backends	2021	CIDR	8.8487039e-05
3,194	One WITH RECURSIVE is Worth Many GOTOs	2021	SIGMOD	7.5498012e-05
3,384	Putting Pandas in a Box	2021	CIDR	7.3550055e-05
3,545	Computation Reuse in Analytics Job Service at Microsoft	2018	SIGMOD	7.2134803e-05
3,930	Flexible Rule-Based Decomposition and Metadata Independence in Modin: A Parallel Dataframe System	2022	VLDB	6.9185978e-05
4,061	Aggify: Lifting the Curse of Cursor Loops using Custom Aggregates	2020	SIGMOD	6.824809e-05
4,256	BlackMagic: Automatic Inlining of Scalar UDFs into SQL Queries with Froid	2019	VLDB	6.7007882e-05
5,214	Stage: Query Execution Time Prediction in Amazon Redshift	2024	SIGMOD	6.2248104e-05
5,809	Snakes on a Plan: Compiling Python Functions into Plain SQL Queries	2022	SIGMOD	5.987479e-05
5,903	PL/SQL Without the PL	2020	SIGMOD	5.9523418e-05
6,085	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.892166e-05
9,692	Versatile Optimization of UDF-heavy Data Flows with Sofa	2014	SIGMOD	5.140168e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	11,021	DialectEvo: Bridging SQL Dialects with Execution-Guided Knowledge Refinement	2026	VLDB
2	5,719	Accelerating Python UDFs in Vectorized Query Execution	2022	CIDR
3	11,468	Welding Natural Language Queries to Analytics IRs with LLMs	2024	CIDR
4	10,971	Verified LLM-Based Query Rewriting for Microsoft SQL Server	2026	VLDB
5	10,416	Automating Database-Native Function Code Synthesis with LLMs	2026	SIGMOD
6	11,168	UDFBench: A Tool for Benchmarking UDF Queries on SQL Engines	2025	SIGMOD
7	10,433	DeepEye-SQL: A Software-Engineering-Inspired Text-to-SQL Framework	2026	SIGMOD
8	7,983	Efficient Execution of User-Defined Functions in SQL Queries	2023	VLDB
9	10,359	Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More!	2026	CIDR
10	10,893	Developing and Benchmarking Verification Algorithms to Improve Text-to-SQL Generation	2026	VLDB