Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vikash K. Mansinghka
conf.researchr.org general profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2015 profile
SPLASH 2021 profile
Registered user since Tue 17 Sep 2019
Name:
Vikash K. Mansinghka
Country:
United States
Affiliation:
Massachusetts Institute of Technology
Contributions
POPL 2023
Author of ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs within the POPL-track
LAFI 2023
Author of What do posterior distributions of probabilistic programs look like? within the LAFI 2023-track
PLDI 2022
Committee Member in PLDI within the PLDI-track
LAFI 2022
Author of Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages within the LAFI-track
SPLASH 2021
Author of SPPL: Probabilistic Programming with Fast Exact Symbolic Inference within the SIGPLAN Papers-track
PLDI 2021
Author of SPPL: Probabilistic Programming with Fast Exact Symbolic Inference within the PLDI-track
LAFI 2021
Author of On the Automatic Derivation of Importance Samplers from Pairs of Probabilistic Programs within the LAFI 2021-track
Author of Genify.jl: Transforming Julia into Gen to enable programmable inference within the LAFI 2021-track
POPL 2020
Author of Optimal Approximate Sampling From Discrete Probability Distributions within the Research Papers-track
Author of Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages within the Research Papers-track
LAFI 2020
Author of MetaPPL: Inference Algorithms as First-Class Generative Models within the LAFI (né PPS)-track
Author of Monte Carlo Semantic Differencing of Probabilistic Programs within the LAFI (né PPS)-track
PLDI 2019
Author of Gen: A General-Purpose Probabilistic Programming System with Programmable Inference within the PLDI Research Papers-track
POPL 2019
Author of Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling within the Research Papers-track
MAPL 2018
Author of Gen: probabilistic programming with fast custom inference via code generation within the MAPL 2018-track
PLDI 2018
Author of Probabilistic Programming with Programmable Inference within the PLDI Research Papers-track
Author of Incremental Inference for Probabilistic Programs within the PLDI Research Papers-track
Share
x
Fri 3 Feb 07:12