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

Esta pesquisa propõe uma linguagem de especificação para contratos de kernel de ML, visando definir formalmente seu comportamento esperado em plataformas de silício heterogêneas. Ela introduz uma estrutura de contrato de oito partes e doze classes de contrato para arbitrar disputas decorrentes de precisão, ordenação ou outros modos de falha.