Mathieu Huot -

Not registered as user

Name:Mathieu Huot

Country:United Kingdom

Affiliation:University of Oxford

Contributions

2024

CGO

Author of A Tensor Algebra Compiler for Sparse Differentiation within the Main Conference-track

2023

SPLASH

Author of Functional collection programming with semi-ring dictionaries within the OOPSLA-track
Author of Compiling Structured Tensor Algebra within the OOPSLA-track

DRAGSTERS

Committee Member in Program Committee within the DRAGSTERS 2023-track

POPL

Author of ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs within the POPL-track

LAFI

Author of What do posterior distributions of probabilistic programs look like? within the LAFI 2023-track

2022

SPLASH

Author of Functional collection programming with semi-ring dictionaries within the OOPSLA-track

LAFI

Author of Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages within the LAFI-track