Appointments

2012 -

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

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 | grants | awards | full cv


Business Involvement

2009 -

CTO (since 2011) and Co-Founder, SpiralGen




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


Education

2003

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

2000

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

 




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


Awards-

2010

HPC Challenge Class II Award (Most Productive System)
Member of the winning team, led by Gheorghe Almasi (IBM Research)
[ECE news] [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
[ECE news]

2006

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

2006

Best Paper Award (ISPA 2006)
[ECE news]

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 | grants | awards | full cv


Grants

2012

Energy Efficient High Performance through Application-Specific Processor/Program Co-Synthesis
F. Franchetti (PI), Moura, J. C. Hoe, L. Pileggi

DARPA PERFECT

2012

High Assurance Spiral: Scalable and Portable Domain-Specific Control System Synthesis
F. Franchetti (PI), Moura, Kar, Platzer, Veloso, Padua, Johnson
DARPA HACMS

2012

Trusted (CMOS) System-on-Chip Design with Self-Healing Piezoelectric MEMS
Pileggi (PI), Fedder, F. Franchetti, 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

 

2009

 

Nvidia Professor Partnership
Nvidia Grant

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
Rohit Negi (PI) F. Franchetti, Marija Ilic,Ole 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 | grants | awards | full cv

 
Download the full Curriculum Vitae.