|
SnowWhite: High Level Reasoning In Compilers (DARPA PAPPA)
HR0011-20-9-0018
Franz Franchetti (PI)
Mike Franusich (SpiralGen, Inc, Co-PI)
James C. Hoe (Co-PI)
Tze Meng Low (Co-PI)
Daniele Spampinato
Generating Hyper-Portable Future-Proof Computational Kernels with SPIRAL
(DARPA BRASS)
Franz Franchetti (PI), Mike Franusich (SpiralGen, Inc, Co-PI),
James C. Hoe (Co-PI), Tze Meng Low (Co-PI),
José M. F. Moura (Co-PI), David Padua (UIUC, Co-PI)
Richard Veras (CMU alumnus, former advisor: Franchetti)
Thom Popovici (CMU alumnus, former advisor: Franchetti)
Energy Efficient High Performance through Application-Specific Processor/Program
Co-Synthesis
(DARPA PERFECT)
Franz Franchetti (PI), José M. F. Moura (Co-PI),
James C. Hoe (Co-PI), Larry Pileggi (Co-PI)
Systems Scientists: Tze Meng Low
Post-Docs: Nikos Alachiotis, Qi Guo, Kaushik Vaidyanathan
PhD Students: Fazle Sadi (advisor: Pileggi, Franchetti), Guanglin Xu (advisor: Hoe, Franchetti),
Jiyuan Zhang (advisor: Franchetti)
Alumni: Berkin Akin, Aliaksei Sandryhaila, Ekin Sumbul, Qiuling Zhu
Interested in becoming part of the team? Please read here carefully.
[Video of PERFECT talk]
[Slides of PERFECT talk]
High Assurance Spiral: Scalable and Performance Portable Domain-Specific Control System Synthesis
(DARPA HACMS)
Franz Franchetti (PI), José M. F. Moura (Co-PI),
Soummya Kar (Co-PI),
Andre Platzer (Co-PI),
Manuela Veloso (Co-PI),
David Padua (Co-PI),
Jeremy Johnson (Co-PI), Mike Franusich (Co-PI),
Tze Meng Low (Systems Scientist)
Vadim Zaliva (PhD Student, advisor Franchetti)
Interested in becoming part of the team? Please read here carefully.
[Video of HACMS on CBS "60 Minutes"]
[Video of CBS News "Creating Drones that Can't Be Hacked"]
[Video of CBS News "DARPA Dan"]
[Video of "Franz Franchetti: Turning Mathematics into Software"]
[Quanta Magazine: "Hacker-Proof Code Confirmed"]
Additional project news:
[NSF Discovery article]
Spiral/AAIML: Co-Optimization for High Performance, Data Intensive Computing in Resource Constrained Environments
Carnegie Mellon Software Engineering Institute (SEI)
Scott McMillan (PI), Franz Franchetti (Co-PI), Tze Meng Low (Co-PI), James C. Hoe (Co-PI)
HELIX: Formally Verified SPIRAL
Vadim Zaliva (PhD Candidate), Franz Franchetti
Enhancement of FFT-Based Elastic-Visco-Plastic Code for Multiscale Simulations of Alloy Microstructure
(DoD HPC PETTT)
Anthony D. Rollett (PI), Franz Franchetti (Co-PI)
Anuva Kulkarni (PhD student, co-advisor: Franchetti)
SPIRAL for Blue Waters (NSF PAID, NCSA Blue Waters)
Franz Franchetti (PI), Mike Franusich (Co-PI)
Thom Popovici (PhD student, advisor: Franchetti)
Anuva Kulkarni (PhD student, co-advisor: Franchetti)
Nvidia CUDA Center of Excellence
K. Fatahalian (PI), R. Whittaker, I. Lane, J. Chong, G. Gibson, O. Mutlu, F. Franchetti
|
|
