Thomas Lefeuvre

According to our database, Thomas Lefeuvre authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction.

Thomas Lefeuvre, Imen Fassi, Christoph Cullmann, Gernot Gebhard, Emin-Koray Kasnakli, Isabelle Puaut, Steven Derrien

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018