• Sign in
  • Sign up
conf.researchr.org / Matthijs Vákár
  • ICFP 2018 profile
  • ICFP 2021 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • POPL 2024 profile
Matthijs Vákár

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
xThu 30 Nov 05:06
using conf.researchr.org (v1.62.0)
Support page
Sign Up