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