Alban Gruin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2024
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MEMOCODE | Modelling and proving the monotonicity of processor pipelines in Coq. | Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange |
| 2023 | RTNS | Enabling timing predictability in the presence of store buffers. | Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat |
| 2021 | RTSS | Speculative Execution and Timing Predictability in an Open Source RISC-V Core. | Alban Gruin, Thomas Carle, Hugues Cass, Christine Rochange |