{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:44Z","timestamp":1750309124681,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-0725202"],"award-info":[{"award-number":["CCF-0725202"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"DOE U.S. Department of Energy","doi-asserted-by":"publisher","award":["DE-FOA-0002460"],"award-info":[{"award-number":["DE-FOA-0002460"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,12]]},"DOI":"10.1145\/3597503.3639147","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T16:43:26Z","timestamp":1712940206000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Framework For Inferring Properties of User-Defined Functions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2797-2083","authenticated-orcid":false,"given":"Xinyu","family":"Liu","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7706-6978","authenticated-orcid":false,"given":"Joy","family":"Arulraj","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4516-9320","authenticated-orcid":false,"given":"Alessandro","family":"Orso","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. Sparta. https:\/\/engineering.fb.com\/2019\/02\/20\/open-source\/sparta\/."},{"key":"e_1_3_2_1_2_1","unstructured":"2022. Common subexpression elimination explained. https:\/\/learn.microsoft.com\/en-us\/sql\/analytics-platform-system\/common-sub-expression-elimination?view=aps-pdw-2016-au7."},{"key":"e_1_3_2_1_3_1","unstructured":"2022. CREATE MATERIALIZED VIEW AS SELECT (Transact-SQL). https:\/\/learn.microsoft.com\/en-us\/sql\/t-sql\/statements\/create-materialized-view-as-select-transact-sql?view=azure-sqldw-latest."},{"key":"e_1_3_2_1_4_1","unstructured":"2023. Froid vs Freud: Scalar T-SQL UDF Inlining. https:\/\/www.nikoport.com\/2019\/07\/16\/froid-vs-freud-scalar-t-sql-udf-inlining\/."},{"key":"e_1_3_2_1_5_1","unstructured":"2023. IBM Db2 UDF. https:\/\/www.ibm.com\/docs\/en\/db2-for-zos\/11?topic=statements-create-function-inlined-sql-scalar."},{"key":"e_1_3_2_1_6_1","unstructured":"2023. MySQL UDF. https:\/\/dev.mysql.com\/doc\/refman\/8.0\/en\/function-optimization.html."},{"key":"e_1_3_2_1_7_1","unstructured":"2023. PostgreSQL UDF. https:\/\/www.postgresql.org\/docs\/current\/sql-createfunction.html."},{"key":"e_1_3_2_1_8_1","unstructured":"2023. Scalar UDF Inlining. https:\/\/learn.microsoft.com\/en-us\/sql\/relational-databases\/user-defined-functions\/scalar-udf-inlining?view=azuresqldb-current&viewFallbackFrom=sql-server-2017."},{"key":"e_1_3_2_1_9_1","unstructured":"2023. Supplementary material. https:\/\/github.com\/sub-helper\/lambda_artifact"},{"key":"e_1_3_2_1_10_1","unstructured":"Anonymity. 2023. The platform name is anonymous for the review."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Andrew Crotty Alex Galakatos Kayhan Dursun Tim Kraska Carsten Binnig Ugur Cetintemel and Stan Zdonik. 2015. An architecture for compiling udf-centric workflows. In VLDB. 1466--1477.","DOI":"10.14778\/2824032.2824045"},{"key":"e_1_3_2_1_12_1","unstructured":"Christian Duta Denis Hirn and Torsten Grust. 2019. Compiling PL\/SQL Away. arXiv:1909.03291 [cs.DB]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Sofoklis Floratos Ahmad Ghazal Jason Sun Jianjun Chen and Xiaodong Zhang. 2021. DBSpinner: Making a Case for Iterative Processing in Databases. In ICDE. 2399--2410.","DOI":"10.1109\/ICDE51399.2021.00273"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.14778\/3489496.3489501"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3389736"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Surabhi Gupta and Karthik Ramachandra. 2021. Procedural Extensions of SQL: Understanding their usage in the wild. In VLDB. 1378--1391.","DOI":"10.14778\/3457390.3457402"},{"key":"e_1_3_2_1_17_1","unstructured":"Stefan Hagedorn Steffen Kl\u00e4be and Kai-Uwe Sattler. 2021. Putting pandas in a box. In CIDR."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Denis Hirn and Torsten Grust. 2021. One with recursive is worth many GOTOs. In SIGMOD. 723--735.","DOI":"10.1145\/3448016.3457272"},{"key":"e_1_3_2_1_19_1","volume-title":"Andreas Mueller, et al.","author":"Jindal Alekh","year":"2021","unstructured":"Alekh Jindal, K Venkatesh Emani, Maureen Daum, Olga Poppe, Brandon Haynes, Anna Pavlenko, Ayushi Gupta, Karthik Ramachandra, Carlo Curino, Andreas Mueller, et al. 2021. Magpie: Python at Speed and Scale using Cloud Backends.. In CIDR."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"John B Kam and Jeffrey D Ullman. 1976. Global data flow analysis and iterative algorithms. In JACM. 158--171.","DOI":"10.1145\/321921.321938"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"John B Kam and Jeffrey D Ullman. 1977. Monotone data flow analysis frameworks. In Acta informatica. 305--317.","DOI":"10.1007\/BF00290339"},{"key":"e_1_3_2_1_22_1","unstructured":"Raghunath Othayoth Nambiar and Meikel Poess. 2006. The making of TPC-DS. In VLDB. 1049--1058."},{"key":"e_1_3_2_1_23_1","volume-title":"Raghunath Othayoth Nambiar, and David Walrath","author":"Poess Meikel","year":"2007","unstructured":"Meikel Poess, Raghunath Othayoth Nambiar, and David Walrath. 2007. Why You Should Run TPC-DS: A Workload Analysis.. In VLDB. 1138--1149."},{"volume-title":"Multiple constant multiplications: Efficient and versatile framework and algorithms for exploring common subexpression elimination","author":"Potkonjak Miodrag","key":"e_1_3_2_1_24_1","unstructured":"Miodrag Potkonjak, Mani B Srivastava, and Anantha P Chandrakasan. 1996. Multiple constant multiplications: Efficient and versatile framework and algorithms for exploring common subexpression elimination. In IEEE TCAD. 151--165."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3186728.3164140"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Maximilian E Sch\u00fcle Jakob Huber Alfons Kemper and Thomas Neumann. 2020. Freedom for the sql-lambda: Just-in-time-compiling user-injected functions in postgresql. In SSDBM. 1--12.","DOI":"10.1145\/3400903.3400915"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Mark N Wegman and F Kenneth Zadeck. 1991. Constant propagation with conditional branches. In TOPLAS. 181--210.","DOI":"10.1145\/103135.103136"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Guoqiang Zhang Yuanchao Xu Xipeng Shen and I\u015f\u0131l Dillig. 2021. UDF to SQL translation through compositional lazy inductive synthesis. In OOPSLA. 1--26.","DOI":"10.1145\/3485489"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"],"location":"Lisbon Portugal","acronym":"ICSE '24"},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639147","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639147","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:12Z","timestamp":1750286952000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":28,"alternative-id":["10.1145\/3597503.3639147","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639147","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}