Projects and Sponsors

We thank our sponsors for their support of the SPIRAL effort.

Government Grants

Spiral/AIML: Co-optimization for High-Performance, Data-Intensive Computing in Resource-Constrained Environments (SEI-LSI)
S. McMillan (PI) (SEI), F. Franchetti (CMU), T. M. Low (CMU), J. C. Hoe (CMU)
Carnegie Mellon
Software Engineering
Institute (SEI)
2018-2021
FFTX: A Co-Design Project for Fast Fourier Transforms
Phillip Colela (PI), A. Canning, Peter McCorquodale, Brian Van Straalen (LBNL); F. Franchetti, Tze Meng Low (CMU); M. Franusich (SpiralGen)
NSF/LBNL 2018
Generating Hyper-Portable Future-Proof Computational Kernels with SPIRAL
F. Franchetti (PI), J.C. Hoe, T.M. Low, J.M.F.  Moura (CMU); M. Franusich (SpiralGen), D. Padua (UIUC)
DARPA BRASS 2015-2019
Energy Efficient High Performance Through Application-Specific Processor/Program Co-synthesis
Franz Franchetti (PI), José M. F. Moura, J.C. Hoe, L. Pileggi (CMU); M. Franusich (SpiralGen)
DARPA PERFECT 2013-2018
Building a COTS Benchmark Baseline for Graph Analytics
(SEI-LENS)
S. McMillan (PI) (SEI), F. Franchetti (CMU)
Carnegie Mellon
Software Engineering
Institute (SEI)
2018
Automated Code Generation for Future-Compatible, High-Performance Graph Libraries
(SEI-LINE)
S. McMillan (PI)(SEI), F. Franchetti (CMU)
Carnegie Mellon
Software Engineering
Institute (SEI)
2017-2018
Enhancement of MASSIF (Micromechanical Analysis of Stress-Strain Inhomogeneities with Fourier Transforms) for Multiscale Simulations of Allow Microstructure
A.D. Rollett (PI), F. Franchetti (CMU)
ENGILITY Corp. 2017
High Assurance Spiral: Scalable and Portable Domain-Specific Control Systems Synthesis
Franz Franchetti (PI), José M. F. Moura, S. Kar, A. Platzer, M. Veloso (CMU); D. Padua (UIUC), J. Johnson (Drexel), M. Franusich (SpiralGen)
DARPA HACMS 2012-2016
Security Hardened Cyber Components for Nuclear Power Plants
M. Franusich (PI) (SpiralGen), F. Franchetti (CMU)
DOE SBIR (Phase I) 2015
Spiral for Blue Waters
F. Franchetti (PI) (CMU), M. Franusich (SpiralGen)
NSF/NCSA 2015
Enhancement of FFT-Based Elastic-Visco-Plastic Code for Multiscale Simulations of Alloy Microstructure
A.D. Rollett (PI), F. Franchetti (CMU)
DoD HPC PETTT 2015
Spectral Method for Elasto-Viscoplastic Full-Field Deformation as a Test Bed for Testing New Approaches to High Performance Computing.
A. D. Rollett (PI), F. Franchetti
DoD HPC Modernization Program 2014
HotBench: An Optimization Workbench for Hotspots
Franz Franchetti (CMU)
NSF SHF Small 2011
Blue Gene/Q Experimental FFT Accelerator Library
F. Franchetti (PI)(CMU), Y. Voronenko (SpiralGen)
Argonne National Labs 2011
Automatic Program Generation for High Performance Data Dependent Applications
José M. F. Moura (PI), Franz Franchetti (CMU)
ONR 2010
Computer Generation and Optimization of Image Processing Functions.
Y. Voronenko (PI), R. Peng (CMU/SpiralGen)
NSF 2010
Automatic Program Generation for Data-Dependent Applications
José M. F. Moura (PI), Franz Franchetti, Markus Püschel (CMU)
ONR 2009
Computer Generation of Multicore Software for Software Defined Radio
Y. Voronenko (PI), R. Peng (CMU/SpiralGen)
DoD STTR 2009
Program Generation for Parallel Platforms
Markus Püschel (PI) and Franz Franchetti (CMU)
NSF, CPA 06/2007-05/2011
Intelligent SW/HW Compilers for Signal Processing Applications, Phase II
José M. F. Moura (PI), F. Franchetti, J. C. Hoe, Markus Püschel (CMU); J. Johnson (Drexel), David Padua (UIUC)
DARPA 07/2007-06/2010
Intelligent SW/HW Compilers for Signal Processing Applications, Phase I
José M. F. Moura (PI), J. C. Hoe, Markus Püschel (CMU); J. Johnson (Drexel), D. Padua (UIUC)
DARPA 05/2005-09/2007
Intelligent HW/SW Compilers for DSP Applications
José M. F. Moura (PI), James C. Hoe, Markus Püschel (CMU); Jeremy Johnson (Drexel), David Padua (UIUC)
NSF, ITR-NGS 09/2003-06/2007
Advanced Code Generation for DSP Algorithms
Markus Püschel (PI), José M. F. Moura (CMU); David Padua (UIUC)
NSF, ACR 04/2003-03/2007
Spiral: Automatic Performance Tuning Using Chapel
Franz Franchetti (with H. P Zima)(CMU)
JPL 08/2006
The Algebraic Structure of Linear Transforms
Markus Püschel (PI), José M. F. Moura (CMU)
NSF 2003-2006
SMART: Signal Models, Algebra Representations & Transforms
José M. F. Moura (PI), Markus Püschel (CMU)
NSF 2000-2003
Signal Processing Algorithms Implementation Research for Adaptable Libraries
José M. F. Moura (PI), Markus Püschel, Manuela Veloso, Robert W. Johnson (CMU); Jeremy Johnson (Drexel),  David Padua (UIUC), Viktor Prasanna (USC)
DARPA 07/1998-06/2003

Industry Grants

CUDA Center for Excellence
Kayvon Fatahalian (PI), Red Whittaker, Ian Lane, Jike Chong, Garth Gibson, Onur Mutlu, Franz Franchetti (CMU)
Nvidia 2012
Haswell/CILK Benchmark Optimization
Y. Voronenko (PI)(SpiralGen), V. Arbatov, F. Franchetti (CMU)
Intel 2012
Convert Katsevich Back Projection and Ultrasound Benchmarks to Open CL
Y. Voronenko (PI)(SpiralGen), V. Arbatov, F. Franchetti (CMU)
Intel 2012
Ivy Bridget GEN Core for Biomed Applications
Y. Voronenko (PI)(SpiralGen), V. Arbatov, F. Franchetti (CMU)
Intel 2011
QT Implementation/IDF Demo
Y. Voronenko (PI)(SpiralGen), V. Arbatov, F. Franchetti (CMU)
Intel 2011
Intel ECG Ultrasound Benchmark & Katsevich Back Projection
Y. Voronenko (PI)(SpiralGen), V. Arbatov, F. Franchetti (CMU)
Intel 2011
FFT Optimizations Using Intel SSE and AVX Architectures
F. Franchetti (PI) (CMU), Y. Voronenko, V. Arbatov (SpiralGen)
Mercury 2011
Spiral: Code Synthesis for Higher-Level Application Domain Specific Code Patterns
Franz Franchetti (CMU)
Intel ECG Grant 2011
Spiral for SCC
Franz Franchetti (CMU)
Intel Early Equipment Access 2010
Generating IPP Library Functionality for Larrabee using SPIRAL
Franz Franchetti and Markus Püschel (CMU)
Intel 08/2008-07/2011
FFT Generation for the Cell Processor
Franz Franchetti and Markus Püschel (CMU)
Mercury 10/2007
FFT Generation for FPGAs
James C. Hoe and Markus Püschel (CMU)
National Instruments 04/2007
Towards Production Quality Library Generation Using SPIRAL
Markus Püschel, José M. F. Moura, and Franz Franchetti (CMU)
Intel Equipment Grant 11/2006
Library Generation for Intel's MKL using SPIRAL
José M. F. Moura (PI), Markus Püschel (PI)(CMU); Jeremy Johnson (Drexel), David Padua (UIUC)
Intel Inc. 07/2006-02/2009
FPGA for Computed-Tomography Imaging Spectrometer Scene Reconstruction
Markus Püschel and James C. Hoe (CMU)
ENSCO Inc./JPL 05/2004
Towards Production Quality Library Generation Using SPIRAL
Markus Püschel and José M. F. Moura (CMU)
Intel Equipment Grant 03/2004
Automatic Code Generation for Block Ciphers
Markus Püschel (CMU)
CyLab, Carnegie Mellon University 01/2004-12/2004
Low-Power DSP Algorithms
James C. Hoe and Markus Püschel (CMU)
ITRI, Taiwan 02/2003-02/2004
SPIRAL for Everyone
Markus Püschel (CMU)
Quarry Computing Inc. 02/2002

Fellowships

Franz Franchetti: Nvidia Professor Partnership Nvdia 2010
Yevgen Voronenko: Kauffman Entrepreneur Postdoctoral Fellowship Kauffman Foundation 2009
Daniel McFarlin: National Defense Science and Engineering Graduate Fellowship Air Force Office of Scientific Research 2009
Daniel McFarlin: National Physical Science Consortium Graduate Fellowship NSA 2008
Franz Franchetti: Schroedinger PostDoc Fellowship Austrian Science Fund 2004

Disclaimer

Any opinions, findings, and conclusions or recommendations expressed on this website are those of the authors and do not necessarily reflect the views of our sponsors.