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, 第 3 卷
QURE: AI-assisted and Automatically Verified UDF to SQL Translation
论文与出版物
-
-
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, 第 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, 第 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, 第 3 卷
-