Félicitations à Frédéric Besson (chercheur Inria), Sandrine Blazy (professeure à l’Université de Rennes) et Clément Chavanon (doctorant Inria), membres de l’équipe EPICURE, qui ont obtenu le prix Best Paper Award lors de la 27ieme édition de la conférence Languages, Compilers and Tools for Embedded Systems (ACM LCTES)
Leur article intitulé « Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code » a été publié en collaboration avec Henrik Karlsson et Roberto Guanciale de KTH (Suède)