Thomas Bourgeat

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 22

Top Topics

Algorithmic Approaches

Top Venues

Publications

Mahyar Emami, Thomas Bourgeat, James R. Larus
Parendi: Thousand-Way Parallel RTL Simulation. CoRR (2024)
Jiacheng Ma, Rishabh R. Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea
Performance Interfaces for Hardware Accelerators. OSDI (2024)
Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan
RTL Verification for Secure Speculation Using Contract Shadow Logic. CoRR (2024)
Jules Drean, Miguel Gomez-Garcia, Thomas Bourgeat, Srinivas Devadas
Citadel: Side-Channel-Resistant Enclaves with Secure Shared Memory on a Speculative Out-of-Order Processor. CoRR (2023)
Peter W. Deutsch, Weon Taek Na, Thomas Bourgeat, Joel S. Emer, Mengjia Yan
Metior: A Comprehensive Model to Evaluate Obfuscating Side-Channel Defense Schemes. ISCA (2023)
Sabrina M. Neuman, Radhika Ghosal, Thomas Bourgeat, Brian Plancher, Vijay Janapa Reddi
RoboShape: Using Topology Patterns to Scalably and Flexibly Deploy Accelerators Across Robots. ISCA (2023)
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, Adam Chlipala
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan
Pensieve: Microarchitectural Modeling for Security Evaluation. ISCA (2023)
Peter W. Deutsch, Yuheng Yang, Thomas Bourgeat, Jules Drean, Joel S. Emer, Mengjia Yan
DAGguise: mitigating memory timing side channels. ASPLOS (2022)
Brian Plancher, Sabrina M. Neuman, Thomas Bourgeat, Scott Kuindersma, Srinivas Devadas, Vijay Janapa Reddi
Accelerating Robot Dynamics Gradients on a CPU, GPU, and FPGA. IEEE Robotics Autom. Lett. 6 (2) (2021)
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Andrew Wright, Adam Chlipala
A Multipurpose Formal RISC-V Specification. CoRR (2021)
Sabrina M. Neuman, Brian Plancher, Thomas Bourgeat, Thierry Tambe, Srinivas Devadas, Vijay Janapa Reddi
Robomorphic computing: a design methodology for domain-specific accelerators parameterized by robot morphology. ASPLOS (2021)
Xuhao Chen, Tianhao Huang, Shuotao Xu, Thomas Bourgeat, Chanwoo Chung, Arvind
FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining. ISCA (2021)
Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala
Effective simulation and debugging for a high-level hardware language using software compilers. ASPLOS (2021)
Thomas Bourgeat, Jules Drean, Yuheng Yang, Lillian Tsai, Joel S. Emer, Mengjia Yan
CaSA: End-to-end Quantitative Security Analysis of Randomly Mapped Caches. MICRO (2020)
Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind
The essence of Bluespec: a core language for rule-based hardware design. PLDI (2020)
Shuotao Xu, Thomas Bourgeat, Tianhao Huang, Hojun Kim, Sungjin Lee, Arvind
AQUOMAN: An Analytic-Query Offloading Machine. MICRO (2020)
Sizhuo Zhang, Andrew Wright, Thomas Bourgeat
Composable Building Blocks to Open Up Processor Design. IEEE Micro 39 (3) (2019)
Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. MICRO (2019)
Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. CoRR (2018)
Sizhuo Zhang, Andrew Wright, Thomas Bourgeat, Arvind
Composable Building Blocks to Open up Processor Design. MICRO (2018)
Javier de San Pedro, Thomas Bourgeat, Jordi Cortadella
Specification Mining for Asynchronous Controllers. ASYNC (2016)
Thomas Bourgeat, Julien Bringer, Hervé Chabanne, Robin Champenois, Jérémie Clément, Houda Ferradi, Marc Heinrich, Paul Melotti, David Naccache, Antoine Voizard
New Algorithmic Approaches to Point Constellation Recognition. SEC (2014)
Thomas Bourgeat, Julien Bringer, Hervé Chabanne, Robin Champenois, Jérémie Clément, Houda Ferradi, Marc Heinrich, Paul Melotti, David Naccache, Antoine Voizard
New Algorithmic Approaches to Point Constellation Recognition. CoRR (2014)