In the News

Sept. 20, 2016
SHPC receives gift from Qualcomm for "Research on Fused Primitives for Machine Learning"
Sept 19-20 2016
Aug. 2016
SHPC receives second NSF SSI grant
March 2016
March 2016
MathWorks funds LAFF: Programming for Correctness
Nov 2015
Oct 2015
HP provides gift to SHPC
Sept 2015
Aug 2015
June 2015
SHPC Postdoctoral Researcher Devin Matthews receives 2015 Arnold O Beckman Postdoctoral Fellows Award
June 2015

Science is knowledge that has been made systematic. The Science of High-Performance Computing Group focuses on the knowledge that underlies scientific software libraries and makes it systematic. On the one hand this has facilitated the software architecture of such libraries. On the other hand it has allowed us to make much of the development of such software mechanical, via goal-oriented programming techniques from formal methods and Design-by-Transformation from software engineering.

While the SPHC Group contributes to the foundations of the field, it has also created a new dense linear algebra software stack that can nimbly respond to the rapid changes that computer architecture is experiencing. These software artifacts are available to the community under open software license to the community.