{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,15]],"date-time":"2026-09-15T01:16:20Z","timestamp":1789434980114,"version":"build-2803163510"},"reference-count":130,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA1","license":[{"start":{"date-parts":[[2022,4,29]],"date-time":"2022-04-29T00:00:00Z","timestamp":1651190400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"crossref","award":["EP\/T022124\/1"],"award-info":[{"award-number":["EP\/T022124\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["682588"],"award-info":[{"award-number":["682588"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2022,4,29]]},"abstract":"<jats:p>This paper introduces semi-ring dictionaries, a powerful class of compositional and purely functional collections that subsume other collection types such as sets, multisets, arrays, vectors, and matrices. We developed SDQL, a statically typed language that can express relational algebra with aggregations, linear algebra, and functional collections over data such as relations and matrices using semi-ring dictionaries. Furthermore, thanks to the algebraic structure behind these dictionaries, SDQL unifies a wide range of optimizations commonly used in databases (DB) and linear algebra (LA). As a result, SDQL enables efficient processing of hybrid DB and LA workloads, by putting together optimizations that are otherwise confined to either DB systems or LA frameworks. We show experimentally that a handful of DB and LA workloads can take advantage of the SDQL language and optimizations. SDQL can be competitive with or outperforms a host of systems that are state of the art in their own domain: in-memory DB systems Typer and Tectorwise for (flat, not nested) relational data; SciPy for LA workloads; sparse tensor compiler taco; the Trance nested relational engine; and the in-database machine learning engines LMFAO and Morpheus for hybrid DB\/LA workloads over relational data.<\/jats:p>","DOI":"10.1145\/3527333","type":"journal-article","created":{"date-parts":[[2022,4,29]],"date-time":"2022-04-29T15:42:03Z","timestamp":1651246923000},"page":"1-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Functional collection programming with semi-ring dictionaries"],"prefix":"10.1145","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9062-759X","authenticated-orcid":false,"given":"Amir","family":"Shaikhha","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5294-9088","authenticated-orcid":false,"given":"Mathieu","family":"Huot","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8498-8949","authenticated-orcid":false,"given":"Jaclyn","family":"Smith","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4682-7068","authenticated-orcid":false,"given":"Dan","family":"Olteanu","sequence":"additional","affiliation":[{"name":"University of Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,4,29]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201916)","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi , Paul Barham , Jianmin Chen , Zhifeng Chen , Andy Davis , Jeffrey Dean , Matthieu Devin , Sanjay Ghemawat , Geoffrey Irving , and Michael Isard . 2016 . TensorFlow: A System for Large-Scale Machine Learning .. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201916) . USENIX Association, USA. 265\u2013283. Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, and Michael Isard. 2016. TensorFlow: A System for Large-Scale Machine Learning.. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201916). USENIX Association, USA. 265\u2013283."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196959.3196960"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2902251.2902280"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.825794"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989284.1989302"},{"key":"e_1_2_1_6_1","volume-title":"ACM Haskell Symposium. ACM","author":"Anker Johan","year":"2013","unstructured":"Johan Anker and Josef Svenningsson . 2013 . An EDSL approach to high performance Haskell programming . In ACM Haskell Symposium. ACM , New York, NY, USA. 1\u201312. Johan Anker and Josef Svenningsson. 2013. An EDSL approach to high performance Haskell programming. In ACM Haskell Symposium. ACM, New York, NY, USA. 1\u201312."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742797"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24276-2_8"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1093\/imamat\/15.2.161"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1137\/060676489"},{"key":"e_1_2_1_11_1","volume-title":"TPC-H Analyzed: Hidden Messages and Lessons Learned from an Influential Benchmark","author":"Boncz Peter","unstructured":"Peter Boncz , Thomas Neumann , and Orri Erling . 2014. TPC-H Analyzed: Hidden Messages and Lessons Learned from an Influential Benchmark . Springer International Publishing , Cham . 61\u201376. isbn:978-3-319-04936-6 Peter Boncz, Thomas Neumann, and Orri Erling. 2014. TPC-H Analyzed: Hidden Messages and Lessons Learned from an Influential Benchmark. Springer International Publishing, Cham. 61\u201376. isbn:978-3-319-04936-6"},{"key":"e_1_2_1_12_1","volume-title":"Naturally embedded query languages","author":"Breazu-Tannen Val","unstructured":"Val Breazu-Tannen , Peter Buneman , and Limsoon Wong . 1992. Naturally embedded query languages . Springer . Val Breazu-Tannen, Peter Buneman, and Limsoon Wong. 1992. Naturally embedded query languages. Springer."},{"key":"e_1_2_1_13_1","volume-title":"Logical and computational aspects of programming with sets\/bags\/lists","author":"Breazu-Tannen Val","unstructured":"Val Breazu-Tannen and Ramesh Subrahmanyam . 1991. Logical and computational aspects of programming with sets\/bags\/lists . Springer . Val Breazu-Tannen and Ramesh Subrahmanyam. 1991. Logical and computational aspects of programming with sets\/bags\/lists. Springer."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331445"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331445"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00024-Q"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v24i1.7519"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1186\/s13073-017-0424-2"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.14778\/3137628.3137633"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2612186"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254079"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276493"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062348"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103736.2103740"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_2_1_26_1","volume-title":"Catalyzing Inquiry at the Interface of Computing and Biology, John C","author":"National Research Council (US) Committee. 2005.","unstructured":"National Research Council (US) Committee. 2005. On the Nature of Biological Data . In Catalyzing Inquiry at the Interface of Computing and Biology, John C . Wooley and Herbert S. Lin (Eds.). National Academies Press (US) . National Research Council (US) Committee. 2005. On the Nature of Biological Data. In Catalyzing Inquiry at the Interface of Computing and Biology, John C. Wooley and Herbert S. Lin (Eds.). National Academies Press (US)."},{"key":"e_1_2_1_27_1","unstructured":"Keith Conrad. 2018. Tensor products. Notes of course available on-line.  Keith Conrad. 2018. Tensor products. Notes of course available on-line."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1777707.1777724"},{"key":"e_1_2_1_29_1","volume-title":"Introduction to algorithms","author":"Cormen Thomas H","unstructured":"Thomas H Cormen , Charles E Leiserson , Ronald L Rivest , and Clifford Stein . 2009. Introduction to algorithms . MIT press . Thomas H Cormen, Charles E Leiserson, Ronald L Rivest, and Clifford Stein. 2009. Introduction to algorithms. MIT press."},{"key":"e_1_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Duncan Coutts Roman Leshchinskiy and Don Stewart. 2007. Stream Fusion. From Lists to Streams to Nothing at All. In ICFP \u201907.  Duncan Coutts Roman Leshchinskiy and Don Stewart. 2007. Stream Fusion. From Lists to Streams to Nothing at All. In ICFP \u201907.","DOI":"10.1145\/1291151.1291199"},{"key":"e_1_2_1_31_1","unstructured":"Andrew Crotty Alex Galakatos Kayhan Dursun Tim Kraska Ugur \u00c7etintemel and Stanley B Zdonik. 2015. Tupleware:\" Big\" Data Big Analytics Small Clusters.. In CIDR.  Andrew Crotty Alex Galakatos Kayhan Dursun Tim Kraska Ugur \u00c7etintemel and Stanley B Zdonik. 2015. Tupleware:\" Big\" Data Big Analytics Small Clusters.. In CIDR."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500613"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0241-8"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40425-019-0647-4"},{"key":"e_1_2_1_35_1","unstructured":"Corporacion Favorita. 2017. Corp. Favorita Grocery Sales Forecasting: Can you accurately predict sales for a large grocery chain?  Corporacion Favorita. 2017. Corp. Favorita Grocery Sales Forecasting: Can you accurately predict sales for a large grocery chain?"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/377674.377676"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213874"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.14778\/2140436.2140445"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503780.3503782"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236781"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_2_1_42_1","volume-title":"dioids and semirings: new models and algorithms. 41","author":"Gondran Michel","unstructured":"Michel Gondran and Michel Minoux . 2008. Graphs , dioids and semirings: new models and algorithms. 41 , Springer Science & Business Media . Michel Gondran and Michel Minoux. 2008. Graphs, dioids and semirings: new models and algorithms. 41, Springer Science & Business Media."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.273032"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-006-0018-x"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920866"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008705026446"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.14778\/2367502.2367510"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062354"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3070607.3070608"},{"key":"e_1_2_1_51_1","volume-title":"Monetdb: Two decades of research in column-oriented database","author":"Idreos S","year":"2012","unstructured":"S Idreos , F Groffen , N Nes , S Manegold , S Mullender , and M Kersten . 2012 . Monetdb: Two decades of research in column-oriented database . IEEE Data Engineering Bulletin . S Idreos, F Groffen, N Nes, S Manegold, S Mullender, and M Kersten. 2012. Monetdb: Two decades of research in column-oriented database. IEEE Data Engineering Bulletin."},{"key":"e_1_2_1_52_1","volume-title":"Proceedings of the","author":"Iverson Kenneth E","year":"1962","unstructured":"Kenneth E Iverson . 1962 . A Programming Language . In Proceedings of the May 1-3, 1962, spring joint computer conference. 345\u2013351. Kenneth E Iverson. 1962. A Programming Language. In Proceedings of the May 1-3, 1962, spring joint computer conference. 345\u2013351."},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/BigData.2017.8258298"},{"key":"e_1_2_1_54_1","volume-title":"Haskell workshop. 1, 203\u2013233","author":"Jones Simon Peyton","year":"2001","unstructured":"Simon Peyton Jones , Andrew Tolmach , and Tony Hoare . 2001 . Playing by the rules: rewriting as a practical optimisation technique in GHC . In Haskell workshop. 1, 203\u2013233 . Simon Peyton Jones, Andrew Tolmach, and Tony Hoare. 2001. Playing by the rules: rewriting as a practical optimisation technique in GHC. In Haskell workshop. 1, 203\u2013233."},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291209"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774975.2774981"},{"key":"e_1_2_1_57_1","unstructured":"Konstantinos Karanasos Matteo Interlandi Doris Xin Fotis Psallidas Rathijit Sen Kwanghyun Park Ivan Popivanov Supun Nakandal Subru Krishnan and Markus Weimer. 2020. Extending relational query processing with ML inference. In CIDR.  Konstantinos Karanasos Matteo Interlandi Doris Xin Fotis Psallidas Rathijit Sen Kwanghyun Park Ivan Popivanov Supun Nakandal Subru Krishnan and Markus Weimer. 2020. Extending relational query processing with ML inference. In CIDR."},{"key":"e_1_2_1_58_1","unstructured":"Manos Karpathiotakis Ioannis Alagiannis Thomas Heinis Miguel Branco and Anastasia Ailamaki. 2015. Just-in-time data virtualization: Lightweight data management with ViDa. In CIDR.  Manos Karpathiotakis Ioannis Alagiannis Thomas Heinis Miguel Branco and Anastasia Ailamaki. 2015. Just-in-time data virtualization: Lightweight data management with ViDa. In CIDR."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380776.2380778"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932681.1863582"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2016.7761646"},{"key":"e_1_2_1_62_1","doi-asserted-by":"crossref","unstructured":"Jeremy Kepner and John Gilbert. 2011. Graph algorithms in the language of linear algebra. 22 SIAM.  Jeremy Kepner and John Gilbert. 2011. Graph algorithms in the language of linear algebra. 22 SIAM.","DOI":"10.1137\/1.9780898719918"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.14778\/3275366.3284966"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209889.3209896"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000038"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009880"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133901"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-013-0348-4"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2902251.2902286"},{"key":"e_1_2_1_70_1","doi-asserted-by":"crossref","unstructured":"Konstantinos Krikellas Stratis Viglas and Marcelo Cintra. 2010. Generating code for holistic query evaluation. In ICDE. 613\u2013624.  Konstantinos Krikellas Stratis Viglas and Marcelo Cintra. 2010. Generating code for holistic query evaluation. In ICDE. 613\u2013624.","DOI":"10.1109\/ICDE.2010.5447892"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.14778\/3342263.3342633"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90056-1"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3299869.3319878"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1523"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500601"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btv048"},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142552"},{"key":"e_1_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.5555\/2946645.2946679"},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.14778\/3402707.3402723"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.5555\/639508.639512"},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732977.2732984"},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.14778\/2002938.2002940"},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3183758"},{"key":"e_1_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/3003665.3003667"},{"key":"e_1_2_1_85_1","volume-title":"Weld: A Common Runtime for High Performance Data Analytics. In Conference on Innovative Data Systems Research (CIDR).","author":"Palkar Shoumik","year":"2017","unstructured":"Shoumik Palkar , James J Thomas , Anil Shanbhag , Deepak Narayanan , Holger Pirk , Malte Schwarzkopf , Saman Amarasinghe , Matei Zaharia , and Stanford InfoLab . 2017 . Weld: A Common Runtime for High Performance Data Analytics. In Conference on Innovative Data Systems Research (CIDR). Shoumik Palkar, James J Thomas, Anil Shanbhag, Deepak Narayanan, Holger Pirk, Malte Schwarzkopf, Saman Amarasinghe, Matei Zaharia, and Stanford InfoLab. 2017. Weld: A Common Runtime for High Performance Data Analytics. In Conference on Innovative Data Systems Research (CIDR)."},{"key":"e_1_2_1_86_1","volume-title":"Automatic Differentiation in PyTorch. In NIPS 2017 Autodiff Workshop: The Future of Gradient-based Machine Learning Software and Techniques.","author":"Paszke Adam","year":"2017","unstructured":"Adam Paszke , Sam Gross , Soumith Chintala , Gregory Chanan , Edward Yang , Zachary DeVito , Zeming Lin , Alban Desmaison , Luca Antiga , and Adam Lerer . 2017 . Automatic Differentiation in PyTorch. In NIPS 2017 Autodiff Workshop: The Future of Gradient-based Machine Learning Software and Techniques. Adam Paszke, Sam Gross, Soumith Chintala, Gregory Chanan, Edward Yang, Zachary DeVito, Zeming Lin, Alban Desmaison, Luca Antiga, and Adam Lerer. 2017. Automatic Differentiation in PyTorch. In NIPS 2017 Autodiff Workshop: The Future of Gradient-based Machine Learning Software and Techniques."},{"key":"e_1_2_1_87_1","first-page":"2825","article-title":"Scikit-learn: Machine learning in Python","author":"Pedregosa Fabian","year":"2011","unstructured":"Fabian Pedregosa , Ga\u00ebl Varoquaux , Alexandre Gramfort , Vincent Michel , Bertrand Thirion , Olivier Grisel , Mathieu Blondel , Peter Prettenhofer , Ron Weiss , and Vincent Dubourg . 2011 . Scikit-learn: Machine learning in Python . Journal of machine learning research, 12 , Oct (2011), 2825 \u2013 2830 . Fabian Pedregosa, Ga\u00ebl Varoquaux, Alexandre Gramfort, Vincent Michel, Bertrand Thirion, Olivier Grisel, Mathieu Blondel, Peter Prettenhofer, Ron Weiss, and Vincent Dubourg. 2011. Scikit-learn: Machine learning in Python. Journal of machine learning research, 12, Oct (2011), 2825\u20132830.","journal-title":"Journal of machine learning research, 12"},{"key":"e_1_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840306"},{"key":"e_1_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/2799562.2799563"},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"e_1_2_1_91_1","volume-title":"Database Management Systems","author":"Ramakrishnan Raghu","unstructured":"Raghu Ramakrishnan and Johannes Gehrke . 2000. Database Management Systems ( 2 nd ed.). Osborne\/McGraw-Hill . isbn:0072440422 Raghu Ramakrishnan and Johannes Gehrke. 2000. Database Management Systems (2nd ed.). Osborne\/McGraw-Hill. isbn:0072440422","edition":"2"},{"key":"e_1_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/49346.49347"},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/3299869.3324961"},{"key":"e_1_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882939"},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796818000102"},{"key":"e_1_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122948.3122949"},{"key":"e_1_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341701"},{"key":"e_1_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183653"},{"key":"e_1_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2915244"},{"key":"e_1_2_1_100_1","volume-title":"Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP\u201919)","author":"Shaikhha Amir","year":"2019","unstructured":"Amir Shaikhha and Lionel Parreaux . 2019 . Finally, a Polymorphic Linear Algebra Language . In Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP\u201919) . Amir Shaikhha and Lionel Parreaux. 2019. Finally, a Polymorphic Linear Algebra Language. In Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP\u201919)."},{"key":"e_1_2_1_101_1","doi-asserted-by":"crossref","unstructured":"Amir Shaikhha Maximilian Schleich Alexandru Ghita and Dan Olteanu. 2020. Multi-Layer Optimizations for End-to-End Data Analytics. In CGO. 145\u2013157.  Amir Shaikhha Maximilian Schleich Alexandru Ghita and Dan Olteanu. 2020. Multi-Layer Optimizations for End-to-End Data Analytics. In CGO. 145\u2013157.","DOI":"10.1145\/3368826.3377923"},{"key":"e_1_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.14778\/3476311.3476356"},{"key":"e_1_2_1_103_1","unstructured":"Arun Kumar Side Li. 2019. MorpheusPy. https:\/\/github.com\/ADALabUCSD\/MorpheusPy  Arun Kumar Side Li. 2019. MorpheusPy. https:\/\/github.com\/ADALabUCSD\/MorpheusPy"},{"key":"e_1_2_1_104_1","unstructured":"Arun Kumar Side Li. 2019. MorpheusPy \u2013 Issue #3. https:\/\/github.com\/ADALabUCSD\/MorpheusPy\/issues\/3  Arun Kumar Side Li. 2019. MorpheusPy \u2013 Issue #3. https:\/\/github.com\/ADALabUCSD\/MorpheusPy\/issues\/3"},{"key":"e_1_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.14778\/3430915.3430933"},{"key":"e_1_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2015.27"},{"key":"e_1_2_1_107_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168812"},{"key":"e_1_2_1_108_1","volume-title":"Proceedings of the 2016 International Symposium on Code Generation and Optimization. 117\u2013127","author":"Daniele","unstructured":"Daniele G. Spampinato and Markus P\u00fcschel. 2016. A basic linear algebra compiler for structured matrices . In Proceedings of the 2016 International Symposium on Code Generation and Optimization. 117\u2013127 . Daniele G. Spampinato and Markus P\u00fcschel. 2016. A basic linear algebra compiler for structured matrices. In Proceedings of the 2016 International Symposium on Code Generation and Optimization. 117\u2013127."},{"key":"e_1_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784754"},{"key":"e_1_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature15394"},{"key":"e_1_2_1_111_1","volume-title":"Proceedings of the 28th International Conference on Machine Learning (ICML-11)","author":"Sujeeth Arvind","year":"2011","unstructured":"Arvind Sujeeth , HyoukJoong Lee , Kevin Brown , Tiark Rompf , Hassan Chafi , Michael Wu , Anand Atreya , Martin Odersky , and Kunle Olukotun . 2011 . OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning . In Proceedings of the 28th International Conference on Machine Learning (ICML-11) (ICML \u201911). 609\u2013616. Arvind Sujeeth, HyoukJoong Lee, Kevin Brown, Tiark Rompf, Hassan Chafi, Michael Wu, Anand Atreya, Martin Odersky, and Kunle Olukotun. 2011. OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning. In Proceedings of the 28th International Conference on Machine Learning (ICML-11) (ICML \u201911). 609\u2013616."},{"key":"e_1_2_1_112_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581491"},{"key":"e_1_2_1_113_1","doi-asserted-by":"publisher","DOI":"10.1145\/2636228.2636231"},{"key":"e_1_2_1_114_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3196893"},{"key":"e_1_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224221"},{"key":"e_1_2_1_116_1","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322272"},{"key":"e_1_2_1_117_1","unstructured":"Hail Team. 2020. Hail 0.2. https:\/\/github.com\/hail-is\/hail  Hail Team. 2020. Hail 0.2. https:\/\/github.com\/hail-is\/hail"},{"key":"e_1_2_1_118_1","volume-title":"Proc. of the 3rd DBPL workshop (DBPL3). Morgan Kaufmann Publishers Inc.","author":"Trinder Phil","year":"1992","unstructured":"Phil Trinder . 1992 . Comprehensions, a Query Notation for DBPLs . In Proc. of the 3rd DBPL workshop (DBPL3). Morgan Kaufmann Publishers Inc. , San Francisco, CA, USA. 55\u201368. isbn:1-55860-242-9 Phil Trinder. 1992. Comprehensions, a Query Notation for DBPLs. In Proc. of the 3rd DBPL workshop (DBPL3). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA. 55\u201368. isbn:1-55860-242-9"},{"key":"e_1_2_1_119_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(75)80046-8"},{"key":"e_1_2_1_120_1","unstructured":"Nicolas Vasilache Oleksandr Zinenko Theodoros Theodoridis Priya Goyal Zachary DeVito William S Moses Sven Verdoolaege Andrew Adams and Albert Cohen. 2018. Tensor comprehensions: Framework-agnostic high-performance machine learning abstractions. arXiv preprint arXiv:1802.04730.  Nicolas Vasilache Oleksandr Zinenko Theodoros Theodoridis Priya Goyal Zachary DeVito William S Moses Sven Verdoolaege Andrew Adams and Albert Cohen. 2018. Tensor comprehensions: Framework-agnostic high-performance machine learning abstractions. arXiv preprint arXiv:1802.04730."},{"key":"e_1_2_1_121_1","volume-title":"Worst-Case Optimal Join Algorithm. In Proc. 17th International Conference on Database Theory (ICDT)","author":"Veldhuizen Todd L.","year":"2014","unstructured":"Todd L. Veldhuizen . 2014 . Leapfrog Triejoin: A Simple , Worst-Case Optimal Join Algorithm. In Proc. 17th International Conference on Database Theory (ICDT) , Athens, Greece , March 24-28, 2014.. 96\u2013106. Todd L. Veldhuizen. 2014. Leapfrog Triejoin: A Simple, Worst-Case Optimal Join Algorithm. In Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.. 96\u2013106."},{"key":"e_1_2_1_122_1","first-page":"12","article-title":"Processing Declarative Queries Through Generating Imperative Code in Managed Runtimes","volume":"37","author":"Viglas Stratis","year":"2014","unstructured":"Stratis Viglas , Gavin M. Bierman , and Fabian Nagel . 2014 . Processing Declarative Queries Through Generating Imperative Code in Managed Runtimes . IEEE Data Eng. Bull. , 37 , 1 (2014), 12 \u2013 21 . Stratis Viglas, Gavin M. Bierman, and Fabian Nagel. 2014. Processing Declarative Queries Through Generating Imperative Code in Managed Runtimes. IEEE Data Eng. Bull., 37, 1 (2014), 12\u201321.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_2_1_123_1","doi-asserted-by":"publisher","DOI":"10.7490\/f1000research.1114631.1"},{"key":"e_1_2_1_124_1","volume-title":"Deforestation: Transforming programs to eliminate trees. In ESOP\u201988. 344\u2013358.","author":"Wadler Philip","year":"1988","unstructured":"Philip Wadler . 1988 . Deforestation: Transforming programs to eliminate trees. In ESOP\u201988. 344\u2013358. Philip Wadler. 1988. Deforestation: Transforming programs to eliminate trees. In ESOP\u201988. 344\u2013358."},{"key":"e_1_2_1_125_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91592"},{"key":"e_1_2_1_126_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003585"},{"key":"e_1_2_1_127_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378860"},{"key":"e_1_2_1_128_1","volume-title":"Proceedings of the Tenth International Conference on Data Engineering. IEEE Computer Society, USA. 89\u2013100","author":"Weipeng","year":"1865","unstructured":"Weipeng P. Yan and Per-\u00c5ke Larson. 1994. Performing Group-By before Join . In Proceedings of the Tenth International Conference on Data Engineering. IEEE Computer Society, USA. 89\u2013100 . isbn:08 1865 4007 Weipeng P. Yan and Per-\u00c5ke Larson. 1994. Performing Group-By before Join. In Proceedings of the Tenth International Conference on Data Engineering. IEEE Computer Society, USA. 89\u2013100. isbn:0818654007"},{"key":"e_1_2_1_129_1","unstructured":"Yongyang Yu Mingjie Tang and Walid G Aref. 2021. Scalable relational query processing on big matrix data. arXiv preprint arXiv:2110.01767.  Yongyang Yu Mingjie Tang and Walid G Aref. 2021. Scalable relational query processing on big matrix data. arXiv preprint arXiv:2110.01767."},{"key":"e_1_2_1_130_1","first-page":"17","article-title":"MonetDB\/X100 - A DBMS In The CPU Cache","volume":"28","author":"Zukowski Marcin","year":"2005","unstructured":"Marcin Zukowski , Peter A Boncz , Niels Nes , and S\u00e1ndor H\u00e9man . 2005 . MonetDB\/X100 - A DBMS In The CPU Cache . IEEE Data Eng. Bull. , 28 , 2 (2005), 17 \u2013 22 . Marcin Zukowski, Peter A Boncz, Niels Nes, and S\u00e1ndor H\u00e9man. 2005. MonetDB\/X100 - A DBMS In The CPU Cache. IEEE Data Eng. Bull., 28, 2 (2005), 17\u201322.","journal-title":"IEEE Data Eng. Bull."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3527333","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3527333","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:53Z","timestamp":1750191533000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3527333"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,29]]},"references-count":130,"journal-issue":{"issue":"OOPSLA1","published-print":{"date-parts":[[2022,4,29]]}},"alternative-id":["10.1145\/3527333"],"URL":"https:\/\/doi.org\/10.1145\/3527333","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,4,29]]},"assertion":[{"value":"2022-04-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}