| Mi6: Secure enclaves in a speculative out-of-order processor T Bourgeat, I Lebedev, A Wright, S Zhang, Arvind, S Devadas Proceedings of the 52nd Annual IEEE/ACM International Symposium on …, 2019 | 183 | 2019 |
| The essence of Bluespec: a core language for rule-based hardware design T Bourgeat, C Pit-Claudel, A Chlipala, Arvind Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 108 | 2020 |
| Casa: End-to-end quantitative security analysis of randomly mapped caches T Bourgeat, J Drean, Y Yang, L Tsai, J Emer, M Yan 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture …, 2020 | 60 | 2020 |
| Composable building blocks to open up processor design S Zhang, A Wright, T Bourgeat, A Arvind 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture …, 2018 | 47 | 2018 |
| Robomorphic computing: a design methodology for domain-specific accelerators parameterized by robot morphology SM Neuman, B Plancher, T Bourgeat, T Tambe, S Devadas, VJ Reddi Proceedings of the 26th ACM International Conference on Architectural …, 2021 | 43 | 2021 |
| Accelerating robot dynamics gradients on a cpu, gpu, and fpga B Plancher, SM Neuman, T Bourgeat, S Kuindersma, S Devadas, ... IEEE Robotics and Automation Letters 6 (2), 2335-2342, 2021 | 43 | 2021 |
| Flexminer: A pattern-aware accelerator for graph pattern mining X Chen, T Huang, S Xu, T Bourgeat, C Chung, A Arvind 2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture …, 2021 | 38 | 2021 |
| Aquoman: An analytic-query offloading machine S Xu, T Bourgeat, T Huang, H Kim, S Lee, A Arvind 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture …, 2020 | 38 | 2020 |
| DAGguise: mitigating memory timing side channels PW Deutsch, Y Yang, T Bourgeat, J Drean, JS Emer, M Yan Proceedings of the 27th ACM International Conference on Architectural …, 2022 | 22 | 2022 |
| Effective simulation and debugging for a high-level hardware language using software compilers C Pit-Claudel, T Bourgeat, S Lau, Arvind, A Chlipala Proceedings of the 26th ACM International Conference on Architectural …, 2021 | 21 | 2021 |
| Pensieve: Microarchitectural modeling for security evaluation Y Yang, T Bourgeat, S Lau, M Yan Proceedings of the 50th Annual International Symposium on Computer …, 2023 | 15 | 2023 |
| A multipurpose formal risc-v specification T Bourgeat, I Clester, A Erbsen, S Gruetter, A Wright, A Chlipala arXiv preprint arXiv:2104.00762, 2021 | 15 | 2021 |
| Roboshape: Using topology patterns to scalably and flexibly deploy accelerators across robots SM Neuman, R Ghosal, T Bourgeat, B Plancher, VJ Reddi Proceedings of the 50th Annual International Symposium on Computer …, 2023 | 12 | 2023 |
| Metior: A comprehensive model to evaluate obfuscating side-channel defense schemes PW Deutsch, WT Na, T Bourgeat, JS Emer, M Yan Proceedings of the 50th Annual International Symposium on Computer …, 2023 | 9 | 2023 |
| An experience report on writing usable DSLs in Coq C Pit-Claudel, T Bourgeat 7th International Workshop on Coq for Programming Languages (CoqPL 2021), 2021 | 9 | 2021 |
| Flexible instruction-set semantics via abstract monads (experience report) T Bourgeat, I Clester, A Erbsen, S Gruetter, P Singh, A Wright, A Chlipala Proceedings of the ACM on Programming Languages 7 (ICFP), 108-124, 2023 | 8 | 2023 |
| Citadel: Side-channel-resistant enclaves with secure shared memory on a speculative out-of-order processor J Drean, M Gomez-Garcia, T Bourgeat, S Devadas arXiv preprint arXiv:2306.14882 6, 16, 2023 | 7 | 2023 |
| Specification and verification of sequential machines in rule-based hardware languages T Bourgeat Massachusetts Institute of Technology, 2023 | 5 | 2023 |
| FlexMiner: a pattern-aware accelerator for graph pattern mining. In 2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture (ISCA) X Chen, T Huang, S Xu, T Bourgeat, C Chung, A Arvind IEEE, 581ś594, 2021 | 5 | 2021 |
| Specification mining for asynchronous controllers J de San Pedro, T Bourgeat, J Cortadella 2016 22nd IEEE International Symposium on Asynchronous Circuits and Systems …, 2016 | 4 | 2016 |
