Franz Franchetti - Projects

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)

Simulation of the Response of Structural Metals in Molten Salt Environment
with Los Alamos National Laboratory (LANL, lead)
Franz Franchetti (Carnegie Mellon University PI)
Tze Meng Low (Carnegie Mellon University 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.

Unlocking Interactive AI Development for Rapidly Evolving Research
National Science Foundation, NSF 19-587
P. A. Buitrago (Carnegie Mellon University PI)
S. Sanielevici (Carnegie Mellon University co-PI)
Franz Franchetti (Carnegie Mellon University 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

PRISM: Center for Processing with Intelligent Storage and Memory
Code Synthesis for the PRISM Architecture
Franz Franchetti is part of the Systems & Software Team at the SRC JUMP 2.0 PRISM Center

Bluestone

NTTX-Spiral

Previous Projects

Towards FFTX and SpectralPACK* (DOE FFTX)

Intel/VMWare Crossroads (XRD)

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’