Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Bourgeat
conf.researchr.org general profile
ICFP 2023 profile
PLDI 2020 profile
POPL 2021 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Fri 22 Nov 2019
Name:
Thomas Bourgeat
Contributions
2023
SPLASH
Committee Member in Reviewers within the Student Research Competition-track
ICFP
Author of Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) within the ICFP Papers and Events-track
Author of Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) within the Artifact Evaluation-track
2022
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
2021
SPLASH
Author of The Essence of Bluespec: A Core Language for Rule-Based Hardware Design within the SIGPLAN Papers-track
CoqPL
Author of An experience report on writing usable DSLs in Coq within the CoqPL-track
2020
PLDI
Author of The Essence of Bluespec: A Core Language for Rule-Based Hardware Design within the PLDI Research Papers-track
Share
x
Sat 14 Jun 18:21
