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
  
  Publication

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

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