Vikash K. Mansinghka -

Registered user since Tue 17 Sep 2019

Name:Vikash K. Mansinghka

Affiliation:MIT

Contributions

PLDI 2022	Committee Member in PLDI within the PLDI-track
SPLASH 2021	Author of SPPL: A Probabilistic Programming System with Exact and Scalable Symbolic Inference within the SIGPLAN Papers-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
PLDI 2021	Author of SPPL: Probabilistic Programming with Fast Exact Symbolic Inference within the PLDI-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
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
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