Dylan Leothaud
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | Automatic Extraction of Timing Models for WCET Estimation From a High-Level Synthesis Flow. | Thomas Feuilletin, Dylan Leothaud, Simon Rokicki, Steven Derrien, Isabelle Puaut |
| 2026 | DATE | Area Efficient Speculative Loop Pipelining for High-Level Synthesis. | Dylan Leothaud, Simon Rokicki, Steven Derrien, Isabelle Puaut |
| 2026 | ECRTS | WCET Analysis of HLS-Generated Processors Using Abstract Interpretation. | Thomas Feuilletin, Dylan Leothaud, Simon Rokicki, Steven Derrien, Isabelle Puaut |
| 2025 | DAC | Optimizing Recovery Logic in Speculative High-Level Synthesis. | Dylan Leothaud, Jean-Michel Gorius, Simon Rokicki, Steven Derrien |
| 2024 | FPL | Efficient Design Space Exploration for Dynamic & Speculative High-Level Synthesis. | Dylan Leothaud, Jean-Michel Gorius, Simon Rokicki, Steven Derrien |