Skip to content

Simon Rokicki

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

6

Active years

2017–2026

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2026DATEAutomatic Extraction of Timing Models for WCET Estimation From a High-Level Synthesis Flow.Thomas Feuilletin, Dylan Leothaud, Simon Rokicki, Steven Derrien, Isabelle Puaut
2026DATEArea Efficient Speculative Loop Pipelining for High-Level Synthesis.Dylan Leothaud, Simon Rokicki, Steven Derrien, Isabelle Puaut
2026ECRTSWCET Analysis of HLS-Generated Processors Using Abstract Interpretation.Thomas Feuilletin, Dylan Leothaud, Simon Rokicki, Steven Derrien, Isabelle Puaut
2025DACOptimizing Recovery Logic in Speculative High-Level Synthesis.Dylan Leothaud, Jean-Michel Gorius, Simon Rokicki, Steven Derrien
2025DATEHardware/Software Runtime for GPSA Protection in RISC-V Embedded Cores.Louis Savary, Simon Rokicki, Steven Derrien
2024CCA Unified Memory Dependency Framework for Speculative High-Level Synthesis.Jean-Michel Gorius, Simon Rokicki, Steven Derrien
2024FPLEfficient Design Space Exploration for Dynamic & Speculative High-Level Synthesis.Dylan Leothaud, Jean-Michel Gorius, Simon Rokicki, Steven Derrien
2022ECRTSRT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems.Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, Isabelle Puaut
2020DATEGhostBusters: Mitigating Spectre Attacks on a DBT-Based Processor.Simon Rokicki
2020ECRTSAttack Detection Through Monitoring of Timing Deviations in Embedded Real-Time Systems.Nicolas Bellec, Simon Rokicki, Isabelle Puaut
2019DATEAggressive Memory Speculation in HW/SW Co-Designed Machines.Simon Rokicki, Erven Rohou, Steven Derrien
2019ICCADWhat You Simulate Is What You Synthesize: Designing a Processor Core from C++ Specifications.Simon Rokicki, Davide Pala, Joseph Paturel, Olivier Sentieys
2018DATESupporting runtime reconfigurable VLIWs cores through dynamic binary translation.Simon Rokicki, Erven Rohou, Steven Derrien
2017DATEHardware-accelerated dynamic binary translation.Simon Rokicki, Erven Rohou, Steven Derrien