Mathieu Huot

26 papers A* 2A 1B 1Journal 21Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Probabilistic Programming with Vectorized Programmable Inference.
Proc. ACM Program. Lang.
McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Rif A. Saurous, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka
2024 A conf
A Tensor Algebra Compiler for Sparse Differentiation.
CGO
Amir Shaikhha, Mathieu Huot, Shideh Hashemian
2024 J jnl
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables.
CoRR
Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka
2024 J jnl
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables.
Proc. ACM Program. Lang.
Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka
2024 J jnl
Probabilistic Programming with Programmable Variational Inference.
CoRR
McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka
2024 J jnl
Probabilistic Programming with Programmable Variational Inference.
Proc. ACM Program. Lang.
McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka
2023 J jnl
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs.
Proc. ACM Program. Lang.
Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka
2023 J jnl
Compiling Structured Tensor Algebra.
Proc. ACM Program. Lang.
Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, Amir Shaikhha
2023 J jnl
Differentiating Metropolis-Hastings to Optimize Intractable Densities.
CoRR
Gaurav Arya, Ruben Seyer, Frank Schäfer, Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka, Chris Rackauckas, Kartik Chandra, Moritz Schauer
2023 A* conf
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.
LICS
Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton
2023 J jnl
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.
CoRR
Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton
2023 J jnl
∇SD: Differentiable Programming for Sparse Tensors.
CoRR
Amir Shaikhha, Mathieu Huot, Shideh Hashemian
2022 J jnl
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs.
CoRR
Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka
2022 J jnl
Compiling Structured Tensor Algebra.
CoRR
Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, Amir Shaikhha
2022 J jnl
Denotationally Correct, Purely Functional, Efficient Reverse-mode Automatic Differentiation.
CoRR
Mathieu Huot, Amir Shaikhha
2022 J jnl
Efficient and Sound Differentiable Programming in a Functional Array-Processing Language.
CoRR
Amir Shaikhha, Mathieu Huot, Shabnam Ghasemirad, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis
2022 J jnl
Functional collection programming with semi-ring dictionaries.
Proc. ACM Program. Lang.
Amir Shaikhha, Mathieu Huot, Jaclyn Smith, Dan Olteanu
2022 J jnl
Higher Order Automatic Differentiation of Higher Order Functions.
Log. Methods Comput. Sci.
Mathieu Huot, Sam Staton, Matthijs Vákár
2021 J jnl
Functional Collection Programming with Semi-Ring Dictionaries.
CoRR
Amir Shaikhha, Mathieu Huot, Jaclyn Smith, Dan Olteanu
2021 J jnl
Higher Order Automatic Differentiation of Higher Order Functions.
CoRR
Mathieu Huot, Sam Staton, Matthijs Vákár
2021 J jnl
Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages.
CoRR
Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka
2020 B conf
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing.
FoSSaCS
Mathieu Huot, Sam Staton, Matthijs Vákár
2020 J jnl
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing.
CoRR
Mathieu Huot, Sam Staton, Matthijs Vákár
2019 A* conf
Quantum channels as a categorical completion.
LICS
Mathieu Huot, Sam Staton
2019 J jnl
Quantum channels as a categorical completion.
CoRR
Mathieu Huot, Sam Staton
2018 — conf
Universal Properties in Quantum Theory.
QPL
Mathieu Huot, Sam Staton