{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T22:49:11Z","timestamp":1774392551518,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"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":[[2021,3,2]]},"DOI":"10.1145\/3446804.3446844","type":"proceedings-article","created":{"date-parts":[[2021,2,14]],"date-time":"2021-02-14T10:23:10Z","timestamp":1613298190000},"page":"12-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Integrating a functional pattern-based IR into MLIR"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8865-9886","authenticated-orcid":false,"given":"Martin","family":"L\u00fccke","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5048-0741","authenticated-orcid":false,"given":"Michel","family":"Steuwer","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron","family":"Smith","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK \/ Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,2,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2020. Circuit IR Compilers and Tools (CIRCT). htps:\/\/github.com\/llvm\/ circt  2020. Circuit IR Compilers and Tools (CIRCT). htps:\/\/github.com\/llvm\/ circt"},{"key":"e_1_3_2_1_2_1","unstructured":"2020. MLIR Afine dialect online documentation. htps:\/\/mlir.llvm.org\/ docs\/Dialects\/Afine\/  2020. MLIR Afine dialect online documentation. htps:\/\/mlir.llvm.org\/ docs\/Dialects\/Afine\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2020. MLIR SCF dialect online documentation. htps:\/\/mlir.llvm.org\/ docs\/Dialects\/SCFDialect\/  2020. MLIR SCF dialect online documentation. htps:\/\/mlir.llvm.org\/ docs\/Dialects\/SCFDialect\/"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel. 1998. SSA is Functional Programming. ACM SIGPLAN Notices 33 4 ( 1998 ) 17?20. htps:\/\/doi.org\/10.1145\/278283. 278285  Andrew W. Appel. 1998. SSA is Functional Programming. ACM SIGPLAN Notices 33 4 ( 1998 ) 17?20. htps:\/\/doi.org\/10.1145\/278283. 278285","DOI":"10.1145\/278283.278285"},{"key":"e_1_3_2_1_5_1","unstructured":"Robert Atkey Michel Steuwer Sam Lindley and Christophe Dubach. 2017. Strategy Preserving Compilation for Parallel Functional Code. CoRR abs\/1710.08332 ( 2017 ).  Robert Atkey Michel Steuwer Sam Lindley and Christophe Dubach. 2017. Strategy Preserving Compilation for Parallel Functional Code. CoRR abs\/1710.08332 ( 2017 )."},{"key":"e_1_3_2_1_6_1","unstructured":"Paul Barham and Michael Isard. 2019. Machine Learning Systems are Stuck in a Rut. In HotOS. ACM 177?183. htps:\/\/doi.org\/10.1145\/ 3317550.3321441  Paul Barham and Michael Isard. 2019. Machine Learning Systems are Stuck in a Rut. In HotOS. ACM 177?183. htps:\/\/doi.org\/10.1145\/ 3317550.3321441"},{"key":"e_1_3_2_1_7_1","volume-title":"High Performance Code Generation in MLIR: An Early Case Study with GEMM. CoRR abs\/","author":"Bondhugula Uday","year":"2003","unstructured":"Uday Bondhugula . 2020. High Performance Code Generation in MLIR: An Early Case Study with GEMM. CoRR abs\/ 2003 .00532 ( 2020 ). Uday Bondhugula. 2020. High Performance Code Generation in MLIR: An Early Case Study with GEMM. CoRR abs\/ 2003.00532 ( 2020 )."},{"key":"e_1_3_2_1_8_1","volume-title":"TVM: An Automated End-to-End Optimizing Compiler for Deep Learning","author":"Chen Tianqi","year":"2018","unstructured":"Tianqi Chen , Thierry Moreau , Ziheng Jiang , Lianmin Zheng , Eddie Q. Yan , Haichen Shen , Meghan Cowan , Leyuan Wang , Yuwei Hu , Luis Ceze , Carlos Guestrin , and Arvind Krishnamurthy . 2018 . TVM: An Automated End-to-End Optimizing Compiler for Deep Learning . In OSDI. USENIX Association , 578?594. Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Q. Yan, Haichen Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, and Arvind Krishnamurthy. 2018. TVM: An Automated End-to-End Optimizing Compiler for Deep Learning. In OSDI. USENIX Association, 578?594."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Ron Cytron Jeanne Ferrante Barry K. Rosen Mark N. Wegman and F. Kenneth Zadeck. 1991. Eficiently computing static single assignment form and the control dependence graph. Transactions on Programming Languages and Systems 13 ( 1991 ) 451?490. htps: \/\/doi.org\/10.1145\/115372.115320  Ron Cytron Jeanne Ferrante Barry K. Rosen Mark N. Wegman and F. Kenneth Zadeck. 1991. Eficiently computing static single assignment form and the control dependence graph. Transactions on Programming Languages and Systems 13 ( 1991 ) 451?490. htps: \/\/doi.org\/10.1145\/115372.115320","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_10_1","unstructured":"Google. 2020. XLA HLO. htps:\/\/github.com\/tensorflow\/mlir-hlo  Google. 2020. XLA HLO. htps:\/\/github.com\/tensorflow\/mlir-hlo"},{"key":"e_1_3_2_1_11_1","volume-title":"Domain-Specific Multi-Level IR Rewriting for GPU. CoRR abs\/","author":"Gysi Tobias","year":"2005","unstructured":"Tobias Gysi , Christoph M\u00fcller , Oleksandr Zinenko , Stephan Herhut , Eddie Davis , Tobias Wicky , Oliver Fuhrer , Torsten Hoefler , and Tobias Grosser . 2020. Domain-Specific Multi-Level IR Rewriting for GPU. CoRR abs\/ 2005 .13014 ( 2020 ). Tobias Gysi, Christoph M\u00fcller, Oleksandr Zinenko, Stephan Herhut, Eddie Davis, Tobias Wicky, Oliver Fuhrer, Torsten Hoefler, and Tobias Grosser. 2020. Domain-Specific Multi-Level IR Rewriting for GPU. CoRR abs\/ 2005.13014 ( 2020 )."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. ACM Program. Lang. 4, ICFP ( 2020 ), 92 :1?92: 29","author":"Hagedorn Bastian","year":"2020","unstructured":"Bastian Hagedorn , Johannes Lenfers , Thomas Koehler , Xueying Qin , Sergei Gorlatch , and Michel Steuwer . 2020 . Achieving highperformance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies . Proc. ACM Program. Lang. 4, ICFP ( 2020 ), 92 :1?92: 29 . htps:\/\/doi.org\/10.1145\/3408974 Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei Gorlatch, and Michel Steuwer. 2020. Achieving highperformance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies. Proc. ACM Program. Lang. 4, ICFP ( 2020 ), 92 :1?92: 29. htps:\/\/doi.org\/10.1145\/3408974"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Bastian Hagedorn Larisa Stoltzfus Michel Steuwer Sergei Gorlatch and Christophe Dubach. 2018. High performance stencil code generation with lift. In CGO. ACM 100?112. htps:\/\/doi.org\/10.1145\/3168824  Bastian Hagedorn Larisa Stoltzfus Michel Steuwer Sergei Gorlatch and Christophe Dubach. 2018. High performance stencil code generation with lift. In CGO. ACM 100?112. htps:\/\/doi.org\/10.1145\/3168824","DOI":"10.1145\/3168824"},{"key":"e_1_3_2_1_14_1","volume-title":"INSPIRE: The insieme parallel intermediate representation","author":"Jordan Herbert","year":"2013","unstructured":"Herbert Jordan , Simone Pellegrini , Peter Thoman , Klaus Kofler , and Thomas Fahringer . 2013 . INSPIRE: The insieme parallel intermediate representation . In PACT. IEEE Computer Society , 7?17. htps:\/\/doi. org\/10.1109\/PACT. 2013.6618799 Herbert Jordan, Simone Pellegrini, Peter Thoman, Klaus Kofler, and Thomas Fahringer. 2013. INSPIRE: The insieme parallel intermediate representation. In PACT. IEEE Computer Society, 7?17. htps:\/\/doi. org\/10.1109\/PACT. 2013.6618799"},{"key":"e_1_3_2_1_15_1","volume-title":"Adve","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram S . Adve . 2004 . LLVM : A Compilation Framework for Lifelong Program Analysis & Transformation. In CGO. IEEE Computer Society , 75?88. htps:\/\/doi.org\/10.1109\/CGO. 2004.1281665 Chris Lattner and Vikram S. Adve. 2004. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In CGO. IEEE Computer Society, 75?88. htps:\/\/doi.org\/10.1109\/CGO. 2004.1281665"},{"key":"e_1_3_2_1_16_1","volume-title":"MLIR: Scaling Compiler Infrastructure for Domain Specific Computation. In CGO.","author":"Lattner Chris","year":"2021","unstructured":"Chris Lattner , Mehdi Amini , Uday Bondhugula , Albert Cohen , Andy Davis , Jacques Pienaar , River Riddle , Tatiana Shpeisman , Nicolas Vasilache , and Oleksandr Zinenko . 2021 . MLIR: Scaling Compiler Infrastructure for Domain Specific Computation. In CGO. Chris Lattner, Mehdi Amini, Uday Bondhugula, Albert Cohen, Andy Davis, Jacques Pienaar, River Riddle, Tatiana Shpeisman, Nicolas Vasilache, and Oleksandr Zinenko. 2021. MLIR: Scaling Compiler Infrastructure for Domain Specific Computation. In CGO."},{"key":"e_1_3_2_1_17_1","volume-title":"Compiling ONNX Neural Network Models Using MLIR. CoRR abs\/","author":"Le Tung D.","year":"2008","unstructured":"Tung D. Le , Gheorghe-Teodor Bercea , Tong Chen , Alexandre E. Eichenberger , Haruki Imai , Tian Jin , Kiyokuni Kawachiya , Yasushi Negishi , and Kevin O'Brien . 2020. Compiling ONNX Neural Network Models Using MLIR. CoRR abs\/ 2008 .08272 ( 2020 ). Tung D. Le, Gheorghe-Teodor Bercea, Tong Chen, Alexandre E. Eichenberger, Haruki Imai, Tian Jin, Kiyokuni Kawachiya, Yasushi Negishi, and Kevin O'Brien. 2020. Compiling ONNX Neural Network Models Using MLIR. CoRR abs\/ 2008.08272 ( 2020 )."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2015.7054200"},{"key":"e_1_3_2_1_19_1","volume-title":"PyTorch: An Imperative Style","author":"Paszke Adam","unstructured":"Adam Paszke , Sam Gross , Francisco Massa , Adam Lerer , James Bradbury , Gregory Chanan , Trevor Killeen , Zeming Lin , Natalia Gimelshein , Luca Antiga , Alban Desmaison , Andreas Kopf , Edward Yang , Zachary DeVito , Martin Raison , Alykhan Tejani , Sasank Chilamkurthy , Benoit Steiner , Lu Fang , Junjie Bai , and Soumith Chintala . 2019. PyTorch: An Imperative Style , High-Performance Deep Learning Library . In Advances in Neural Information Processing Systems 32, H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alch\u00e9-Buc, E. Fox, and R. Garnett (Eds.). Curran Associates, Inc. Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas Kopf, Edward Yang, Zachary DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019. PyTorch: An Imperative Style, High-Performance Deep Learning Library. In Advances in Neural Information Processing Systems 32, H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alch\u00e9-Buc, E. Fox, and R. Garnett (Eds.). Curran Associates, Inc."},{"key":"e_1_3_2_1_20_1","volume-title":"MLIR in TensorFlow Ecosystem. Compilers For Machine Learning (C4ML)","author":"Pienaar Jacques","year":"2020","unstructured":"Jacques Pienaar . 2020. MLIR in TensorFlow Ecosystem. Compilers For Machine Learning (C4ML) 2020 , San Diego, CA , USA. Jacques Pienaar. 2020. MLIR in TensorFlow Ecosystem. Compilers For Machine Learning (C4ML) 2020, San Diego, CA, USA."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185520.2185528"},{"key":"e_1_3_2_1_22_1","unstructured":"Fabrice Rastello et al. 2016. SSA-Based Compiler Design (1st ed.). Springer Publishing Company Incorporated. htp:\/\/ssabook.gforge. inria.fr\/latest\/book.pdf  Fabrice Rastello et al. 2016. SSA-Based Compiler Design (1st ed.). Springer Publishing Company Incorporated. htp:\/\/ssabook.gforge. inria.fr\/latest\/book.pdf"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Michel Steuwer Christian Fensch Sam Lindley and Christophe Dubach. 2015. Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. In ICFP. ACM 205?217. htps:\/\/doi.org\/10.1145\/2858949. 2784754  Michel Steuwer Christian Fensch Sam Lindley and Christophe Dubach. 2015. Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. In ICFP. ACM 205?217. htps:\/\/doi.org\/10.1145\/2858949. 2784754","DOI":"10.1145\/2858949.2784754"},{"key":"e_1_3_2_1_24_1","unstructured":"Michel Steuwer Toomas Remmelg and Christophe Dubach. 2016. Matrix multiplication beyond auto-tuning: rewrite-based GPU code generation. In CASES. ACM 15 :1?15: 10. htps:\/\/doi.org\/10.1145\/2968455. 2968521  Michel Steuwer Toomas Remmelg and Christophe Dubach. 2016. Matrix multiplication beyond auto-tuning: rewrite-based GPU code generation. In CASES. ACM 15 :1?15: 10. htps:\/\/doi.org\/10.1145\/2968455. 2968521"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863730"}],"event":{"name":"CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction","location":"Virtual Republic of Korea","acronym":"CC '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3446804.3446844","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3446804.3446844","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:31Z","timestamp":1750193251000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3446804.3446844"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,27]]},"references-count":25,"alternative-id":["10.1145\/3446804.3446844","10.1145\/3446804"],"URL":"https:\/\/doi.org\/10.1145\/3446804.3446844","relation":{},"subject":[],"published":{"date-parts":[[2021,2,27]]},"assertion":[{"value":"2021-02-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}