Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Bourgeat
conf.researchr.org general profile
ICFP 2024 profile
PLDI 2024 profile
PLDI 2025 profile
POPL 2024 profile
POPL 2026 profile
POPL 2027 profile
SPLASH 2024 profile
SPLASH/ISSTA 2026 profile
Registered user since Fri 13 Oct 2023
Name:
Thomas Bourgeat
Country:
Switzerland
Affiliation:
EPFL
Contributions
2027
PriSC
Committee Member in Program Committee within the PriSC 2027-track
2026
SPLASH
Author of A Language Approach to Fine-Grained Microarchitectural Observation within the OOPSLA-track
SPLASH/ISSTA
Judge in Competition Judges within the Student Research Competition-track
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
Organizer in Organizing Committee within the PLMW @ ICFP 2024-track
PLMW Co-Chair of Welcome within the PLMW @ ICFP 2024-track
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
CPP
PC Member in Program Committee within the CPP 2024-track
Share
x
Fri 16 Oct 12:26