Publications
- 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, Austria. 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, Germany. 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, Germany. pp.393-404. [10.1109/RTSS52674.2021.00043], [hal-03477573], [PDF].
Autres
Je contribue depuis quelques années au projet git, notamment sur le rebasage interactif.