Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon

Cette recherche propose un langage de spécification pour les contrats de noyau ML afin de définir formellement leur comportement attendu sur des plateformes de silicium hétérogènes. Il introduit une structure de contrat en huit parties et douze classes de contrat pour arbitrer les litiges résultant de la précision, de l'ordonnancement ou d'autres modes de défaillance.