Congratulations to Frédéric Besson (researcher at Inria), Sandrine Blazy (professor at the Université de Rennes), and Clément Chavanon (PhD student at Inria), members of the EPICURE team, who received the Best Paper Award at the 27th edition of the conference Languages, Compilers and Tools for Embedded Systems (ACM LCTES)
Their paper, titled « Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code », was co-authored with Henrik Karlsson and Roberto Guanciale from KTH Royal Institute of Technology.