ComPort: Rigorous Testing Methods to Safeguard Software Porting (Final UW Report)
Rattachement africain : us. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
This report summarizes the University of Washington’s contributions to the ComPort project, Rigorous Testing Methods to Safeguard Software Porting, funded under the U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research (ASCR), award number DE-SC0022081. UW’s work addressed numerics-driven correctness challenges arising in heterogeneous and rapidly evolving computing environments. Our efforts focused on developing interactive analysis tools, correctness-preserving rewriting systems, semantic-aware code-transformation infrastructure, and multi-language support for reproducible numerical experiments.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- ComPort: Rigorous Testing Methods to Safeguard Software Porting (Final UW Report)
- Date Crossref
- 25/11/2025
- Éditeur
- Office of Scientific and Technical Information (OSTI)
- Type
- report
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Où se fait cette recherche
-
University of Washington pays non établi dans la noticeUniversité ou école supérieure
-
Univ. of Washington pays non établi dans la noticeInstitution
University of Washington et Univ. of Washington.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.