Franz Franchetti

home  |  short cv  |  projects  |  publications  |  professional activity  |  courses  |  students  |  rockin’ 

SPIRAL: Software/Hardware Generation for Mathematical Functionality

DOE BlueStone: Program Translation and Synthesis for Extremely Heterogeneous Architectures
DE-FOA-0002460, X-Stack: Programming Environments for Scientific Computing
Jeff Vetter (ORNL, Lead PI)
Franz Franchetti (Carnegie Mellon University, PI)
Tze Meng Low (Carnegie Mellon University, Co-PI)
Mike Franusich (SpiralGen, Inc., Co-PI)

DARPA DPRIVE: NTTX for PALISADE | Trebuchet
Duality, Inc.
Franz Franchetti (Carnegie Mellon University, PI)
Tze Meng Low (Carnegie Mellon University, Co-PI)
Mike Franusich (SpiralGen, Inc., Co-PI)

Intel/VMWare Crossroads (XRD)
Vaughn Betz (University of Toronto, PI)
Derek Chiou (The University of Texas at Austin, PI)
Franz Franchetti (Carnegie Mellon University, PI)
James C. Hoe (Carnegie Mellon University, Lead PI)
David Z. Pan (The University of Texas at Austin, PI)
Vyas Sekar (Carnegie Mellon University, PI)
Justine Sherry (Carnegie Mellon University, PI)

Towards FFTX and SpectralPACK* (DOE FFTX)
DE-AC02-05CH11231
Franz Franchetti (Carnegie Mellon University, PI)
Mike Franusich (SpiralGen, Inc, Co-PI)
Phillip Colella (Lawrence Berkeley National Laboratory, PI)
Brian Van Straalen (Lawrence Berkeley National Laboratory, Co-PI)

FFTX and SpectralPack: A First Look
FFTX Presentation
FFTX Documentation
SPIRAL, FFTX, and the Path to SpectralPACK
Supporting Research:
An Approach to Specifying and Automatically Optimizing Fourier Transform Based Operations
For more information, visit the spiral.net FFTX page.

*This research was supported by the Exascale Computing Project (17-SC-20-SC), a joint project of the U.S. Department of Energy’s Office of Science and National Nuclear Security Administration, responsible for delivering a capable exascale ecosystem, including software, applications, and hardware technology, to support the nation’s exascale computing imperative.

FFTX: A Co-Design Project for Fast Fourier Transforms (FFTs)
Franz Franchetti (PI), Tze Meng Low (Co-PI)

SPIRAL for Quantum Computing
Jason Larkin (Carnegie Mellon Software Engineering Institute), Scott Mionis (MS Student, CMU Computer Science Department), Franz Franchetti

Related Seminars:
Franz Franchetti
SPIRAL: AI for High Performance Code with a Side of FFTX
MIT Fast Code Seminars, September 21, 2020


Bluestone


NTTX-Spiral

Previous Projects

SnowWhite: High Level Reasoning In Compilers (DARPA PAPPA)

Generating Hyper-Portable Future-Proof Computational Kernels with SPIRAL (DARPA BRASS)

Energy Efficient High Performance through Application-Specific Processor/Program Co-Synthesis (DARPA PERFECT)

High Assurance Spiral: Scalable and Performance Portable Domain-Specific Control System Synthesis (DARPA HACMS)

Spiral/AAIML: Co-Optimization for High Performance, Data Intensive Computing in Resource Constrained Environments

HELIX: Formally Verified SPIRAL

Enhancement of FFT-Based Elastic-Visco-Plastic Code for Multiscale Simulations of Alloy Microstructure (DoD HPC PETTT)

SPIRAL for Blue Waters (NSF PAID, NCSA Blue Waters)

Nvidia CUDA Center of Excellence

Trusted (CMOS) System-on-Chip Design with Self-Healing Piezoelectric MEMS (IARPA TIC)

Smart Grid in a Room: A Hybrid Test-Bed Facility for Cyber-Physical Systems (CPS)-Based Standards in Microgrids and Their Interactions with Utility Systems (NIST)

Toward a Systematic Collection and Processing of Data in Support of Dynamic Monitoring and Decision Systems (DYMONDS) Framework for Implementing Smart Grids (PITA)


Collaborations


PQI
Faculty Member of Pittsburgh Quantum Institute (PQI)

RIKEN
Collaboration with RIKEN's Imamura Team/K computer.

Next Generation SPIRAL
Keep building the next generation of the SPIRAL tool and approach
Together with Markus Püschel

Markus Püschel / ETH
Collaboration on High Performance Interval Arithmetic

Takahiro Katagiri
Collaboration on SPIRAL/FFTX

Daisuke Takahashi
Collaboration on SPIRAL for FFTE


home  |  short cv  |  projects  |  publications  |  professional activity  |  courses  |  students  |  rockin’