| 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 | 211 | 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 | 131 | 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 | 69 | 2020 |
| 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 | 57* | 2021 |
| 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 | 56 | 2021 |
| 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 | 55 | 2018 |
| 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 | 54 | 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 | 44 | 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 | 35 | 2022 |
| Pensieve: Microarchitectural modeling for security evaluation Y Yang, T Bourgeat, S Lau, M Yan Proceedings of the 50th Annual International Symposium on Computer …, 2023 | 32 | 2023 |
| 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 | 27* | 2023 |
| 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 | 23 | 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 | 22 | 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 | 19 | 2023 |
| RTL verification for secure speculation using contract shadow logic Q Tan, Y Yang, T Bourgeat, S Malik, M Yan Proceedings of the 30th ACM International Conference on Architectural …, 2025 | 12 | 2025 |
| Specification and verification of strong timing isolation of hardware enclaves S Lau, T Bourgeat, C Pit-Claudel, A Chlipala Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | 10 | 2024 |
| Specification and verification of sequential machines in rule-based hardware languages T Bourgeat Massachusetts Institute of Technology, 2023 | 10 | 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 | 10 | 2021 |
| 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 |
| Performance interfaces for hardware accelerators J Ma, R Iyer, S Kashani, M Emami, T Bourgeat, G Candea 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2024 | 6 | 2024 |
