{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:58Z","timestamp":1780994578996,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,9]],"date-time":"2014-06-09T00:00:00Z","timestamp":1402272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,9]]},"DOI":"10.1145\/2594291.2594305","type":"proceedings-article","created":{"date-parts":[[2014,5,13]],"date-time":"2014-05-13T08:18:34Z","timestamp":1399969114000},"page":"554-564","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Consolidation of queries with user-defined functions"],"prefix":"10.1145","author":[{"given":"Marcelo","family":"Sousa","sequence":"first","affiliation":[{"name":"University of Oxford"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Isil","family":"Dillig","sequence":"additional","affiliation":[{"name":"UT Austin"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dimitrios","family":"Vytiniotis","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Dillig","sequence":"additional","affiliation":[{"name":"UT Austin"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christos","family":"Gkantsidis","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Linq project . URL http:\/\/msdn.microsoft.com\/en-us\/library\/vstudio\/bb397926.aspx.  Linq project . URL http:\/\/msdn.microsoft.com\/en-us\/library\/vstudio\/bb397926.aspx."},{"key":"e_1_3_2_1_2_1","unstructured":"Msdn linq documentation . URL http:\/\/msdn.microsoft.com\/en-us\/library\/bb669073(v=vs.110).aspx.  Msdn linq documentation . URL http:\/\/msdn.microsoft.com\/en-us\/library\/bb669073(v=vs.110).aspx."},{"key":"e_1_3_2_1_3_1","unstructured":"Storm project. URL http:\/\/storm-project.net.  Storm project. URL http:\/\/storm-project.net."},{"key":"e_1_3_2_1_4_1","unstructured":"Wordcount example. URL https:\/\/github.com\/MicrosoftResearchSVC\/Naiad\/blob\/release_0.2\/Examples\/.  Wordcount example. URL https:\/\/github.com\/MicrosoftResearchSVC\/Naiad\/blob\/release_0.2\/Examples\/."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00291051"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213959"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/320248.320249"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291199"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_10_1","volume-title":"A Discipline of Programming","author":"Dijkstra E. W.","year":"1976","unstructured":"E. W. Dijkstra . A Discipline of Programming . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1976 . E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1976."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/582353.582400"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.14778\/2168651.2168654"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_14_1","first-page":"1","volume-title":"OSDI'10","author":"Gunda P. K.","year":"2010","unstructured":"P. K. Gunda , L. Ravindranath , C. A. Thekkath , Y. Yu , and L. Zhuang . Nectar: automatic management of data and computation in datacenters . OSDI'10 , pages 1 -- 8 , 2010 . P. K. Gunda, L. Ravindranath, C. A. Thekkath, Y. Yu, and L. Zhuang. Nectar: automatic management of data and computation in datacenters. OSDI'10, pages 1--8, 2010."},{"key":"e_1_3_2_1_15_1","first-page":"567","volume-title":"LCPC","author":"Haghighat M.","year":"1993","unstructured":"M. Haghighat and C. D. Polychronopoulos . Symbolic analysis: A basis for parallelization, optimization, and scheduling of programs . In LCPC , pages 567 -- 585 , 1993 . M. Haghighat and C. D. Polychronopoulos. Symbolic analysis: A basis for parallelization, optimization, and scheduling of programs. In LCPC, pages 567--585, 1993."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001650050017"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350244"},{"key":"e_1_3_2_1_18_1","volume-title":"Partial Evaluation and Automatic Program Generation","author":"Jones N. D.","year":"1993","unstructured":"N. D. Jones , C. K. Gomard , and P. Sestoft . Partial Evaluation and Automatic Program Generation . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1993 . ISBN 0-13-020249-5. N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1993. ISBN 0-13-020249-5."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2010.5447892"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/645420.652535"},{"key":"e_1_3_2_1_21_1","first-page":"726225","volume-title":"USA","author":"Morgan C.","year":"1990","unstructured":"C. Morgan . Programming from Specifications. Prentice-Hall, Inc., Upper Saddle River, NJ , USA , 1990 . ISBN 0-13- 726225 - 726226 . C. Morgan. Programming from Specifications. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1990. ISBN 0-13-726225-6."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265561"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993513"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522738"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDMW.2010.172"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376726"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/645473.653403"},{"key":"e_1_3_2_1_28_1","unstructured":"G. Press. Scaling users not data: Sisense new take on machine learning and crowdsourcing. URL http:\/\/aka.ms\/Fzo7sh.  G. Press. Scaling users not data: Sisense new take on machine learning and crowdsourcing. URL http:\/\/aka.ms\/Fzo7sh."},{"key":"e_1_3_2_1_29_1","first-page":"4","article-title":"The Omega Test: a fast and practical integer programming algorithm for dependence analysis","volume":"8","author":"Pugh W.","year":"1992","unstructured":"W. Pugh . The Omega Test: a fast and practical integer programming algorithm for dependence analysis . CACM , 8 : 4 -- 13 , 1992 . W. Pugh. The Omega Test: a fast and practical integer programming algorithm for dependence analysis. CACM, 8:4--13, 1992.","journal-title":"CACM"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/42201.42203"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2012.106"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687553.1687609"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536222.2536254"},{"key":"e_1_3_2_1_34_1","first-page":"1","volume-title":"OSDI'08","author":"Yu Y.","unstructured":"Y. Yu , M. Isard , D. Fetterly , M. Budiu , U. Erlingsson , P. Gunda , and J. Currey . Dryadlinq: a system for general-purpose distributed data-parallel computing using a high-level language . OSDI'08 , pages 1 -- 14 . Y. Yu, M. Isard, D. Fetterly, M. Budiu, U. Erlingsson, P. Gunda, and J. Currey. Dryadlinq: a system for general-purpose distributed data-parallel computing using a high-level language. OSDI'08, pages 1--14."},{"key":"e_1_3_2_1_35_1","first-page":"22","volume-title":"NSDI'12","author":"Zhang J.","unstructured":"J. Zhang , H. Zhou , R. Chen , X. Fan , Z. Guo , H. Lin , J. Y. Li , W. Lin , J. Zhou , and L. Zhou . Optimizing data shuffling in data-parallel computation by understanding user-defined functions . NSDI'12 , pages 22 -- 22 . J. Zhang, H. Zhou, R. Chen, X. Fan, Z. Guo, H. Lin, J. Y. Li, W. Lin, J. Zhou, and L. Zhou. Optimizing data shuffling in data-parallel computation by understanding user-defined functions. NSDI'12, pages 22--22."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247540"}],"event":{"name":"PLDI '14: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Edinburgh United Kingdom","acronym":"PLDI '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","NSF"]},"container-title":["Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594305","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2594291.2594305","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:01:04Z","timestamp":1750215664000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594305"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,9]]},"references-count":36,"alternative-id":["10.1145\/2594291.2594305","10.1145\/2594291"],"URL":"https:\/\/doi.org\/10.1145\/2594291.2594305","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2666356.2594305","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,6,9]]},"assertion":[{"value":"2014-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}