Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

End-to-End Translation Validation for the Halide Language

Abstract : This paper considers the correctness of domain-specific compilers for tensor programming languages through the study of Halide, a popular representative. It describes a translation validation algorithm for affine Halide specifications, independently of the scheduling language. The algorithm relies on "propheticž annotations added by the compiler to the generated array assignments. The annotations provide a refinement mapping from assignments in the generated code to the tensor definitions from the specification. Our implementation leverages an affine solver and a general SMT solver, and scales to complete Halide benchmarks.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.inria.fr/hal-03653857
Contributeur : Basile Clement Connectez-vous pour contacter le contributeur
Soumis le : jeudi 28 avril 2022 - 10:29:50
Dernière modification le : mercredi 8 juin 2022 - 12:50:08
Archivage à long terme le : : vendredi 29 juillet 2022 - 18:18:31

Fichier

oopsla_halide_tv.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Basile Clément, Albert Cohen. End-to-End Translation Validation for the Halide Language. OOPSLA 2022 - Conference on Object-Oriented Programming Systems, Languages, and Applications, Dec 2022, Auckland, New Zealand. ⟨10.1145/3527328⟩. ⟨hal-03653857⟩

Partager

Métriques

Consultations de la notice

95

Téléchargements de fichiers

47