Thomas Bourgeat

According to our database, Thomas Bourgeat authored at least 20 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Parendi: Thousand-Way Parallel RTL Simulation.

Mahyar Emami, Thomas Bourgeat, James R. Larus

CoRR, 2024

2023

Flexible Instruction-Set Semantics via Abstract Monads (Experience Report).

Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, Adam Chlipala

Proc. ACM Program. Lang., August, 2023

Citadel: Side-Channel-Resistant Enclaves with Secure Shared Memory on a Speculative Out-of-Order Processor.

Jules Drean, Miguel Gomez-Garcia, Thomas Bourgeat, Srinivas Devadas

CoRR, 2023

Pensieve: Microarchitectural Modeling for Security Evaluation.

Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan

Proceedings of the 50th Annual International Symposium on Computer Architecture, 2023

RoboShape: Using Topology Patterns to Scalably and Flexibly Deploy Accelerators Across Robots.

Sabrina M. Neuman, Radhika Ghosal, Thomas Bourgeat, Brian Plancher, Vijay Janapa Reddi

Proceedings of the 50th Annual International Symposium on Computer Architecture, 2023

Metior: A Comprehensive Model to Evaluate Obfuscating Side-Channel Defense Schemes.

Peter W. Deutsch, Weon Taek Na, Thomas Bourgeat, Joel S. Emer, Mengjia Yan

Proceedings of the 50th Annual International Symposium on Computer Architecture, 2023

2022

DAGguise: mitigating memory timing side channels.

Peter W. Deutsch, Yuheng Yang, Thomas Bourgeat, Jules Drean, Joel S. Emer, Mengjia Yan

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Accelerating Robot Dynamics Gradients on a CPU, GPU, and FPGA.

Brian Plancher, Sabrina M. Neuman, Thomas Bourgeat, Scott Kuindersma, Srinivas Devadas, Vijay Janapa Reddi

IEEE Robotics Autom. Lett., 2021

A Multipurpose Formal RISC-V Specification.

Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Andrew Wright, Adam Chlipala

CoRR, 2021

FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining.

Xuhao Chen, Tianhao Huang, Shuotao Xu, Thomas Bourgeat, Chanwoo Chung, Arvind

Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021

Effective simulation and debugging for a high-level hardware language using software compilers.

Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

Robomorphic computing: a design methodology for domain-specific accelerators parameterized by robot morphology.

Sabrina M. Neuman, Brian Plancher, Thomas Bourgeat, Thierry Tambe, Srinivas Devadas, Vijay Janapa Reddi

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

The essence of Bluespec: a core language for rule-based hardware design.

Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

AQUOMAN: An Analytic-Query Offloading Machine.

Shuotao Xu, Thomas Bourgeat, Tianhao Huang, Hojun Kim, Sungjin Lee, Arvind

Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020

CaSA: End-to-end Quantitative Security Analysis of Randomly Mapped Caches.

Thomas Bourgeat, Jules Drean, Yuheng Yang, Lillian Tsai, Joel S. Emer, Mengjia Yan

Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020

2019

Composable Building Blocks to Open Up Processor Design.

Sizhuo Zhang, Andrew Wright, Thomas Bourgeat

IEEE Micro, 2019

MI6: Secure Enclaves in a Speculative Out-of-Order Processor.

Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas

Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

2018

Composable Building Blocks to Open up Processor Design.

Sizhuo Zhang, Andrew Wright, Thomas Bourgeat, Arvind

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

2016

Specification Mining for Asynchronous Controllers.

Javier de San Pedro, Thomas Bourgeat, Jordi Cortadella

Proceedings of the 22nd IEEE International Symposium on Asynchronous Circuits and Systems, 2016

2014

New Algorithmic Approaches to Point Constellation Recognition.

Thomas Bourgeat, Julien Bringer, Hervé Chabanne, Robin Champenois, Jérémie Clément, Houda Ferradi, Marc Heinrich, Paul Melotti, David Naccache, Antoine Voizard

Proceedings of the ICT Systems Security and Privacy Protection, 2014