Better living through operational semantics: an optimizing compiler for radio protocols

No abstract is available for this paper.

• Publication year

  2017

• Venue

  Proc. ACM Program. Lang.

• Publication date

  2017-08-29

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/3110263
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Domain-Specific Language for Software-Defined Radio

  2017cited by this paper
• Ziria: A DSL for Wireless Systems Programming

  2015cited by this paper
• FPGA-based latency-insensitive OFDM pipeline for wireless research

  2014influential reference
• Ziria

  2014cited by this paper
• CODIPHY: composing on-demand intelligent physical layers

  2013cited by this paper
• USC SDR, an easy-to-program, high data rate, real time software radio platform

  2013influential reference
• Exploiting vector instructions with generalized stream fusion

  2013cited by this paper
• OpenRadio: a programmable wireless dataplane

  2012cited by this paper
• On the Computer Generation of Adaptive Numerical Libraries

  2011cited by this paper
• An empirical characterization of stream programs and its implications for language and compiler design

  2010influential reference
• Computer Generation of Platform-Adapted Physical Layer Software

  2010cited by this paper
• Airblue: A system for cross-layer wireless protocol development

  2010cited by this paper
• Semantics Engineering with PLT Redex

  2009cited by this paper
• Sora

  2009influential reference
• Discrete fourier transform on multicore

  2009cited by this paper
• Bluespec: A General-Purpose Approach to High-Level Synthesis Based on Parallel Atomic Transactions

  2008influential reference
• Stream Fusion From Lists to Streams to Nothing at All

  2007cited by this paper
• Publication date

  2006cited by this paper
• Design of WARP: A wireless open-access research platform

  2006cited by this paper
• Teleport messaging for distributed stream programs

  2005cited by this paper
• BIT: A Very Compact Scheme System for Microcontrollers

  2005cited by this paper
• SPIRAL: Code Generation for DSP Transforms

  2005cited by this paper
• GNU radio: tools for exploring the radio frequency spectrum

  2004cited by this paper
• A fast Fourier transform compiler

  2004cited by this paper
• StreamIt: A Language for Streaming Applications

  2002cited by this paper
• Shortcut fusion for accumulating parameters & zip-like functions

  2002cited by this paper
• The Raw Microprocessor: A Computational Fabric for Software Circuits and General-Purpose Programs

  2002cited by this paper
• SPL: a language and compiler for DSP algorithms

  2001cited by this paper
• Short Cut Fusion: Proved and Improved

  2001cited by this paper
• Genuinely Functional User Interfaces

  2001cited by this paper
• Extending Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees

  2001cited by this paper
• Functional reactive programming from first principles

  2000cited by this paper
• Generalising monads to arrows

  2000cited by this paper
• Fudgets - Purely Functional Processes with applications to Graphical User Interfaces

  1998cited by this paper
• Imperative functional programming

  1996cited by this paper
• Shortcut deforestation in calculational form

  1995cited by this paper
• A functional extension of Lustre

  1995cited by this paper
• A short cut to deforestation

  1993cited by this paper
• Deforestation for Higher-Order Functions

  1992cited by this paper
• The Esterel Synchronous Programming Language: Design, Semantics, Implementation

  1992cited by this paper
• Computational Frameworks for the Fast Fourier Transform

  1992cited by this paper
• The synchronous data flow programming language LUSTRE

  1991cited by this paper
• Deforestation: Transforming Programs to Eliminate Trees

  1990cited by this paper
• A.P.I.C. Studies in Data Processing

  1989cited by this paper
• How to make ad-hoc polymorphism less ad hoc

  1989cited by this paper
• The calculi of lambda-nu-cs conversion: a syntactic theory of control and state in imperative higher-order programming languages

  1987cited by this paper
• SIGNAL: A declarative language for synchronous programming of real-time systems

  1987cited by this paper
• Research

  1985cited by this paper
• Lucid, the dataflow programming language

  1985cited by this paper
• Lucid, a nonprocedural language with iteration

  1977cited by this paper

• Synthesizing Efficient Hardware from High-Level Functional Hardware Description Languages

  2019cites this paper
• A Domain-Specific Language for Software-Defined Radio

  2017cites this paper
• From high-level radio protocol specifications to efficient low-level implementations via partial evaluation

  2017influential citation