|
NSF EAGER: LLM Cerberus: Guarding LLMs against Hallucinating When Generating Mathematical Software
Franz Franchetti (Carnegie Mellon University, PI)
DOE BlueStone: Program Translation and Synthesis for Extremely Heterogeneous Architectures
DE-FOA-0002460, X-Stack: Programming Environments for Scientific Computing
Jeff Vetter (ORNL, Lead PI)
Franz Franchetti (Carnegie Mellon University, PI)
Tze Meng Low (Carnegie Mellon University, Co-PI)
Mike Franusich (SpiralGen, Inc., Co-PI)
DARPA DPRIVE: NTTX for PALISADE | Trebuchet
Duality, Inc.
Franz Franchetti (Carnegie Mellon University, PI)
Tze Meng Low (Carnegie Mellon University, Co-PI)
Mike Franusich (SpiralGen, Inc., Co-PI)
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]
Simulation of the Response of Structural Metals in Molten Salt Environment
with Los Alamos National Laboratory (LANL, lead)
Franz Franchetti (Carnegie Mellon University PI)
Tze Meng Low (Carnegie Mellon University Co-PI)
FFTX and SpectralPack: A First Look
FFTX Presentation
FFTX Documentation
SPIRAL, FFTX, and the Path to SpectralPACK
Supporting Research:
An Approach to Specifying and Automatically Optimizing Fourier Transform Based Operations
For more information, visit the spiral.net FFTX page.
*This research was supported by the Exascale Computing Project (17-SC-20-SC), a joint project of the U.S. Department of Energy’s Office of Science and National Nuclear Security Administration, responsible for delivering a capable exascale ecosystem, including software, applications, and hardware technology, to support the nation’s exascale computing imperative.
SPIRAL for Quantum Computing
Jason Larkin (Carnegie Mellon Software Engineering Institute), Scott Mionis (MS Student, CMU Computer Science Department), Franz Franchetti
Related Seminars:
Franz Franchetti
SPIRAL: AI for High Performance Code with a Side of FFTX
MIT Fast Code Seminars, September 21, 2020
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
|
|
