Jacques Carette -

Registered user since Thu 10 Jul 2014

Name:Jacques Carette

Country:Canada

Affiliation:McMaster University

Personal website:http://www.cas.mcmaster.ca/~carette

Research interests:Mechanized Mathematics, metaprogramming, symbolic computation, machine learning, game design

Contributions

EVCS	Author of Generating Software for Well-Understood Domains within the Eelco Visser Commemorative Symposium-track Author of Eelco Visser as a Founding Member of the IFIP WG 2.11 within the Eelco Visser Commemorative Symposium-track
PEPM 2023	Author of Symbolic Execution of Hadamard-Toffoli Quantum Circuits within the PEPM 2023-track
CPP 2021	Author of Formalizing Category Theory in Agda within the CPP 2021-track
PEPM 2020	Author of GOOL: A Generic Object-Oriented Language within the PEPM 2020-track
GPCE 2019	Author of A Language Feature to Unbundle Data at Will (Short Paper) within the GPCE 2019-track
ICFP 2019	Author of From high-level inference algorithms to efficient code within the Research Papers-track
NPFL 2018	Committee Member in Program Committee within the NPFL 2018-track
HIW 2016	Author of Trees That Grow within the HIW-track
ML 2016	Committee Member in Program Committee within the ML-track
PADL	Author of Simplifying Probabilistic Programs Using Computer Algebra within the PADL-track
PEPM 2016	Session Chair of Staging (part of PEPM)
PEPM 2015	Committee Member in Program Committee within the PEPM 2015-track