Thomas Bourgeat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
13
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Graphiti: Formally Verified Out-of-Order Execution in Dataflow Circuits. | Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat |
| 2026 | ASPLOS | Compass: Navigating the Design Space of Taint Schemes for RTL Security Verification. | Yuheng Yang, Qinhan Tan, Thomas Bourgeat, Sharad Malik, Mengjia Yan |
| 2026 | CPP | Towards Composable Proofs of Cache Coherence Protocols. | Martina Camaioni, Yann Herklotz, Tz-Ching Yu, Thomas Bourgeat |
| 2026 | SP | Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation. | Tingzhen Dong, Qinhan Tan, Kunpeng Wang, Thomas Bourgeat, Yuheng Yang, Sharad Malik, Yu-Wei Fan, Mengjia Yan |
| 2025 | ASPLOS | Parendi: Thousand-Way Parallel RTL Simulation. | Mahyar Emami, Thomas Bourgeat, James R. Larus |
| 2025 | ASPLOS | RTL Verification for Secure Speculation Using Contract Shadow Logic. | Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan |
| 2025 | CADE | Interoperability of Proof Systems with SC-TPTP. | Simon Guilloud, Julie Cailler, Sankalp Gambhir, Auguste Poiroux, Yann Herklotz, Thomas Bourgeat, Viktor Kuncak |
| 2025 | HotOS | Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet. | Charly Castes, Franois Costa, Nate Foster, Thomas Bourgeat, Edouard Bugnion |
| 2025 | SOSP | Fast End-to-End Performance Simulation of Accelerated Hardware-Software Stacks. | Jiacheng Ma, Jonas Kaufmann, Emilien Guandalino, Rishabh R. Iyer, Thomas Bourgeat, George Candea |
| 2025 | SOSP | eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle. | Tao Lyu, Kumar Kartikeya Dwivedi, Thomas Bourgeat, Mathias Payer, Meng Xu, Sanidhya Kashyap |
| 2025 | SOSP | The Design and Implementation of a Virtual Firmware Monitor. | Charly Castes, Franois Costa, Neelu S. Kalani, Timothy Roscoe, Nate Foster, Thomas Bourgeat, Edouard Bugnion |
| 2024 | CCS | Specification and Verification of Strong Timing Isolation of Hardware Enclaves. | Stella Lau, Thomas Bourgeat, Clment Pit-Claudel, Adam Chlipala |
| 2024 | ITP | Verifying Software Emulation of an Unsupported Hardware Instruction. | Samuel Gruetter, Thomas Bourgeat, Adam Chlipala |
| 2024 | OSDI | Performance Interfaces for Hardware Accelerators. | Jiacheng Ma, Rishabh R. Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea |
| 2023 | ISCA | Metior: A Comprehensive Model to Evaluate Obfuscating Side-Channel Defense Schemes. | Peter W. Deutsch, Weon Taek Na, Thomas Bourgeat, Joel S. Emer, Mengjia Yan |
| 2023 | ISCA | RoboShape: Using Topology Patterns to Scalably and Flexibly Deploy Accelerators Across Robots. | Sabrina M. Neuman, Radhika Ghosal, Thomas Bourgeat, Brian Plancher, Vijay Janapa Reddi |
| 2023 | ISCA | Pensieve: Microarchitectural Modeling for Security Evaluation. | Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan |
| 2022 | ASPLOS | DAGguise: mitigating memory timing side channels. | Peter W. Deutsch, Yuheng Yang, Thomas Bourgeat, Jules Drean, Joel S. Emer, Mengjia Yan |
| 2021 | ASPLOS | 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 |
| 2021 | ASPLOS | Effective simulation and debugging for a high-level hardware language using software compilers. | Clment Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala |
| 2021 | ISCA | FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining. | Xuhao Chen, Tianhao Huang, Shuotao Xu, Thomas Bourgeat, Chanwoo Chung, Arvind |
| 2020 | MICRO | CaSA: End-to-end Quantitative Security Analysis of Randomly Mapped Caches. | Thomas Bourgeat, Jules Drean, Yuheng Yang, Lillian Tsai, Joel S. Emer, Mengjia Yan |
| 2020 | MICRO | AQUOMAN: An Analytic-Query Offloading Machine. | Shuotao Xu, Thomas Bourgeat, Tianhao Huang, Hojun Kim, Sungjin Lee, Arvind |
| 2020 | PLDI | The essence of Bluespec: a core language for rule-based hardware design. | Thomas Bourgeat, Clment Pit-Claudel, Adam Chlipala, Arvind |
| 2019 | MICRO | MI6: Secure Enclaves in a Speculative Out-of-Order Processor. | Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas |
| 2018 | MICRO | Composable Building Blocks to Open up Processor Design. | Sizhuo Zhang, Andrew Wright, Thomas Bourgeat, Arvind |
| 2014 | SEC | New Algorithmic Approaches to Point Constellation Recognition. | Thomas Bourgeat, Julien Bringer, Herv Chabanne, Robin Champenois, Jrmie Clment, Houda Ferradi, Marc Heinrich, Paul Melotti, David Naccache, Antoine Voizard |