| A Domain Theory for Statistical Probabilistic Programming M Vákár, O Kammar, S Staton Principles of Programming Languages 2019, 2019 | 105 | 2019 |
| Denotational validation of higher-order Bayesian inference A Ścibior, O Kammar, M Vákár, S Staton, H Yang, Y Cai, K Ostermann, ... POPL 2018, 2018 | 87 | 2018 |
| Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. M Huot, S Staton, M Vákár FoSSaCS, 319-338, 2020 | 58 | 2020 |
| A categorical semantics for linear logical frameworks M Vákár Foundations of Software Science and Computation Structures: 18th …, 2015 | 30 | 2015 |
| Reverse AD at Higher Types: Pure, Principled and Denotationally Correct M Vákár Programming Languages and Systems30th European Symposium on Programming …, 2021 | 28 | 2021 |
| In search of effectful dependent types M Vákár DPhil thesis, University of Oxford; arXiv preprint arXiv:1706.07997, 2017 | 28 | 2017 |
| CHAD: Combinatory homomorphic automatic differentiation M Vákár, T Smeding ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (3), 1-49, 2022 | 24 | 2022 |
| Conditional independence by typing MI Gorinova, AD Gordon, C Sutton, M Vákár ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (1), 1-54, 2021 | 23 | 2021 |
| Games for dependent types S Abramsky, R Jagadeesan, M Vákár International Colloquium on Automata, Languages, and Programming, 31-43, 2015 | 21 | 2015 |
| Syntax and semantics of linear dependent types M Vákár arXiv preprint arXiv:1405.0033, 2014 | 21 | 2014 |
| Higher order automatic differentiation of higher order functions M Huot, S Staton, M Vákár Logical Methods in Computer Science 18, 2022 | 20* | 2022 |
| CHAD for expressive total languages FL Nunes, M Vákár Mathematical Structures in Computer Science 33 (4-5), 311-426, 2023 | 18* | 2023 |
| Efficient dual-numbers reverse AD via well-known program transformations TJ Smeding, MIL Vákár Proceedings of the ACM on Programming Languages 7 (POPL), 1573-1600, 2023 | 17 | 2023 |
| Denotational correctness of forward-mode automatic differentiation for iteration and recursion M Vákár arXiv preprint arXiv:2007.05282, 2020 | 15* | 2020 |
| On s-finite measures and kernels M Vákár, L Ong arXiv preprint arXiv:1810.01837, 2018 | 12* | 2018 |
| The semantic structure of quasi-Borel spaces C Heunen, O Kammar, S Staton, S Moss, M Vákár, A Ścibior, H Yang PPS Workshop on Probabilistic Programming Semantics, 2018 | 11 | 2018 |
| A framework for dependent types and effects M Vákár arXiv preprint arXiv:1512.08009, 2015 | 10 | 2015 |
| Game semantics for dependent types M Vákár, R Jagadeesan, S Abramsky Information and Computation 261, 401-431, 2018 | 8 | 2018 |
| Interpreting Lion Behaviour with Nonparametric Probabilistic Programs N Dhir, M Vákár, A Markham, M Wijers, P Trethowan, B Du Preez, ... UAI 2017, 2017 | 8 | 2017 |
| S-finite kernels and game semantics for probabilistic programming L Ong, M Vákár POPL 2018 Workshop on Probabilistic Programming Semantics (PPS), 2018 | 6 | 2018 |
Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
