Ce stage a pour but de contribuer à l’outil d’optimisation d’équations d’Allegro DVT. Cet outil se base sur les solveurs SMT, et permet de déterminer les valeurs maximum/minimum d’une équation avec contraintes.
La principale contribution attendue sera l’amélioration des performances de l’outil, via plusieurs méthodes (parallélisation de certaines parties, implémentation d’algorithmes plus performants, utilisation plus adéquate des solveurs). Une fois cette partie terminée, d’autres pistes d’amélioration pourront être envisagées, par exemple la refonte de l’architecture d’une partie de l’outil, ou l’utilisation d’algorithmes génétiques pour accélérer le process de maximisation/minimisation d’équations. Ces travaux seront appliqués sur des exemples concrets des formats vidéo récents (VVC et AVS3), qui permettront de tester les performances et limites réelles de l’outil. Ils permettront d’améliorer le générateur, et de déduire les cas de test correspondant aux équations afin de les intégrer dans les flux vidéo d’Allegro DVT.

Ce stage sera complet puisqu’il demandera :

• Une compréhension des différentes méthodes d’utilisation des solveurs dans le cadre de la génération
  de flux vidéo en vue de tester des décodeurs
• La mise en place de calculs parallèles pour améliorer les performances
• Une réflexion sur l’architecture globale de l’outil
• Une implémentation principalement en langage Rust (Python, D, Bash également utilisés)
• Une analyse précise et complète de l’efficacité des algorithmes sur des cas concrets (mise en place
  de benchmarks, tracé de courbes)