A Synthesis-Aided Compiler for DSP Architectures (WiP Paper)

Reference. A Synthesis-Aided Compiler for DSP Architectures (WiP Paper)

Cite

Cite as @vanhattum-2020-a (helia, typst) · \cite{vanhattum-2020-a} (LaTeX)

BibTeX

bibtex · 1 line

@inproceedings{vanhattum-2020-a, series={LCTES ’20}, title={A Synthesis-Aided Compiler for DSP Architectures (WiP Paper)}, url={http://dx.doi.org/10.1145/3372799.3394358}, DOI={10.1145/3372799.3394358}, booktitle={The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems}, publisher={ACM}, author={VanHattum, Alexa and Nigam, Rachit and Lee, Vincent T. and Bornholt, James and Sampson, Adrian}, year={2020}, month=June, pages={131–135}, collection={LCTES ’20} }

hayagriva YAML (typst)

yaml · 17 lines

vanhattum-2020-a:
  type: article
  title: A Synthesis-Aided Compiler for DSP Architectures (WiP Paper)
  author:
  - VanHattum, Alexa
  - Nigam, Rachit
  - Lee, Vincent T.
  - Bornholt, James
  - Sampson, Adrian
  date: 2020-06
  page-range: 131-135
  serial-number:
    doi: 10.1145/3372799.3394358
  parent:
    type: proceedings
    title: The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
    publisher: ACM

Download: vanhattum-2020-a.bib · vanhattum-2020-a.yml

Cited by (1)

Vectorization for digital signal processors via equality saturation vanhattum-2021-vectorizationASPLOS · 2021

DOI

Cites 15 works (0 here)

External (15)

Tensilica Customizable Cores (Cadence) (2020)
GoSLP: Globally Optimized Superword Level Parallelism Framework (2018)
Extending Halide to Improve Software Development for Imaging DSPs (2017)
Optimizing Synthesis with Metasketches (2016)
Architecture of the Hexagon™ 680 DSP for mobile imaging and computer vision (2015)
Chlorophyll: Synthesis-aided Compiler for Low-power Spatial Architectures (2014)
A lightweight symbolic virtual machine for solver-aided host languages (2014)
Syntax-guided synthesis (2013)
Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines (2013)
Automatic SIMD vectorization of fast fourier transforms for the larrabee and AVX instruction sets (2011)
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays (2009)
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (2008)
Generating SIMD Vectorized Permutations (2008)
Auto-Vectorization of Interleaved Data for SIMD (2006)
Automatic translation of FORTRAN programs to vector form (1987)