Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthijs Vákár
conf.researchr.org general profile
ICFP 2018 profile
ICFP 2021 profile
POPL 2018 profile
POPL 2019 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
Registered user since Wed 1 Nov 2017
Name:
Matthijs Vákár
Affiliation:
Utrecht University
Contributions
2024
POPL
Author of Efficient CHAD within the POPL-track
LAFI
Co-chair in Program Committee within the LAFI 2024-track
Author of Homomorphic Reverse Differentiation of Iteration within the LAFI 2024-track
Committee Member in Organizing Committee within the LAFI 2024-track
2023
POPL
Author of Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations within the POPL-track
2022
LAFI
Committee Member in Program Committee within the LAFI-track
2021
FHPNC
Author of Reverse Automatic Differentiation for Accelerate (Extended Abstract) within the FHPNC 2021-track
2019
POPL
Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track
LAFI
Invited Speaker of Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan within the LAFI (né PPS)-track
2018
HOPE
Author of A domain theory for statistical probabilistic programming within the HOPE 2018-track
POPL
Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
LAFI
Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track
Author of Game Semantics for Probabilistic Programs within the PPS 2018-track
Share
x
Thu 30 Nov 05:06