Ziria: A DSL for wireless systems programming

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn 2015-January, Issue , 2015, Pages 415-428

  Stewart, Gordon ^a   Gowda, Mahanth ^b   Mainland, Geoffrey ^c   Radunović, Božidar ^d   Vytiniotis, Dimitrios ^d   Agulló, Cristina Luengo ^e  

^a PRINCETON UNIVERSITY   (United States)

^b UIUC   (United States)

^c DREXEL UNIVERSITY   (United States)

^d MSR Cambridge   (United States)

^e UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); DIGITAL SUBSCRIBER LINES; PHYSICAL LAYER; PIPELINES; PROBLEM ORIENTED LANGUAGES; PROGRAM PROCESSORS; SOFTWARE RADIO; TABLE LOOKUP;

DOMAIN SPECIFIC LANGUAGES; PROGRAMMING ABSTRACTIONS; PROGRAMMING FLEXIBILITY; RECONFIGURATION ALGORITHM; SOFTWARE-DEFINED RADIOS; STATE OF THE ART; WIRELESS PROTOCOL; WIRELESS PROTOCOL DESIGNS;

C++ (PROGRAMMING LANGUAGE);

EID: 84939161840     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2694344.2694368     Document Type: Conference Paper

References (53)

1. 3GPP 36.211. Evolved universal terrestrial radio access (e-utra) - physical channels and modulation. URL http://www.3gpp.org/DynaReport/36211.htm.
2. 3GPP 36.212. Evolved universal terrestrial radio access (e-utra) - multiplexing and channel coding. URL http://www.3gpp.org/DynaReport/36212.htm.
3. 3GPP 36.213. Evolved universal terrestrial radio access (e-utra) - physical layer procedures. URL http://www.3gpp.org/DynaReport/36213.htm.
4. Joshua Auerbach, David F. Bacon, Perry Cheng, and Rodric Rabbah. Lime: A java-compatible and synthesizable language for heterogeneous architectures. In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA '10, pages 89-108, 2010. ISBN 978-1-4503-0203-6.
5. Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Anders Persson, Mary Sheeran, Josef Svenningsson, András Vajda, et al. Feldspar: A domain specific language for digital signal processing algorithms. In FMMC, 2010.
6. H. V. Balan, M. Segura, S. Deora, A. Michaloliakos, R. Rogalin, K. Psounis, and G. Caire. USC SDR, an easy-to-program, high data rate, real time software radio platform. In Software Radio Implementation Forum, 2013.
7. Manu Bansal, Jeffrey Mehlman, Sachin Katti, and Philip Levis. OpenRadio: a programmable wireless dataplane. In HotSDN, 2012.
8. T. Bansal, B. Chen, P. Sinha, and K. Srinivasan. Symphony: Cooperative packet recovery over the wired backbone in enterprise WLANs. In MOBICOM, 2013.
9. Gérard Berry and Georges Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. SCP, 19(2), 1992.
10. Bishnupriya Bhattacharya and Shuvra S Bhattacharyya. Parameterized dataflow modeling for dsp systems. Signal Processing, IEEE Transactions on, 49(10):2408-2421, 2001.
11. B. Bloessl, M. Segata, C. Sommer, and F. Dressler. An IEEE 802.11a/g/p OFDM receiver for GNU radio. In SRIF, 2013.
12. Eric Blossom. GNURadio: tools for exploring the radio frequency spectrum. Linux Journal, 2004(122):4, 2004.
13. Bricks. Microsoft Research, Brick specification, 2011. URL http://research.microsoft.com/apps/pubs/default.aspx?id=160800.
14. Magnus Carlsson and Thomas Hallgren. Fudgets - Purely Functional Processes with applications to Graphical User Interfaces. Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie, no: 1366. Institutionen för datavetenskap, Chalmers tekniska högskola, 1998. ISBN 91-7197-611-6.
15. Paul Caspi. Lucid Synchrone. In Actes du colloque INRIA OPOPAC, Lacanau. HERMES, November 1993.
16. Paul Caspi and Marc Pouzet. Lucid Synchrone, a functional extension of Lustre. Technical report, Univ. Pierre et Marie Curie, Lab. LIP6, 2000.
17. Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In Haskell Workshop, 2001.
18. Demo. Ziria WiFi demo. URL http://research.microsoft.com/apps/video/default.aspx?id=228361.
19. A. Dutta, D. Saha, D. Grunwald, and D. Sicker. CODIPHY: Composing on-demand intelligent physical layers. In SRIF, 2013.
20. Conal Elliott. Push-pull functional reactive programming. In Haskell Symposium, 2009.
21. Conal Elliott and Paul Hudak. Functional reactive animation. In ACM SIGPLAN Notices, Volume 32, pages 263-273. ACM, 1997.
22. GitHub. Ziria github repository. URL https://github.com/dimitriv/Ziria.
23. GSM. Fairwaves GSM base-station. URL https://fairwaves.co/wp/.
24. John Hughes. Generalising monads to arrows. SCP, 37(1-3), 2000.
25. 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.
26. F. P. Kelly. Charging and rate control for elastic traffic. European Transactions on Telecommunications, 8:33-37, 1997.
27. A Solar Lezama. Program synthesis by sketching. PhD thesis, Citeseer, 2008.
28. T. Li, M. K. Han, A. Bhartia, L. Qiu, E. Rozner, Y. Zhang, and B. Zarikoff. CRMA: Collision-resistant multiple access. In MOBICOM, 2011.
29. Lyrtech. Lyrtech. URL http://intrinsic.lyrtech.com/.
30. Mathworks. Simulink. URL http://www.mathworks.co.uk/products/simulink/.
31. Microsoft. Windows driver kit version 7. URL http://www.microsoft.com/en-us/download/details.aspx?id=11800.
32. Eugenio Moggi. Notions of computation and monads. Inf. Comput., 93(1), 1991.
33. Patrick Murphy, Ashu Sabharwal, and Behnaam Aazhang. Design of WARP: a wireless open-access research platform. In ESPC, 2006.
34. Myriad. MyriadRF open source wireless hardware. URL http://myriadrf.org/.
35. Man Cheuk Ng, Kermin Elliott Fleming, Mythili Vutukuru, Samuel Gross, Arvind, and Hari Balakrishnan. Airblue: a system for cross-layer wireless protocol development. In Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems, ANCS '10, page 4:1-4:11, New York, NY, USA, 2010. ACM. ISBN 978-1-4503-0379-8.
36. NI. National instruments, LabVIEW. URL http://www.ni.com/labview/.
37. OFDM. GNU Radio OFDM implementation. URL http://gnuradio.org/redmine/projects/gnuradio/repository/changes/gr-digital/python/digital/ofdm-receiver.py?rev=master.
38. John Peterson, Paul Hudak, and Conal Elliott. Lambda in motion: Controlling robots with haskell. In Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, PADL '99, pages 91-105, London, UK, UK, 1998. Springer-Verlag. ISBN 3-540-65527-1. URL http://dl.acm.org/citation.cfm?id=645769.667757.
39. Pipes. Haskell Pipes Tutorial. URL http://hackage.haskell.org/package/pipes-4.0.0/docs/Pipes-Tutorial.html.
40. Markus Püschel, José 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.
41. S. Rayanchu, A. Mishra, D. Agrawal, S. Saha, and Suman Banerjee. Diagnosing wireless packet losses in 802.11: Separating collision from weak signal. In INFOCOM, 2008. The 27th Conference on Computer Communications. IEEE, April 2008.
42. T. Rondeau, N. McCarthy, and T. O'Shea. SIMD programming in GNURadio: Maintainable and user-friendly algorithm optimization with VOLK. In SDR WinnComm, 2013.
43. Saankhya. Saankhya labs, multi-standard modems. URL http://www.saankhyalabs.com.
44. S. Sen, R. R. Choudhury, and S. Nelakuditi. No time to countdown: Migrating backoff to the frequency domain. In MOBICOM, 2011.
45. 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.
46. 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.
47. Colin J Taylor. Formalising and reasoning about Fudgets. PhD thesis, University of Nottingham, 1998.
48. William Thies, Michal Karczmarek, and Saman Amarasinghe. StreamIt: A language for streaming applications. In CC, 2002.
49. TMS320. Texas Instruments TMS320TCI6616 Communications Infrastructure KeyStone SoC. URL http://www.ti.com/lit/ds/sprs624d/sprs624d.pdf.
50. USRP. Ettus Research, USRP: Universal Software Radio Peripheral. URL http://www.ettus.com/.
51. Volo. Volo Wireless, low-cost last mile broadband. URL http://www.volowireless.com/.
52. 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.
53. 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.