QURE: AI-assisted and Automatically Verified UDF Inlining
Tarique Siddiqui, Arnd Christian König, Jiashen Cao, Cong Yan, Shuvendu Lahiri (shuvendu)
Proceedings of the ACM on Management of Data (SIGMOD 2025) | February 2025, Vol 3
QURE: AI-assisted and Automatically Verified UDF to SQL Translation
Publications
Publications by Year
Publications by Research Area
-
QURE: AI-assisted and Automatically Verified UDF Inlining
Tarique Siddiqui, Arnd Christian König, Jiashen Cao, Cong Yan, Shuvendu Lahiri (shuvendu)
Proceedings of the ACM on Management of Data (SIGMOD 2025) | February 2025, Vol 3
-
QURE: AI-assisted and Automatically Verified UDF Inlining
Tarique Siddiqui, Arnd Christian König, Jiashen Cao, Cong Yan, Shuvendu Lahiri (shuvendu)
Proceedings of the ACM on Management of Data (SIGMOD 2025) | February 2025, Vol 3
Publications by Type
-
QURE: AI-assisted and Automatically Verified UDF Inlining
Tarique Siddiqui, Arnd Christian König, Jiashen Cao, Cong Yan, Shuvendu Lahiri (shuvendu)
Proceedings of the ACM on Management of Data (SIGMOD 2025) | February 2025, Vol 3