Creative Commons license OptiTrust : User-Guided Source-to-Source Transformations (with Formal Guarantees)

March 22, 2023
00:35:19
Number of views 6
Addition in a playlist 0
Number of favorites 0

CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS (Rencontres de la communauté française de compilation)

  • OptiTrust : User-Guided Source-to-Source Transformations (with Formal Guarantees)

Arthur CHARGUERAUD (ICube, Inria Strasbourg) et Thomas KOEHLER (Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie)

Tags: arthur chargueraud clap cnrs gpl hifi icube inria koehler lvp optitrust strasbourg thomas

Comment(s)