Thomas Bourgeat -

Registered user since Fri 13 Oct 2023

Name:Thomas Bourgeat

Country:Switzerland

Affiliation:EPFL

Contributions

2026

CPP

Author of Towards composable proofs of cache coherence protocols within the CPP 2026-track

RocqPL

Committee Member in Program Committee within the Rocq for Programming Languages 2026-track

2025

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Author of Making Concurrent Hardware Verification Sequential within the PLDI Research Papers-track
Session Chair of Security & Cryptography (part of PLDI Research Papers)

2024

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

PLMW

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

CPP

PC Member in Program Committee within the CPP 2024-track