| Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. M Huot, S Staton, M Vákár FoSSaCS, 319-338, 2020 | 53 | 2020 |
| Universal properties in quantum theory M Huot, S Staton arXiv preprint arXiv:1901.10117, 2019 | 27 | 2019 |
| Functional collection programming with semi-ring dictionaries A Shaikhha, M Huot, J Smith, D Olteanu Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-33, 2022 | 24 | 2022 |
| ADEV: Sound automatic differentiation of expected values of probabilistic programs AK Lew, M Huot, S Staton, VK Mansinghka Proceedings of the ACM on Programming Languages 7 (POPL), 121-153, 2023 | 15 | 2023 |
| Higher order automatic differentiation of higher order functions M Huot, S Staton, M Vákár Logical Methods in Computer Science 18, 2022 | 15* | 2022 |
| Quantum channels as a categorical completion M Huot, S Staton 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019 | 10 | 2019 |
| Towards denotational semantics of AD for higher-order, recursive, probabilistic languages. 2021 AK Lew, M Huot, VK Mansinghka NeurIPS 2021 workshop on differentiable programming and POPL 2022 workshop …, 2021 | 6* | 2021 |
| ωPAP spaces: Reasoning denotationally about higher-order, recursive probabilistic and differentiable programs M Huot, AK Lew, VK Mansinghka, S Staton 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023 | 5 | 2023 |
| Compiling structured tensor algebra M Ghorbani, M Huot, S Hashemian, A Shaikhha Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 204-233, 2023 | 3 | 2023 |
| Differentiating Metropolis-Hastings to optimize intractable densities G Arya, R Seyer, F Schäfer, A Lew, M Huot, VK Mansinghka, ... arXiv preprint arXiv:2306.07961, 2023 | 2 | 2023 |
| Denotationally correct, purely functional, efficient reverse-mode automatic differentiation M Huot, A Shaikhha arXiv preprint arXiv:2212.09801, 2022 | 2 | 2022 |
| Conservative extensions of Montague semantics M Huot Master’s thesis, ENS Cachan, Université Paris-Saclay, 2017 | 2 | 2017 |
| What do posterior distributions of probabilistic programs look like? M Huot, A Lew, V Mansinghka, S Staton LAFI, 2023 | 1 | 2023 |
| Structural foundations for differentiable programming M Huot University of Oxford, 2022 | 1 | 2022 |
| Operads with algebraic structure M Huot MPRI Internship Report, 2016 | 1 | 2016 |
| A Tensor Algebra Compiler for Sparse Differentiation A Shaikhha, M Huot, S Hashemian 2024 IEEE/ACM International Symposium on Code Generation and Optimization …, 2024 | | 2024 |
| SD: Differentiable Programming for Sparse Tensors A Shaikhha, M Huot, S Hashemian arXiv preprint arXiv:2303.07030, 2023 | | 2023 |
| Efficient and Sound Differentiable Programming in a Functional Array-Processing Language A Shaikhha, M Huot, S Ghasemirad, A Fitzgibbon, SP Jones, D Vytiniotis arXiv preprint arXiv:2212.10307, 2022 | | 2022 |
Amir ShaikhhaUniversity of EdinburghVerified email at ed.ac.uk
