{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:28Z","timestamp":1750221268952,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,7]],"date-time":"2017-09-07T00:00:00Z","timestamp":1504742400000},"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,9,7]]},"DOI":"10.1145\/3122948.3122950","type":"proceedings-article","created":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T12:52:29Z","timestamp":1504097549000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["From high-level radio protocol specifications to efficient low-level implementations via partial evaluation"],"prefix":"10.1145","author":[{"given":"Geoffrey","family":"Mainland","sequence":"first","affiliation":[{"name":"Drexel University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siddhanathan","family":"Shanmugam","sequence":"additional","affiliation":[{"name":"Drexel University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491246.2491254"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342464"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_4_1","first-page":"122","article-title":"GNU Radio: Tools for Exploring the Radio Frequency Spectrum","volume":"2004","author":"Blossom Eric","year":"2004","journal-title":"Linux Journal"},{"volume-title":"Eighth International Symposium on Languages for Intentional Programming (ISLIP \u201995)","year":"1995","author":"Caspi Paul","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2014.7040969"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291199"},{"key":"e_1_3_2_1_8_1","unstructured":"Fr\u00e9d\u00e9ric de Mesmay. 2010. On the Computer Generation of Adaptive Numerical Libraries. Ph.D. Dissertation. Electrical and Computer Engineering Carnegie Mellon University.  Fr\u00e9d\u00e9ric de Mesmay. 2010. On the Computer Generation of Adaptive Numerical Libraries. Ph.D. Dissertation. Electrical and Computer Engineering Carnegie Mellon University."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491246.2491247"},{"key":"e_1_3_2_1_10_1","unstructured":"Ettus Research. 2017. Ettus Research USRP: Universal Software Radio Peripheral. (July 2017). https:\/\/www.ettus.com\/  Ettus Research. 2017. Ettus Research USRP: Universal Software Radio Peripheral. (July 2017). https:\/\/www.ettus.com\/"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/26.31176"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.934155"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301661"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Thierry\n       \n      Gautier Paul Le Guernic and Lo\u00efc Besnard\n  . \n  1987\n  . \n  SIGNAL\n  : A Declarative Language for Synchronous Programming of Real-Time Systems. In Proceedings of Functional Programming Languages and Computer Architecture (FPCA \u201987) Gilles Kahn (Ed.). Number 274 in \n  Lecture Notes in Computer Science\n  . \n  Springer Portland Oregon 257\u2013277.   Thierry Gautier Paul Le Guernic and Lo\u00efc Besnard. 1987. SIGNAL: A Declarative Language for Synchronous Programming of Real-Time Systems. In Proceedings of Functional Programming Languages and Computer Architecture (FPCA \u201987) Gilles Kahn (Ed.). Number 274 in Lecture Notes in Computer Science. Springer Portland Oregon 257\u2013277.","DOI":"10.1007\/3-540-18317-5_15"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_17_1","first-page":"11","article-title":"IEEE Standard for Information Technology\u2014Telecommunications and Information Exchange between Systems Local and Metropolitan Area Networks\u2014Specific Requirements Part 11","volume":"802","author":"IEEE.","year":"2012","journal-title":"IEEE Std"},{"key":"e_1_3_2_1_18_1","unstructured":"Neil D.\n       \n      Jones Carsten K.\n       \n      Gomard and \n      \n      \n      Peter\n       \n      Sestoft\n    . 1993.\n      \n  \n   \n  Partial Evaluation and Automatic Program Generation. Prentice Hall International International Series in Computer Science\n  .   Neil D. Jones Carsten K. Gomard and Peter Sestoft. 1993. Partial Evaluation and Automatic Program Generation. Prentice Hall International International Series in Computer Science."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110263"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51676-9_12"},{"volume-title":"Proceedings of the 14th European Signal Processing Conference (EUSIPCO \u201906)","year":"2006","author":"Murphy Patrick","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1872007.1872013"},{"key":"e_1_3_2_1_23_1","unstructured":"Nuand. 2017. bladeRF Software Defined Radio. (July 2017). https:\/\/www.nuand. com\/  Nuand. 2017. bladeRF Software Defined Radio. (July 2017). https:\/\/www.nuand. com\/"},{"key":"e_1_3_2_1_24_1","first-page":"2","article-title":"Spiral","volume":"93","author":"P\u00fcschel Markus","year":"2005","journal-title":"Code Generation for DSP Transforms. Proc. IEEE"},{"volume-title":"Proceedings of SDR-WInnComm","year":"2013","author":"Rondeau T.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","unstructured":"Sora Core Team and Kun Tan. 2012. Brick Specification. Technical Report MSR-TR-2012-26. Microsoft Research.  Sora Core Team and Kun Tan. 2012. Brick Specification. Technical Report MSR-TR-2012-26. Microsoft Research."},{"volume-title":"Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS \u201915)","year":"2015","author":"Stewart Gordon","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","unstructured":"Gordon Stewart Dimitrios Vytiniotis Geoffrey Mainland Bozidar Radunovic and Edsko de Vries. 2016. Ziria. (April 2016). https:\/\/github.com\/dimitriv\/Ziria Version 85cc34db.  Gordon Stewart Dimitrios Vytiniotis Geoffrey Mainland Bozidar Radunovic and Edsko de Vries. 2016. Ziria. (April 2016). https:\/\/github.com\/dimitriv\/Ziria Version 85cc34db."},{"volume-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI \u201909)","author":"Tan Kun","key":"e_1_3_2_1_29_1"},{"volume-title":"Proceedings of the 11th International Conference on Compiler Construction (CC \u201902)","author":"Thies William","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Charles F. Van Loan. 1992. Computational frameworks for the Fast Fourier Transform. Society for Industrial and Applied Mathematics Philadelphia PA.   Charles F. Van Loan. 1992. Computational frameworks for the Fast Fourier Transform. Society for Industrial and Applied Mathematics Philadelphia PA.","DOI":"10.1137\/1.9781611970999"},{"volume-title":"Proceedings of Software Defined Radio (SDR \u201910)","year":"2010","author":"Voronenko Yevgen","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","unstructured":"William W. Wadge and Edward A. Ashcroft. 1985. Lucid the Dataflow Programming Language. Number 22 in A.P.I.C. Studies in Data Processing. Academic Press London.   William W. Wadge and Edward A. Ashcroft. 1985. Lucid the Dataflow Programming Language. Number 22 in A.P.I.C. Studies in Data Processing. Academic Press London."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143169"},{"volume-title":"SPL: A Language and Compiler for DSP Algorithms. (April","year":"2002","author":"Xiong Jianxin","key":"e_1_3_2_1_35_1"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378860"}],"event":{"name":"ICFP '17: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Oxford UK","acronym":"ICFP '17"},"container-title":["Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122948.3122950","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3122948.3122950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:04Z","timestamp":1750212664000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122948.3122950"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,7]]},"references-count":36,"alternative-id":["10.1145\/3122948.3122950","10.1145\/3122948"],"URL":"https:\/\/doi.org\/10.1145\/3122948.3122950","relation":{},"subject":[],"published":{"date-parts":[[2017,9,7]]},"assertion":[{"value":"2017-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}