default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas Bourgeat

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/YanBM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/YanBM24
Mengjia Yan, Thomas Bourgeat, Sharad Malik:
Formal Verification for Secure Processors: A Guide for Computer Architects. Computer 57(10): 138-143 (2024)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/LauBPC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/LauBPC24
Stella Lau, Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala:
Specification and Verification of Strong Timing Isolation of Hardware Enclaves. CCS 2024: 1121-1135
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/GruetterBC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/GruetterBC24
Samuel Gruetter, Thomas Bourgeat, Adam Chlipala:
Verifying Software Emulation of an Unsupported Hardware Instruction. ITP 2024: 17:1-17:16
[c15]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/0002IKEBC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/0002IKEBC24
Jiacheng Ma, Rishabh R. Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea:
Performance Interfaces for Hardware Accelerators. OSDI 2024: 855-874
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-04714
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-04714
Mahyar Emami, Thomas Bourgeat, James R. Larus:
Parendi: Thousand-Way Parallel RTL Simulation. CoRR abs/2403.04714 (2024)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-12232
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-12232
Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan:
RTL Verification for Secure Speculation Using Contract Shadow Logic. CoRR abs/2407.12232 (2024)
2023
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/us/Bourgeat23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Bourgeat23
Thomas Bourgeat:
Specification and verification of sequential machines in rule-based hardware languages. MIT, USA, 2023
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BourgeatCEGSWC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BourgeatCEGSWC23
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): 108-124 (2023)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/isca/DeutschNBE023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isca/DeutschNBE023
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: 38:1-38:16
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/isca/YangBL023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isca/YangBL023
Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan:
Pensieve: Microarchitectural Modeling for Security Evaluation. ISCA 2023: 59:1-59:15
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/isca/NeumanGBPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isca/NeumanGBPR23
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: 69:1-69:13
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-14882
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-14882
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 abs/2306.14882 (2023)
2022
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/DeutschYBDEY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/DeutschYBDEY22
Peter W. Deutsch, Yuheng Yang, Thomas Bourgeat, Jules Drean, Joel S. Emer, Mengjia Yan:
DAGguise: mitigating memory timing side channels. ASPLOS 2022: 329-343
2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/PlancherNBKDR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/PlancherNBKDR21
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): 2335-2342 (2021)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/NeumanPBTDR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/NeumanPBTDR21
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: 674-686
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/Pit-ClaudelBLAC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/Pit-ClaudelBLAC21
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: 789-803
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/isca/ChenHXBCA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isca/ChenHXBCA21
Xuhao Chen, Tianhao Huang, Shuotao Xu, Thomas Bourgeat, Chanwoo Chung, Arvind:
FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining. ISCA 2021: 581-594
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-00762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-00762
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Andrew Wright, Adam Chlipala:
A Multipurpose Formal RISC-V Specification. CoRR abs/2104.00762 (2021)
2020
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/XuBHKLA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/XuBHKLA20
Shuotao Xu, Thomas Bourgeat, Tianhao Huang, Hojun Kim, Sungjin Lee, Arvind:
AQUOMAN: An Analytic-Query Offloading Machine. MICRO 2020: 386-399
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/BourgeatDYTEY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/BourgeatDYTEY20
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: 1110-1123
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BourgeatPCA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BourgeatPCA20
Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind:
The essence of Bluespec: a core language for rule-based hardware design. PLDI 2020: 243-257

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/micro/ZhangWB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/micro/ZhangWB19
Sizhuo Zhang, Andrew Wright, Thomas Bourgeat:
Composable Building Blocks to Open Up Processor Design. IEEE Micro 39(3): 47-55 (2019)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/BourgeatLWZAD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/BourgeatLWZAD19
Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas:
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. MICRO 2019: 42-56
2018
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/ZhangWBA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/ZhangWBA18
Sizhuo Zhang, Andrew Wright, Thomas Bourgeat, Arvind:
Composable Building Blocks to Open up Processor Design. MICRO 2018: 68-81
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-09822
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-09822
Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas:
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. CoRR abs/1812.09822 (2018)
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/async/PedroBC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/async/PedroBC16
Javier de San Pedro, Thomas Bourgeat, Jordi Cortadella:
Specification Mining for Asynchronous Controllers. ASYNC 2016: 107-114
2014
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sec/BourgeatBCCCFHMNV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sec/BourgeatBCCCFHMNV14
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: 80-90
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BourgeatBCCCFHMNV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BourgeatBCCCFHMNV14
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 abs/1405.1402 (2014)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.