QURE: AI-assisted and Automatically Verified UDF to SQL Translation

Publications

Afficher par:

- 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
  
  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, Vol 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, Vol 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, Vol 3
  
  Publication