Work

QURE: AI-Assisted and Automatically Verified UDF Inlining

Year: 2025

Type: article

Source: Proceedings of the ACM on Management of Data

DOI: 10.1145/3709716

Authors: Tarique Siddiqui, Arnd Christian König, Jiashen Cao, Cong Yan, Shuvendu K. Lahiri

Institutions: Microsoft (United States), Georgia Institute of Technology, Snowflake Inc. (United States)

Language: English

Topic: Advanced Database Systems and Queries

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4407356002

FWCI: 0.895

Cites: 26

Cited by: 2

Related to: 10