Thomas Bourgeat -

Registered user since Fri 22 Nov 2019

Name:Thomas Bourgeat

Contributions

SPLASH 2022	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
SPLASH 2021	Author of The Essence of Bluespec: A Core Language for Rule-Based Hardware Design within the SIGPLAN Papers-track
CoqPL 2021	Author of An experience report on writing usable DSLs in Coq within the CoqPL-track
PLDI 2020	Author of The Essence of Bluespec: A Core Language for Rule-Based Hardware Design within the PLDI Research Papers-track