Vikash K. Mansinghka -

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