Appointments
|
2012 -
|
Associate
Research Professor |
|
2008 -
2012
|
Assistant
Research Professor |
|
2005 -
2008
|
Systems
Scientist (special faculty member) |
|
2004 -
2005
|
Post-Doctoral
Research Associate at the Department of
Electrical and Computer Engineering, Carnegie
Mellon University
|
|
2003
|
Post-Doctoral
Research Associate at the Institute for
Analysis and Scientific Computing, |
|
2000 -
2003
|
Research
Assistant at the Institute for
Analysis and Scientific Computing, |
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) |
2009
|
Best
Paper Award (HPEC 2009) |
2009
|
Best Paper
Award (DSL WC 2009) |
2008
|
Best
Paper Award (HPEC 2008) |
2008
|
City
of Wiener Neustadt Culture Prize (awarded in
Science) |
2006
|
Gordon Bell Prize (Peak
Performance Award) |
2006
|
|
2001
|
Austrian
Computer Society Award (OCG-Forderpreis) |
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 |
|
2012
|
High Assurance Spiral: Scalable and Portable Domain-Specific Control System Synthesis |
|
2012
|
Trusted (CMOS) System-on-Chip Design with Self-Healing Piezoelectric MEMS |
2011
|
Identifying and Removing Barriers to Autovectorization |
|
2011
|
Spiral: Code
Synthesis for Higher-Level Application Domain Specific Code Patterns |
|
2011
|
HotBench: An Optimization Workbench for
Hotspots |
|
2011
|
Zero
Knowledge Control in Smart Grids |
|
2010
|
PACT 2010
Student Travel Grants |
|
2010
|
Spiral
for SCC |
|
2010
|
Pushing
the Limits to Computing: Managing Resources in a Reliable and Efficient Way
in Large-Scale Electric Power Grids |
|
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) |
|
2010
2009
|
Nvidia Professor Partnership Generating
IPP Library Functionality for Larrabee using SPIRAL (Renewal) |
|
2009
|
A
Computing Framework for Distributed Decision Making to Ensure Robustness of
Complex Man-Made Network Systems:
|
|
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 |
|
2007
|
Intelligent
HW-SW Compilers for Signal Processing Applications (Phase II) |
|
2007
|
Program
Generation for Parallel Platforms |
|
2006
|
Towards
Production Quality Library Generation Using SPIRAL |
|
2006
|
Spiral:
Automatic Performance Tuning Using Chapel |
|
2004 -
2005
|
Advanced
Code Generation in Digital Signal Processing |
appointments | business involvement | education | grants | awards | full cv
|
|
Download the full Curriculum Vitae.