Franz Franchetti

home  |  short cv  |  projects | publications  | presentations | teaching | rockin’

Spiral: Software/Hardware Generation for Mathematical Functionality

-

Collaborators: José M.F. Moura, Markus Püschel, James C. Hoe, Jeremy Johnson, and David Padua Students: Daniel McFarlin (advisor: Püschel, Franchetti) HotBench: An Optimization Workbench for Hotspots Students: Richard Veras (advisor: Franchetti) Spiral for GPUs Students: Christos Angelopoulos (advisor: Franchetti, Püschel) Automatic Program Generation for High Performance Data Dependent Applications Students: Wei Yu (advisor: Hoe, Franchetti, graduated July 2011) Supported by NSF through awards 0325687, 0702386, 011737, and by DARPA through the DOI grant NBCH1050009, the ARO grant W911NF0710416, and ONR grant 10219108, N000141110112. Industry support from Intel, Mercury, and Nvidia [NSF Discovery article] [Latest ECE News] [older ECE News] [Video of Spiral talk]

High Performance Computing for Power Grid Stability

-	A Computing Framework for Distributed Decision Making to Ensure Robustness of Complex Man-Made Network Systems: The Case of the Electric Power Networks Medium NSF CPS project (award ECCS0931978) Collaborators: Rohit Negi (PI), Marija Ilic, Ole Mengshoel Students: Tao Cui (advisor: Franchetti), Priya Sundararajan (advisor: Mengshoel, CMU east coast advisor: Franchetti) [ECE News]
-	Zero Knowledge Control in Smart Grids SRC SGRC Seed Project Collaborators: Marija Ilic Students: Tao Cui (advisor: Franchetti), Cory Thoma (visiting student from Washington Jefferson)

High-Level Tools for Circuits: Affordable Application-Specific Design

-

From SPIRAL to Silicon: Synthesis of Ultra-High-Performance SAR in End-of-Roadmap CMOS Collaborators: J. C. Hoe, L. Pileggi Students: Berkin Akin (advisor: Hoe, Franchetti) Application-Specific Embedded Logic in Memory Collaborators: J. C. Hoe, L. Pileggi, M. Horowitz Students: Qiuling Zhu (advisor: Pileggi, Franchetti) C2S2 Enterprise Theme projects, supported by SRC FCRP

Collaborations

ASCOT	Christoph W. Ueberhuber (Institute for Analysis und Scientific Computing, Vienna University of Technology) FFT library for BlueGene/L: together with S. Kral, J. Lorenz, and C.W. Ueberhuber We ported FFTW-GEL by S. Kral (based on FFTW 2.1.5) to support BlueGene/L’s Double FPU.
BlueGene	IBM Research, Lawrence Livermore National Laboratory (CASC, LLNL), Argonne National Laboratory (ALCF, ANL) The QBox team led by F. Gygi was Gordon Bell Prize 2005 finalists and won the Gordon Bell Prize 2006 (Peak Performance Award) [SC 06 press release] [ECE news] [LLNL news]

HPC Challenge

Spiral-generated Global FFT benchmark for 128k+ cores Together with IBM Research and SpiralGen [HPCC 2010 results] [ECE news]

Intel Libraries PLUTO, PrimeTile

The Intel Math Kernel Library (MKL) and Intel Integrated Performance Primitives (IPP) contain FFT kernels generated by Spiral SIMD vectorization inside the polyhedral model. Together with P. Sadayappan, A. Rountev (OSU), and J. Ramanujam (LSU)

Professional Activities

ISPASS 2012

Program committee member

WEHA 2011	Program committee member
ParCo 2011	Program committee member
HiPEAC 2011	Program committee member

WEHA 2010	Program committee member
iWAPT 2010	Program committee member
PACT 2010	Finance chair and program committee member
ASPLOS XV	Publicity chair
ICS 2009	Publicity co-chair and program committee member
SMART 2009	Program committee member
PACT 2008	Program committee member
HIPS 2008	Program committee member

Affiliations and Memberships

SGRC	SRC Smart Grid Research Center (ECE, CMU) Thrust Leader, Thrust 4 (Security)

CALCM	Computer Architecture Lab at Carnegie Mellon (ECE, CMU)
CenSCIR	Center for Sensed Critical Infrastructure Research (ICES, CMU)
EESG	Electric Energy Systems Group (CMU)
C2S2	Center for Circuits and System Solutions (CMU)

IRHPIT

Los Alamos Institute for Reliable High Performance Information Technology

IEEE	Member
ACM	Member
ASCINA	Austrian Scientists in North America Chair, Pittsburgh Chapter

home  |  short cv  |  projects | publications  | presentations | teaching | rockin’