{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:54Z","timestamp":1772164074405,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,3,14]],"date-time":"2015-03-14T00:00:00Z","timestamp":1426291200000},"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":[[2015,3,14]]},"DOI":"10.1145\/2694344.2694368","type":"proceedings-article","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T09:15:23Z","timestamp":1425374123000},"page":"415-428","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Ziria"],"prefix":"10.1145","author":[{"given":"Gordon","family":"Stewart","sequence":"first","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}]},{"given":"Mahanth","family":"Gowda","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA"}]},{"given":"Geoffrey","family":"Mainland","sequence":"additional","affiliation":[{"name":"Drexel University, Philadelphia, PA, USA"}]},{"given":"Bozidar","family":"Radunovic","sequence":"additional","affiliation":[{"name":"Microsoft Research Cambridge, Cambridge, United Kingdom"}]},{"given":"Dimitrios","family":"Vytiniotis","sequence":"additional","affiliation":[{"name":"Microsoft Research Cambridge, Cambridge, United Kingdom"}]},{"given":"Cristina Luengo","family":"Agullo","sequence":"additional","affiliation":[{"name":"Universitat Politecnica de Catalunya, Barcelona, Spain"}]}],"member":"320","published-online":{"date-parts":[[2015,3,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"3GPP 36.211. Evolved universal terrestrial radio access (e-utra) - physical channels and modulation. URL http:\/\/www.3gpp.org\/DynaReport\/36211.htm.  3GPP 36.211. Evolved universal terrestrial radio access (e-utra) - physical channels and modulation. URL http:\/\/www.3gpp.org\/DynaReport\/36211.htm."},{"key":"e_1_3_2_1_2_1","unstructured":"3GPP 36.212. Evolved universal terrestrial radio access (e-utra) - multiplexing and channel coding. URL http:\/\/www.3gpp.org\/DynaReport\/36212.htm.  3GPP 36.212. Evolved universal terrestrial radio access (e-utra) - multiplexing and channel coding. URL http:\/\/www.3gpp.org\/DynaReport\/36212.htm."},{"key":"e_1_3_2_1_3_1","unstructured":"3GPP 36.213. Evolved universal terrestrial radio access (e-utra) - physical layer procedures. URL http:\/\/www.3gpp.org\/DynaReport\/36213.htm.  3GPP 36.213. Evolved universal terrestrial radio access (e-utra) - physical layer procedures. URL http:\/\/www.3gpp.org\/DynaReport\/36213.htm."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869469"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558637"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491246.2491254"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342464"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500423.2500450"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/78.950795"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491246.2491248"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/993247.993251"},{"key":"e_1_3_2_1_13_1","volume-title":"Brick specification","year":"2011","unstructured":"Bricks. Microsoft Research , Brick specification , 2011 . URL http:\/\/research.microsoft.com\/apps\/pubs\/default.aspx?id=160800. Bricks. Microsoft Research, Brick specification, 2011. URL http:\/\/research.microsoft.com\/apps\/pubs\/default.aspx?id=160800."},{"key":"e_1_3_2_1_14_1","volume-title":"Chalmers tekniska h\u00f6gskola","author":"Carlsson Magnus","year":"1998","unstructured":"Magnus Carlsson and Thomas Hallgren . Fudgets - Purely Functional Processes with applications to Graphical User Interfaces. Doktorsavhandlingar vid Chalmers tekniska h\u00f6gskola. Ny serie, no: 1366. Institutionen f\u00f6r datavetenskap , Chalmers tekniska h\u00f6gskola , 1998 . ISBN 91--7197--611--6. Magnus Carlsson and Thomas Hallgren. Fudgets - Purely Functional Processes with applications to Graphical User Interfaces. Doktorsavhandlingar vid Chalmers tekniska h\u00f6gskola. Ny serie, no: 1366. Institutionen f\u00f6r datavetenskap, Chalmers tekniska h\u00f6gskola, 1998. ISBN 91--7197--611--6."},{"key":"e_1_3_2_1_15_1","volume-title":"Lacanau. HERMES","author":"Caspi Paul","year":"1993","unstructured":"Paul Caspi . Lucid Synchrone . In Actes du colloque INRIA OPOPAC , Lacanau. HERMES , November 1993 . Paul Caspi. Lucid Synchrone. In Actes du colloque INRIA OPOPAC, Lacanau. HERMES, November 1993."},{"key":"e_1_3_2_1_16_1","volume-title":"a functional extension of Lustre. Technical report","author":"Caspi Paul","year":"2000","unstructured":"Paul Caspi and Marc Pouzet . Lucid Synchrone , a functional extension of Lustre. Technical report , Univ. Pierre et Marie Curie, Lab. LIP6, 2000 . Paul Caspi and Marc Pouzet. Lucid Synchrone, a functional extension of Lustre. Technical report, Univ. Pierre et Marie Curie, Lab. LIP6, 2000."},{"key":"e_1_3_2_1_17_1","volume-title":"Haskell Workshop","author":"Courtney Antony","year":"2001","unstructured":"Antony Courtney and Conal Elliott . Genuinely functional user interfaces . In Haskell Workshop , 2001 . Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In Haskell Workshop, 2001."},{"key":"e_1_3_2_1_18_1","unstructured":"Demo. Ziria WiFi demo. URL http:\/\/research.microsoft.com\/apps\/video\/default.aspx?id=228361.  Demo. Ziria WiFi demo. URL http:\/\/research.microsoft.com\/apps\/video\/default.aspx?id=228361."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491246.2491247"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596643"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/258949.258973"},{"key":"e_1_3_2_1_22_1","unstructured":"GitHub. Ziria github repository. URL https:\/\/github.com\/dimitriv\/Ziria.  GitHub. Ziria github repository. URL https:\/\/github.com\/dimitriv\/Ziria."},{"key":"e_1_3_2_1_23_1","unstructured":"GSM. Fairwaves GSM base-station. URL https:\/\/fairwaves.co\/wp\/.  GSM. Fairwaves GSM base-station. URL https:\/\/fairwaves.co\/wp\/."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_25_1","volume-title":"Part 11: Wireless LAN MAC and PHY specifications high-speed physical layer in the 5 GHz band","author":"IEEE.","year":"1999","unstructured":"999)}80211a IEEE. Part 11: Wireless LAN MAC and PHY specifications high-speed physical layer in the 5 GHz band , 1999 . URL http:\/\/standards.ieee.org\/getieee802\/download\/802.11a-1999.pdf. 999)}80211aIEEE. Part 11: Wireless LAN MAC and PHY specifications high-speed physical layer in the 5 GHz band, 1999. URL http:\/\/standards.ieee.org\/getieee802\/download\/802.11a-1999.pdf."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/ett.4460080106"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2030613.2030621"},{"key":"e_1_3_2_1_29_1","unstructured":"Lyrtech. Lyrtech. URL http:\/\/intrinsic.lyrtech.com\/.  Lyrtech. Lyrtech. URL http:\/\/intrinsic.lyrtech.com\/."},{"key":"e_1_3_2_1_30_1","unstructured":"Mathworks. Simulink. URL http:\/\/www.mathworks.co.uk\/products\/simulink\/.  Mathworks. Simulink. URL http:\/\/www.mathworks.co.uk\/products\/simulink\/."},{"key":"e_1_3_2_1_31_1","unstructured":"Microsoft. Windows driver kit version 7. URL http:\/\/www.microsoft.com\/en-us\/download\/details.aspx?id=11800.  Microsoft. Windows driver kit version 7. URL http:\/\/www.microsoft.com\/en-us\/download\/details.aspx?id=11800."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_33_1","volume-title":"ESPC","author":"Murphy Patrick","year":"2006","unstructured":"Patrick Murphy , Ashu Sabharwal , and Behnaam Aazhang . Design of WARP: a wireless open-access research platform . In ESPC , 2006 . Patrick Murphy, Ashu Sabharwal, and Behnaam Aazhang. Design of WARP: a wireless open-access research platform. In ESPC, 2006."},{"key":"e_1_3_2_1_34_1","unstructured":"Myriad. MyriadRF open source wireless hardware. URL http:\/\/myriadrf.org\/.  Myriad. MyriadRF open source wireless hardware. URL http:\/\/myriadrf.org\/."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1872007.1872013"},{"key":"e_1_3_2_1_36_1","unstructured":"NI. National instruments LabVIEW. URL http:\/\/www.ni.com\/labview\/.  NI. National instruments LabVIEW. URL http:\/\/www.ni.com\/labview\/."},{"key":"e_1_3_2_1_37_1","unstructured":"OFDM. GNU Radio OFDM implementation. URL http:\/\/gnuradio.org\/redmine\/projects\/gnuradio\/repository\/changes\/gr-digital\/python\/digital\/ofdm_receiver.py?rev=master.  OFDM. GNU Radio OFDM implementation. URL http:\/\/gnuradio.org\/redmine\/projects\/gnuradio\/repository\/changes\/gr-digital\/python\/digital\/ofdm_receiver.py?rev=master."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/645769.667757"},{"key":"e_1_3_2_1_39_1","unstructured":"Pipes. Haskell Pipes Tutorial. URL http:\/\/hackage.haskell.org\/package\/pipes-4.0.0\/docs\/Pipes-Tutorial.html.  Pipes. Haskell Pipes Tutorial. URL http:\/\/hackage.haskell.org\/package\/pipes-4.0.0\/docs\/Pipes-Tutorial.html."},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the IEEE, special issue on \"Program Generation, Optimization, and Adaptation\", 93 (2): 232-- 275","author":"P\u00fcschel Markus","year":"2005","unstructured":"hel Markus P\u00fcschel , Jos\u00e9 M. F. Moura , Jeremy Johnson , David Padua , Manuela Veloso , Bryan Singer , Jianxin Xiong , Franz Franchetti , Aca Gacic , Yevgen Voronenko , Kang Chen , Robert W. Johnson , and Nicholas Rizzolo . SPIRAL : Code generation for DSP transforms . Proceedings of the IEEE, special issue on \"Program Generation, Optimization, and Adaptation\", 93 (2): 232-- 275 , 2005 . hel et al.(2005)P\u00fcschel, Moura, Johnson, Padua, Veloso, Singer, Xiong, Franchetti, Gacic, Voronenko, Chen, Johnson, and Rizzolo}Puschel:05Markus P\u00fcschel, Jos\u00e9 M. F. Moura, Jeremy Johnson, David Padua, Manuela Veloso, Bryan Singer, Jianxin Xiong, Franz Franchetti, Aca Gacic, Yevgen Voronenko, Kang Chen, Robert W. Johnson, and Nicholas Rizzolo. SPIRAL: Code generation for DSP transforms. Proceedings of the IEEE, special issue on \"Program Generation, Optimization, and Adaptation\", 93 (2): 232-- 275, 2005."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2008.124"},{"key":"e_1_3_2_1_42_1","volume-title":"SDR WinnComm","author":"Rondeau T.","year":"2013","unstructured":"T. Rondeau , N. McCarthy , and T. O'Shea . SIMD programming in GNURadio: Maintainable and user-friendly algorithm optimization with VOLK . In SDR WinnComm , 2013 . T. Rondeau, N. McCarthy, and T. O'Shea. SIMD programming in GNURadio: Maintainable and user-friendly algorithm optimization with VOLK. In SDR WinnComm, 2013."},{"key":"e_1_3_2_1_43_1","unstructured":"Saankhya. Saankhya labs multi-standard modems. URL http:\/\/www.saankhyalabs.com.  Saankhya. Saankhya labs multi-standard modems. URL http:\/\/www.saankhyalabs.com."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2030613.2030641"},{"key":"e_1_3_2_1_45_1","volume-title":"Sora: High performance software radio using general purpose multi-core processors","author":"Tan K.","year":"2009","unstructured":"Tan, Zhang, Fang, Liu, Ye, Wang, Zhang, Wu, Wang, and Voelker}TanSora09 K. Tan , J. Zhang , J. Fang , H. Liu , Y. Ye , S. Wang , Y. Zhang , H. Wu , W. Wang , and G. Voelker . Sora: High performance software radio using general purpose multi-core processors , 2009 \\natexlaba. Tan, Zhang, Fang, Liu, Ye, Wang, Zhang, Wu, Wang, and Voelker}TanSora09K. Tan, J. Zhang, J. Fang, H. Liu, Y. Ye, S. Wang, Y. Zhang, H. Wu, W. Wang, and G. Voelker. Sora: High performance software radio using general purpose multi-core processors, 2009\\natexlaba."},{"key":"e_1_3_2_1_46_1","first-page":"75","volume-title":"Proceedings of the 6th USENIX symposium on {N}etworked {S}ystems {D}esign and {I}mplementation, NSDI'09","author":"Tan Kun","year":"2009","unstructured":"Tan, Zhang, Fang, Liu, Ye, Wang, Zhang, Wu, Wang, and Voelker}tan_sora:_2009 Kun Tan , Jiansong Zhang , Ji Fang , He Liu , Yusheng Ye , Shen Wang , Yongguang Zhang , Haitao Wu , Wei Wang , and Geoffrey M. Voelker . Sora: high performance software radio using general purpose multi-core processors . In Proceedings of the 6th USENIX symposium on {N}etworked {S}ystems {D}esign and {I}mplementation, NSDI'09 , pages 75 -- 90 , Berkeley, CA, USA , 2009 . USENIX Association. URL http:\/\/dl.acm.org\/citation.cfm?id=1558977.1558983. Tan, Zhang, Fang, Liu, Ye, Wang, Zhang, Wu, Wang, and Voelker}tan_sora:_2009Kun Tan, Jiansong Zhang, Ji Fang, He Liu, Yusheng Ye, Shen Wang, Yongguang Zhang, Haitao Wu, Wei Wang, and Geoffrey M. Voelker. Sora: high performance software radio using general purpose multi-core processors. In Proceedings of the 6th USENIX symposium on {N}etworked {S}ystems {D}esign and {I}mplementation, NSDI'09, pages 75--90, Berkeley, CA, USA, 2009. USENIX Association. URL http:\/\/dl.acm.org\/citation.cfm?id=1558977.1558983."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727935"},{"key":"e_1_3_2_1_49_1","unstructured":"TMS320. Texas Instruments TMS320TCI6616 Communications Infrastructure KeyStone SoC. URL http:\/\/www.ti.com\/lit\/ds\/sprs624d\/sprs624d.pdf.  TMS320. Texas Instruments TMS320TCI6616 Communications Infrastructure KeyStone SoC. URL http:\/\/www.ti.com\/lit\/ds\/sprs624d\/sprs624d.pdf."},{"key":"e_1_3_2_1_50_1","unstructured":"USRP. Ettus Research USRP: Universal Software Radio Peripheral. URL http:\/\/www.ettus.com\/.  USRP. Ettus Research USRP: Universal Software Radio Peripheral. URL http:\/\/www.ettus.com\/."},{"key":"e_1_3_2_1_51_1","unstructured":"Volo. Volo Wireless low-cost last mile broadband. URL http:\/\/www.volowireless.com\/.  Volo. Volo Wireless low-cost last mile broadband. URL http:\/\/www.volowireless.com\/."},{"key":"e_1_3_2_1_52_1","volume-title":"Proc. Software Defined Radio (SDR)","author":"Voronenko Y.","unstructured":"Voronenko, Arbatov, Berger, Peng, Puschel, and Franchetti}Voronenko10 Y. Voronenko , V. Arbatov , C. Berger , R. Peng , M. Puschel , and F. Franchetti . Computer generation of platform-adapted physical layer software . In Proc. Software Defined Radio (SDR) , 2010\\natexlaba. Voronenko, Arbatov, Berger, Peng, Puschel, and Franchetti}Voronenko10Y. Voronenko, V. Arbatov, C. Berger, R. Peng, M. Puschel, and F. Franchetti. Computer generation of platform-adapted physical layer software. In Proc. Software Defined Radio (SDR), 2010\\natexlaba."},{"key":"e_1_3_2_1_53_1","volume-title":"Proceedings Software Defined Radio (SDR)","author":"Voronenko Y","unstructured":"Voronenko, Arbatov, Berger, Peng, Pueschel, and Franchetti}voronenko2010computer Y Voronenko , V Arbatov , CR Berger , R Peng , M Pueschel , and F Franchetti . Computer generation of platform-adapted physical layer software . Proceedings Software Defined Radio (SDR) , 2010\\natexlabb. Voronenko, Arbatov, Berger, Peng, Pueschel, and Franchetti}voronenko2010computerY Voronenko, V Arbatov, CR Berger, R Peng, M Pueschel, and F Franchetti. Computer generation of platform-adapted physical layer software. Proceedings Software Defined Radio (SDR), 2010\\natexlabb."}],"event":{"name":"ASPLOS '15: Architectural Support for Programming Languages and Operating Systems","location":"Istanbul Turkey","acronym":"ASPLOS '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2694344.2694368","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2694344.2694368","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:32Z","timestamp":1750212812000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2694344.2694368"}},"subtitle":["A DSL for Wireless Systems Programming"],"short-title":[],"issued":{"date-parts":[[2015,3,14]]},"references-count":51,"alternative-id":["10.1145\/2694344.2694368","10.1145\/2694344"],"URL":"https:\/\/doi.org\/10.1145\/2694344.2694368","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2775054.2694368","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/2786763.2694368","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,3,14]]},"assertion":[{"value":"2015-03-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}