Publications
- 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].
- 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].
- 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].
Autres
Il y a quelques années, j'ai contribué au projet git, notamment sur le rebasage interactif.