Thomas Bourgeat -

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