Appointments

2021 -

Associate Dean for Research, College of Engineering
at the College of Engineering, Carnegie Mellon University

2021 -

Director, Engineering Research Accelerator
at the College of Engineering, Carnegie Mellon University

2021 -

Kavčić-Moura Professor of ECE
at the Department of Electrical and Computer Engineering, Carnegie Mellon University

2017 - 2021

Professor
at the Department of Electrical and Computer Engineering, Carnegie Mellon University

2016 - 2017

Associate Professor
at the Department of Electrical and Computer Engineering, Carnegie Mellon University

2015 -

Faculty Director of IT Services
at the Department of Electrical and Computer Engineering, Carnegie Mellon University

2012 - 2016

Associate Research Professor
at the Department of Electrical and Computer Engineering, Carnegie Mellon University

2008 - 2012

Assistant Research Professor
at the Department of Electrical and Computer Engineering, Carnegie Mellon University

2005 - 2008

Systems Scientist (special faculty member)
at the Department of Electrical and Computer Engineering, Carnegie Mellon University

2004 - 2005

Post-Doctoral Research Associate at the Department of Electrical and Computer Engineering, Carnegie Mellon University
(funded by the Austrian Science Fund FWF, Erwin Schrodinger Fellowship J2322)

2003-2004

Post-Doctoral Research Associate at the Institute for Analysis and Scientific Computing,
Vienna University of Technology, Austria (funded by the Austrian Science Fund FWF, Project 5 of the SFB AURORA)

2000 - 2003

Research Assistant at the Institute for Analysis and Scientific Computing,
Vienna University of Technology, Austria (funded by the Austrian Science Fund FWF, Project 5 of the SFB AURORA)


 

appointments | business involvement | education | awards | patents | grants | full cv


Business Involvement

2009 -

CTO (since 2011) and Co-Founder, SpiralGen



appointments | business involvement | education | awards | patents | grants | full cv


Education

2003

Dr. techn. (PhD, Computational Mathematics, Vienna University of Technology)

2000

Dipl.-Ing. (MS, Technical Mathematics, Vienna University of Technology)

1994

HTL Matura (engineering high school diploma) in Mechanical Engineering and Automation, HTBLuVA Wiener Neustadt, Austria

 


appointments | business involvement | education | awards | patents | grants | full cv


Awards-

2024

Outstanding Short Student Paper Award (HPEC 2024)
together with S. Rao (lead student), A. Prakash

2024

1st Place in ACM Student Research Competition (PACT 2024)
together with S. Fu (lead student) and N. Zhang

2024

Best Poster Runner-up (PRISM Annual Review 2024, Systems & Software track)
together with S. Fu (lead student) and N. Zhang

2023

Outstanding Short Paper Award (HPEC 2023)
together with P. Brinich, N. Zhang, A. Ebel, and J. Johnson

2023

2nd Place in ACM Student Research Competition (CGO 2023)
together with N. Zhang (lead student)

2021

Outstanding Student Paper Award (HPEC 2021)
S. Mionis (lead student), J. Larkin (CMU SEI)

2020

Best Poster Award, Supercomputing (SC 2020)
together with S. Mionis (lead student), J. Larkin (CMU SEI)

2020

Outstanding Student Paper Award (HPEC 2020)
together with S. Rao (lead student), A. Kutuluru, P. Brower, S. McMillan (CMU SEI)

2018

Best Paper Finalist (HPEC 2018)
together with V. Ruzicka

2018

Student Innovation Award (HPEC 2018)
together with F. Sadi, J. Sweeney, S. McMillan, T. M. Low, J. C. Hoe, and L. Pileggi

2018

MIT GraphChallenge Finalists (HPEC 2018)
• together with J. Zhang
• together withT. M. Low, D. G. Spampinato, A. Kutuluru, U. Sridhar, D. T. Popovici, and S. McMillan

2014

ACM TODAES Best Paper Award (DAC 2014)
together with P. Milder, J. Hoe, and M. Püschel

2014

Best Paper Award (HPEC 2014)
together with B. Akin, and J. Hoe

2013

CIT Dean's Early Career Fellowship
Franz Franchetti

2010

HPC Challenge Class II Award (Most Productive System)
Member of the winning team, led by Gheorghe Almasi (IBM Research)
[presentation]

2009

Best Paper Award (HPEC 2009)
together with D. McFarlin, and M. Puschel

2009

Best Paper Award (DSL WC 2009)
together with D. McFarlin, F. de Mesmay, and M. Puschel

2008

Best Paper Award (HPEC 2008)
together with Y. Voronenko, F. de Mesmay, and M. Puschel

2008

City of Wiener Neustadt Culture Prize (awarded in Science)
Young Scientist Category (Forderpreis), 2 awarded in 2008

2006

Gordon Bell Prize (Peak Performance Award)
Member of the winning team, led by Francois Gygi

2006

Best Paper Award (ISPA 2006)

2001

Austrian Computer Society Award (OCG-Forderpreis)
Best M.Sc Thesis in Computer Science 2, awarded in 2001

1999

Siemens Innovation Award (Innovationspreis)


 

appointments | business involvement | education | awards | patents | grants | full cv


Patents

2022

High Performance Merge Sort with Scalable Parallelization and Full-Throughput Reduction 
F. Sadi, L. Pileggi, F. Franchetti
U.S. Patent 11249720
February 15, 2022.

2016

3DIC memory chips including computational logic-in-memory for performing accelerated data processing 
F. Franchetti, Q. Zhu, L. T. Pileggi
U.S. Patent 9286216
March 15, 2016











appointments | business involvement | education | awards | patents | grants | full cv


 
Grants

2025-2028

MAGNET: MAthematics, ComputinG, and NETworking for Resource-Efficient Computational Science
F. Franchetti (Carnegie Mellon University PI)
This work is supported by DOE Fairbanks/ORNL Base

2024-2027

DURBAN: Enhancing Performance Portability In HPC Software with Artificial Intelligence
F. Franchetti (Carnegie Mellon University PI)
This work is supported by DOE

2024-2026

COSMIC: Co-designing Scalable ML-aided in-array Computations
T-M. Low (Carnegie Mellon University PI), F. Franchetti (Carnegie Mellon University Co-PI)
This work is supported by DARPA

2024-2025

EAGER: LLM Cerberus: Guarding LLMs against Hallucinating When Generating Mathematical Software
F. Franchetti (Carnegie Mellon University PI)
This work is supported by NSF

2023-2027

Center for PRocessing with Intelligent Storage and Memory (PRISM) - SRC PRISM/JUMP
F. Franchetti (Carnegie Mellon University PI)
This work is supported by SRC

2023-2027

Code Synthesis for the PRISM Architecture
F. Franchetti (Carnegie Mellon University PI)
This work is supported by UCSD/SRC

2022-2027

Simulation of the Response of Structural Metals in Molten Salt Environment
with Los Alamos National Laboratory (LANL, lead), F. Franchetti (Carnegie Mellon University PI), T. M. Low (Carnegie Mellon University Co-PI)

2021-2024

Bluestone: Program Translation and Synthesis for Extremely Heterogeneous Architectures
F. Franchetti (PI), T. M. Low
This work is supported by U.S. Dept. of Energy, DE-FOA-0002460, X-Stack

2021

NTTX for PALISADE | Trebuchet | Duality, Inc.
F. Franchetti (PI), T. M. Low, M. Franusich
This work is supported by DARPA DPRIVE project HR0011-21-9-0003

2021-2024

Intel/VMWare Crossroads (XRD)
J. C. Hoe (Carnegie Mellon University, Lead PI), F. Franchetti (CMU, PI), V. Sekar (CMU, PI), J. Sherry (CMU, PI), V. Betz (U of Toronto, PI), D. Chiou (UT Austin, PI), D. Z. Pan (UT Austin, PI)

2020-2025

Unlocking Interactive AI Development for Rapidly Evolving Research
P. A. Buitrago (PI), S. Sanielevici (co-PI), F. Franchetti (co-PI)
This work is supported by U.S. National Science Foundation project NSF 19-587

2019

SnowWhite: High-Level Reasoning in Compilers
F. Franchetti (PI), M. Franusich, J. C. Hoe, T. M. Low, D. Spampinato
This work is supported by DARPA PAPPA project HR0011-20-9-0018

2018-2023

FFTX: A Co-Design Project for Fast Fourier Transforms (FFTs)
F. Franchetti (PI), T. M. Low
This work was supported by DOE ECP project 2.3.3.07

2018-2021

Spiral/AIML: Co-optimization for High-Performance, Data-Intensive Computing in Resource-Constrained Environments (SEI-LSI)

S. McMillan (PI), F. Franchetti, T. M. Low, J. C. Hoe

Carnegie Mellon Software Engineering Institute (SEI)

2018

Energy Efficient High Performance through Application-Specific Processor/Program Co-Synthesis (EXTENSION)
F. Franchetti (PI), J. M. F. Moura, J. C. Hoe, L. Pileggi
This work was supported by DARPA PERFECT project HR00111320007

2018

Building a COTS Benchmark Baseline for Graph Analytics (SEI-LENS)

S. McMillan (PI), F. Franchetti

Carnegie Mellon Software Engineering Institute (SEI)

2017-2018

Automated Code Generation for Future-Compatible, High-Performance Graph Libraries (SEI-LINE)

S. McMillan (PI), F. Franchetti

Carnegie Mellon Software Engineering Institute (SEI)

2017

Enhancement of MASSIF (Micromechanical Analysis of Stress-Strain Inhomogeneities with Fourier transforms) for Multiscale Simulations of Alloy Microstructure
A. D. Rollett (PI), F. Franchetti

ENGILITY Corporation

2016

Smart Grid in a Room Simulator (SGRS)
M. Ilic (PI), F. Franchetti

NIST

2015

Generating Hyper-Portable Future-Proof Computational Kernels with SPIRAL
F. Franchetti (PI), M. Franusich, J. C. Hoe, T. M. Low, J. M. F. Moura, D. Padua

This work was supported by DARPA BRASS project FA87501620033

2015

Enhancement of FFT-Based Elastic-Visco-Plastic Code for Multiscale Simulations of Alloy Microstructure
A. D. Rollett (PI), F. Franchetti

DoD HPC PETTT

2015

Spiral for Blue Waters
F. Franchetti (PI), M. Franusich

NSF PAID, NCSA Blue Waters

2014

Toward a Systematic Collection and Processing of Data in Support of Dynamic Monitoring and Decision Systems (DYMONDS)

Framework for Implementing Smart Grids
M. Ilic (PI), F. Franchetti, A. Rowe

PITA

2014

 

Spectral Method for Elasto-Viscoplastic Full-Field Deformation as a Test Bed for Testing New Approaches to High Performance Computing
A. D. Rollett and F. Franchetti

DOD HPC Modernization Program

2013

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

M. Ilic (PI), F. Franchetti, S. Kar, S. Ray

NIST

2012

    CUDA Center of Excellence
    Kayvon Fatahalian (PI), Red Whittaker, Ian Lane, Jike Chong, Garth Gibson, Onur Mutlu, Franz Franchetti
    NVIDIA

2012

Energy Efficient High Performance through Application-Specific Processor/Program Co-Synthesis
F. Franchetti (PI), J. M. F. Moura, J. C. Hoe, L. Pileggi
This work was supported by DARPA PERFECT project HR00111320007

2012

High Assurance Spiral: Scalable and Portable Domain-Specific Control System Synthesis
F. Franchetti (PI), J. M. F. Moura, S. Kar, A. Platzer, M. Veloso, D. Padua, J. Johnson
This work was supported by DARPA HACMS project FA87501220291  |  In the Press

2012

Trusted (CMOS) System-on-Chip Design with Self-Healing Piezoelectric MEMS
L. Pileggi (PI), G. Fedder, F. Franchetti, G. Piazza
IARPA

2011

Identifying and Removing Barriers to Autovectorization
NSF EAGER

2011

Spiral: Code Synthesis for Higher-Level Application Domain Specific Code Patterns
Intel EGC grant

2011

HotBench: An Optimization Workbench for Hotspots
NSF SHF Small

2011

Zero Knowledge Control in Smart Grids
SRC SGRC Seed Project

2010

PACT 2010 Student Travel Grants
as PACT Finance Chair
NSF

2010

Spiral for SCC
Intel Early Equipment Access

2010

Pushing the Limits to Computing: Managing Resources in a Reliable and Efficient Way in Large-Scale Electric Power Grids
M. Ilic (PI), F. Franchetti, G. Hug, R. Negi
SRC ERI (CMU SGRC)

2010

Application-Specific Logic In Memory (Year 2)

F. Franchetti (PI), J. C. Hoe, L. Pileggi, Mark Horowitz

SRC (C2S2)

2010

Automatic Program Generation for High Performance Data Dependent Applications

J. M. F. Moura (PI), F. Franchetti

ONR

2010

Generating IPP Library Functionality for Larrabee using SPIRAL (Renewal)
Intel Grant

2010

Nvidia Professor Partnership
Nvidia Grant

2009

 

Generating IPP Library Functionality for Larrabee using SPIRAL (Renewal)
Together with M. Puschel
Intel Grant

2009

 

 

A Computing Framework for Distributed Decision Making to Ensure Robustness of Complex Man-Made Network Systems:
The Case of the Electric Power Networks
R. Negi (PI), F. Franchetti, M. Ilic, O. Mengshoel
NSF CPS

2009

Application-Specific Logic In Memory

F. Franchetti (PI), J. C. Hoe, L. Pileggi, Mark Horowitz

SRC (C2S2)

2009

From SPIRAL to Silicon: Synthesis of Ultra-High-Performance SAR in End-of-Roadmap CMOS

J. C. Hoe (PI), F. Franchetti, L. Pileggi

SRC (C2S2)

2009

 

 

2009

Computer Generation of Multicore Software for Software-Defined Radio

J. M. F. Moura (PI), F. Franchetti, M. Puschel

ONR STTR (with SpiralGen)

Automatic Program Generation for Data-Dependent Applications

J. M. F. Moura (PI), F. Franchetti, M. Puschel

ONR

2008

Generating IPP Library Functionality for Larrabee using SPIRAL

Together with M. Puschel

Intel Grant

2007

FFT Generation for the Cell Processor
Together with M. Puschel
Mercury Computer Systems Inc.

2007

Intelligent HW-SW Compilers for Signal Processing Applications (Phase II)
J. M. F. Moura (PI), F. Franchetti, J. C. Hoe, J. R. Johnson, D. A. Padua, M. Puschel, M. M. Veloso
DARPA DSO

2007

Program Generation for Parallel Platforms
Together with M. Puschel
Supported by NSF, CPA

2006

Towards Production Quality Library Generation Using SPIRAL
Together with J. M. F. Moura and M. Puschel
Intel Equipment Grant

2006

Spiral: Automatic Performance Tuning Using Chapel
Together with H. P. Zima
Supported by the JPL SURP Office.

2004 - 2005

Advanced Code Generation in Digital Signal Processing
Erwin Schrodinger Fellowship J2322
Supported by the Austrian Science Fund (FWF)

 

appointments | business involvement | education | awards | patents | grants | full cv

 
Download the full Curriculum Vitae.