{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:24Z","timestamp":1772164104967,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T00:00:00Z","timestamp":1508716800000},"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":[[2017,10,23]]},"DOI":"10.1145\/3136040.3136056","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:51:09Z","timestamp":1507798269000},"page":"219-232","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A Haskell compiler for signal transforms"],"prefix":"10.1145","author":[{"given":"Geoffrey","family":"Mainland","sequence":"first","affiliation":[{"name":"Drexel University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Johnson","sequence":"additional","affiliation":[{"name":"Drexel University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"169","volume-title":"Feldspar: A Domain Specific Language for Digital Signal Processing Algorithms. In Eighth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '10)","author":"Axelsson Emil","year":"2010"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAU.1970.1162132"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/954186.954190"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926354.1926358"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086397"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103736.2103740"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(00)00086-7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_18"},{"key":"e_1_3_2_1_9_1","first-page":"2","article-title":"High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control","volume":"37","author":"Franchetti Franz","year":"2017","journal-title":"IEEE Control Systems"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/838237.838386"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065048"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1188455.1188575"},{"key":"e_1_3_2_1_13_1","volume-title":"High Performance Computing for Computational Science (VECPAR '06) (Lecture Notes in Computer Science)","author":"Franchetti Franz"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301661"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840301"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.2517-6161.1958.tb00300.x"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.2517-6161.1960.tb00384.x"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASSP.1986.1164785"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351258"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01189337"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2006.882087"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863582"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086390"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017794"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the First International Conference on Embedded Software and Systems (ICESS '04)","volume":"3605","author":"Kiselyov Oleg","year":"2004"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Rudolf Lidl and G\u00fcnter Pilz. 1997. Applied Abstract Algebra (2nd ed.). Springer New York.  Rudolf Lidl and G\u00fcnter Pilz. 1997. Applied Abstract Algebra (2nd ed.). Springer New York.","DOI":"10.1007\/978-1-4757-2941-2"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364511"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291211"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863533"},{"key":"e_1_3_2_1_31_1","unstructured":"Lingchuan Meng. 2015. Automatic Library Generation and Performance Tuning for Modular Polynomial Multiplication. Ph.D. Dissertation. Drexel University Philadelphia PA.  Lingchuan Meng. 2015. Automatic Library Generation and Performance Tuning for Modular Polynomial Multiplication . Ph.D. Dissertation. Drexel University Philadelphia PA."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2159542.2159547"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517208.2517228"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_35_1","first-page":"2","article-title":"Spiral","volume":"93","author":"P\u00fcschel Markus","year":"2005","journal-title":"Code Generation for DSP Transforms. Proc. IEEE"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342004041291"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1968.6477"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868314"},{"key":"e_1_3_2_1_39_1","unstructured":"Martin Sch\u00f6nert and others. 1997. GAP - Groups Algorithms and Programming - Version 3 Release 4 Patchlevel 4. Lehrstuhl D f\u00fcr Mathematik Rheinisch Westf\u00e4lische Technische Hochschule Aachen Germany.  Martin Sch\u00f6nert and others. 1997. GAP - Groups Algorithms and Programming - Version 3 Release 4 Patchlevel 4 . Lehrstuhl D f\u00fcr Mathematik Rheinisch Westf\u00e4lische Technische Hochschule Aachen Germany."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Richard Tolimieri Myoung An and Chao Lu. 1997. Algorithms for Discrete Fourier Transform and Convolution (2nd ed.). Springer New York.  Richard Tolimieri Myoung An and Chao Lu. 1997. Algorithms for Discrete Fourier Transform and Convolution (2nd ed.). Springer New York.","DOI":"10.1007\/978-1-4757-2767-8"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Charles Van Loan. 1992. Computational Frameworks for the Fast Fourier Transform. Society for Industrial and Applied Mathematics Philadelphia.   Charles Van Loan. 1992. Computational Frameworks for the Fast Fourier Transform . Society for Industrial and Applied Mathematics Philadelphia.","DOI":"10.1137\/1.9781611970999"},{"key":"e_1_3_2_1_42_1","unstructured":"Yevgen Voronenko. 2008. Library Generation for Linear Transforms. Ph.D. Dissertation. Electrical and Computer Engineering Carnegie Mellon University.   Yevgen Voronenko. 2008. Library Generation for Linear Transforms . Ph.D. Dissertation. Electrical and Computer Engineering Carnegie Mellon University."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.33"},{"key":"e_1_3_2_1_44_1","volume-title":"SPL: A Language and Compiler for DSP Algorithms. https:\/\/web.archive.org\/web\/20041114220047\/ http:\/\/polaris.cs.uiuc.edu\/spl\/","author":"Xiong Jianxin","year":"2002"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378860"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1476589.1476610"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2014.2310434"}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Vancouver BC Canada","acronym":"SPLASH '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136040.3136056","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3136040.3136056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:13:36Z","timestamp":1750198416000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136040.3136056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,23]]},"references-count":47,"alternative-id":["10.1145\/3136040.3136056","10.1145\/3136040"],"URL":"https:\/\/doi.org\/10.1145\/3136040.3136056","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3170492.3136056","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,10,23]]},"assertion":[{"value":"2017-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}