conf.researchr.org / Jacques Carette
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

PEPM 2020Author of GOOL: A Generic Object-Oriented Language within the PEPM 2020-track
GPCE 2019Author of A Language Feature to Unbundle Data at Will (Short Paper) within the GPCE 2019-track
NPFL 2018Committee Member in Program Committee within the NPFL 2018-track
ICFP 2019Author of From high-level inference algorithms to efficient code within the Research Papers-track
HIW 2016Author of Trees That Grow within the HIW-track
ML 2016Committee Member in Program Committee within the ML-track
PADLAuthor of Simplifying Probabilistic Programs Using Computer Algebra within the PADL-track
PEPM 2016Session Chair of Staging (part of PEPM)
PEPM 2015Committee Member in Program Committee within the PEPM 2015-track