Alban Gruin

À propos de moi

Je suis chercheur en informatique. J'ai préparé une thèse à l'IRIT, au sein de l'équipe TRACES, que j'ai soutenue en décembre 2024.

Publications

2024

  • Efficient, predictable, and composable core for time-critical systems. Alban Gruin. 2024. [tel-05049053], [PDF].
  • Modelling and proving the monotonicity of processor pipelines in Coq. Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange. 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, Oct 2024, Raleigh, États-Unis. pp.12-21. [10.1109/MEMOCODE63347.2024.00007], [hal-04729453], [PDF].

    • 2023

  • Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators. Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat. 21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Autriche. pp.2:1-2:12. [10.4230/OASIcs.WCET.2023.2], [hal-04171420], [PDF].
  • Enabling timing predictability in the presence of store buffers. Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat. 31st International Conference on Real-Time Networks and Systems (RTNS 2023), Jun 2023, Dortmund, Allemagne. pp.1-10. [10.1145/3575757.3593653], [hal-04082519], [PDF].
  • MINOTAuR: a Timing Predictable RISC-V Core Featuring Speculative Execution. Alban Gruin, Thomas Carle, Christine Rochange, Hugues Cassé, Pascal Sainrat. IEEE Transactions on Computers. pp.183-195. [10.1109/TC.2022.3200000], [hal-03773263], [PDF].

    • 2021

  • Speculative Execution and Timing Predictability in an Open Source RISC-V Core. Alban Gruin, Thomas Carle, Hugues Cassé, Christine Rochange. IEEE Real-Time Systems Symposium (RTSS 2021), Dec 2021, Dortmund, Allemagne. pp.393-404. [10.1109/RTSS52674.2021.00043], [hal-03477573], [PDF].
    • Extrait de HAL

    Contact

    Vous pouvez me contacter à l'adresse suivante :
    • alban [point] gruin [arobase] gmail [point] com

    Autres

    Il y a quelques années, j'ai contribué au projet git, notamment sur le rebasage interactif.