Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
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 4 mai 2022 - 09:03:46

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

8

Téléchargements de fichiers

2