Program generation with spiral beyond transforms
This presentation is the property of its rightful owner.
Sponsored Links
1 / 4

Program Generation with Spiral: Beyond Transforms PowerPoint PPT Presentation


  • 69 Views
  • Uploaded on
  • Presentation posted in: General

Program Generation with Spiral: Beyond Transforms. Franz Franchetti, Daniel Mcfarlin, Fréd é ric de Mesmay, Hao Shen, Tomasz W. Włodarczyk , Srinivas Chellappa, Marek R. Telgarsky, Peter A. Milder, Yevgen Voronenko, Qian Yu , James C. Hoe, Jos é M. F. Moura, Markus Püschel

Download Presentation

Program Generation with Spiral: Beyond Transforms

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Program generation with spiral beyond transforms

Program Generation with Spiral: Beyond Transforms

Franz Franchetti, Daniel Mcfarlin, Frédéricde Mesmay, Hao Shen, Tomasz W. Włodarczyk, Srinivas Chellappa, Marek R. Telgarsky, Peter A. Milder, Yevgen Voronenko, Qian Yu, James C. Hoe, JoséM. F. Moura, Markus Püschel

Electrical and Computer Engineering

Carnegie Mellon University

This work was supported by DARPA DESA program, NSF-NGS/ITR, NSF-ACR, Mercury Inc., and Intel


Vision b ehind spiral

Vision Behind Spiral

Current

Future

Numerical problem

Numerical problem

human effort

algorithm selection

C program

algorithm selection

implementation

automated

implementation

compilation

compilation

automated

Computing platform

Computing platform

C code a singularity: Compiler hasno access to high level information

Challenge: conquer the high abstraction level for complete automation


Main idea program generation

Main Idea: Program Generation

Model: common abstraction

= spaces of matching formulas

abstraction

abstraction

νp

μ

defines

rewriting

search

pick

algorithm

space

architecture

space

Architectural parameter:

Vector length,

#processors, …

Kernel:

problem size,

algorithm choice

optimization


Expressing kernels as operator formulas

Expressing Kernels as Operator Formulas

Matrix-Matrix Multiplication

Viterbi Decoder

11 10 01 01 10 10 11 00

11 10 00 01 10 01 11 00

010001

010001

convolutionalencoder

Viterbi

decoder

£

=

JPEG 2000 (Wavelet, EBCOT)

Synthetic Aperture Radar (SAR)

JPEG 2000 Compression

matched filtering

preprocessing

interpolation

2D iFFT

DWT

quantization

entropy coding

(EBCOT + MQ)


  • Login