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 권
-