Appointments
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) |
2024
|
1st Place in ACM Student Research Competition (PACT 2024) |
2024
|
Best Poster Runner-up (PRISM Annual Review 2024, Systems & Software track) |
2023
|
Outstanding Short Paper Award (HPEC 2023) |
2023
|
2nd Place in ACM Student Research Competition (CGO 2023) |
2021
|
Outstanding Student Paper Award (HPEC 2021) |
2020
|
Best Poster Award, Supercomputing (SC 2020) |
2020
|
Outstanding Student Paper Award (HPEC 2020) |
2018
|
Best
Paper Finalist (HPEC 2018) |
2018
|
Student Innovation Award (HPEC 2018) |
2018
|
MIT GraphChallenge Finalists (HPEC 2018) |
2014
|
ACM TODAES Best Paper Award (DAC 2014)
|
2014
|
Best
Paper Award (HPEC 2014) |
2013
|
CIT Dean's Early Career Fellowship |
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 | awards | patents | grants | full cv
|
Patents
2022
|
High Performance Merge Sort with Scalable Parallelization and Full-Throughput Reduction |
2016
|
3DIC memory chips including computational logic-in-memory for performing accelerated data processing |
appointments | business involvement | education | awards | patents | grants | full cv
|
Grants
2025-2028 |
MAGNET: MAthematics, ComputinG, and NETworking for Resource-Efficient Computational Science |
2024-2027 |
DURBAN: Enhancing Performance Portability In HPC Software with Artificial Intelligence |
2024-2026 |
COSMIC: Co-designing Scalable ML-aided in-array Computations |
2024-2025 |
EAGER: LLM Cerberus: Guarding LLMs against Hallucinating When Generating Mathematical Software |
2023-2027 |
Center for PRocessing with Intelligent Storage and Memory (PRISM) - SRC PRISM/JUMP |
2023-2027 |
Code Synthesis for the PRISM Architecture |
2022-2027 |
Simulation of the Response of Structural Metals in Molten Salt Environment |
2021-2024 |
Bluestone: Program Translation and Synthesis for Extremely Heterogeneous Architectures |
2021 |
NTTX for PALISADE | Trebuchet | Duality, Inc. |
2021-2024 |
Intel/VMWare Crossroads (XRD) |
2020-2025 |
Unlocking Interactive AI Development for Rapidly Evolving Research |
2019 |
SnowWhite: High-Level Reasoning in Compilers |
2018-2023 |
FFTX: A Co-Design Project for Fast Fourier Transforms (FFTs) |
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 |
2018 |
Energy Efficient High Performance through Application-Specific Processor/Program Co-Synthesis (EXTENSION) |
2018
|
Building a COTS Benchmark Baseline for Graph Analytics (SEI-LENS) S. McMillan (PI), F. Franchetti |
2017-2018
|
Automated Code Generation for Future-Compatible, High-Performance Graph Libraries (SEI-LINE) S. McMillan (PI), F. Franchetti |
2017
|
Enhancement of MASSIF (Micromechanical Analysis of Stress-Strain Inhomogeneities with Fourier transforms) for Multiscale Simulations of Alloy Microstructure ENGILITY Corporation |
2016
|
Smart Grid in a Room Simulator (SGRS) |
2015
|
Generating Hyper-Portable Future-Proof Computational Kernels with SPIRAL This work was supported by DARPA BRASS project FA87501620033 |
2015
|
Enhancement of FFT-Based Elastic-Visco-Plastic Code for Multiscale Simulations of Alloy Microstructure DoD HPC PETTT |
2015
|
Spiral for Blue Waters 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 |
2014
|
Spectral Method for Elasto-Viscoplastic Full-Field Deformation as a Test Bed for Testing New Approaches to High Performance Computing 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 |
2012
|
CUDA Center of Excellence |
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
|
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 | awards | patents | grants | full cv
|
Download the full
Curriculum Vitae.