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 under open software license.