Conference proceeding
A Domain-Specific Language for Software-Defined Radio
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2017), v 10137, pp 173-188
01 Jan 2017
Featured in Collection : UN Sustainable Development Goals @ Drexel
Abstract
Software-defined radio (SDR) is a demanding domain; real-world wireless protocols require high data rates and low latency. Existing SDR platforms, typically based on FPGAs, provide the necessary substrate for meeting these requirements, but the high-level tools available to program them are not capable of fully exploiting the underlying hardware to meet rigorous performance requirements. Ziria [11] demonstrated that a high-level language can compete in this demanding space, but its design was ad-hoc and overly influenced by the needs of the compiler writer since its surface language does double duty as the compiler's intermediate language.
We present a re-formulation of Ziria's surface language that includes a new type system that allows this language, which is effectful, to elaborate into a pure, monadic language where effects such as input/output and reference manipulation can be distinguished purely by type. This re-formulation and its elaboration into a core language is embodied in a new compiler for Ziria, kzc. By choosing an appropriate type system, awkward syntactic distinctions currently made by Ziria can be eliminated, although our new implementation maintains source compatibility with the original compiler due to a large body of existing Ziria code (a full 802.11 physical layer implementation). Our contribution is a description of the surface language, its type system, and its elaboration into a core language. We also show that far from being limited to the SDR domain, the constructs built-in to Ziria are applicable to other resource-constrained domains that require high-speed data processing.
Metrics
Details
- Title
- A Domain-Specific Language for Software-Defined Radio
- Creators
- Geoffrey Mainland - Drexel University
- Contributors
- Y Lierler (Editor)W Taha (Editor)
- Publication Details
- PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2017), v 10137, pp 173-188
- Series
- Lecture Notes in Computer Science
- Publisher
- Springer Nature
- Number of pages
- 16
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Computer Science
- Web of Science ID
- WOS:000405465900012
- Scopus ID
- 2-s2.0-85010209719
- Other Identifier
- 991019168324304721
UN Sustainable Development Goals (SDGs)
This publication has contributed to the advancement of the following goals:
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Web of Science research areas
- Computer Science, Software Engineering
- Computer Science, Theory & Methods